|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 5 keywords
|
|
|
Results
Found 17 publication records. Showing 16 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
43 | Carlos E. Alchourrón |
Detachment and Defeasibility in Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 57(1), pp. 5-18, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
43 | Carlos E. Alchourrón, Antonio A. Martino |
A Sketch of Logic Without Truth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: Proceedings of the Second International Conference on Artificial Intelligence and Law, ICAIL '89, Vancouver, BC, Canada, June 13-16, 1989, pp. 165-179, 1989, ACM, 0-89791-322-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
43 | Carlos E. Alchourrón, David Makinson |
Maps between some different kinds of contraction function: The finite case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 45(2), pp. 187-198, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
43 | Carlos E. Alchourrón, Peter Gärdenfors, David Makinson |
On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 50(2), pp. 510-530, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
43 | Carlos E. Alchourrón, David Makinson |
On the logic of theory change: Safe contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 44(4), pp. 405-422, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
43 | Carlos E. Alchourrón |
The intuitive background of normative legal discourse and its formalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 1(3-4), pp. 447-463, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
36 | Lars Lindahl, Jan Odelstad |
Normative Systems and their Revision: An Algebraic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Law ![In: Artif. Intell. Law 11(2-3), pp. 81-104, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Alchourrón, Boolean quasi-ordering, Bulygin, connecting norm, defeasibility, norm revision, organic whole, normative system |
23 | Natasha Alechina, Mark Jago, Brian Logan 0001 |
Preference-based belief revision for rule-based agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 165(2), pp. 159-177, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Reason maintenance systems, Rule-based agents, Preferences, Belief revision |
23 | Guilin Qi, Weiru Liu, David A. Bell |
Knowledge Base Revision in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings, pp. 386-398, 2006, Springer, 3-540-39625-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Natasha Alechina, Mark Jago, Brian Logan 0001 |
Resource-Bounded Belief Revision and Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DALT ![In: Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers, pp. 141-154, 2005, Springer, 3-540-33106-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Isaac Levi |
Inductive inference as ampliative and non monotonic reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), Singapore, June 10-12, 2005, pp. 177-192, 2005, National University of Singapore, 981-05-3412-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
23 | Lee Flax |
An Algebraic Approach to Belief Contraction and Nonmonotonic Entailment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, pp. 439-451, 2004, Springer, 3-540-23242-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Yasuo Kudo, Tetsuya Murai, Tsutomu Da-te |
Iterated belief update based on ordinal conditional functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Third International Conference on Knowledge-Based Intelligent Information Engineering Systems, KES 1999, Adelaide, South Australia, 31 August - 1 September 1999, Proceedings, pp. 526-529, 1999, IEEE, 0-7803-5578-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Yasuo Kudo, Tetsuya Murai, Tsutomu Da-te |
The correspondence of belief changes in logical settings and the possibilistic framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Electronic Systems, 2nd International Conference, KES 1998, Adelaide, South Australia, 21-23 April 1998, Proceedings, Part II, pp. 221-229, 1998, IEEE. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Roderic A. Girle |
Tableaux for Expansion and Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI'96: Topics in Artificial Intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings, pp. 387-398, 1996, Springer, 3-540-61532-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
belief revision, tableaux, paraconsistency |
23 | Nicholas Asher |
Discourse representation theory and belief dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Logic of Theory Change ![In: The Logic of Theory Change, Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings, pp. 282-321, 1989, Springer, 3-540-53567-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|