Reasoning credulously and skeptically within a single extension

Journal of Applied Non-Classical Logics

Volumn 12, Issue 2, 2002, Pages 259-285

  Delgrande, James P ^a   Schaub, Torsten ^b  

^a SIMON FRASER UNIVERSITY   (Canada)

^b UNIVERSITY OF POTSDAM   (Germany)

Author keywords

Credulous reasoning; Default logic; Skeptical reasoning; Tagging

Indexed keywords

EID: 1442275177     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.3166/jancl.12.259-285     Document Type: Conference Paper

References (10)

1. [BRE 94] BREWKA G., "Reasoning about Priorities in Default Logic" Proceedings of the AAAI National Conference on Artificial Intelligence, vol. 2, The AAAI Press/The MIT Press, 1994, p. 940-945.
2. [DEL 00] DELGRANDE J., SCHAUB T., "Expressing Preferences in Default Logic" Artificial Intelligence, vol. 123, num. 1-2, 2000, p. 41-87.
3. [DIX 92] DIX J., "On Cumulativity in Default Logic and its Relation to Poole's Approach" NEUMANN B., Ed., Proceedings of the European Conference on Artificial Intelligence, John Wiley & sons, 1992, p. 289-293.
4. [EIT 97] EITER T., LEONE N., MATEIS C., PFEIFER G., SCARCELLO F., "A Deductive System for Nonmonotonic Reasoning" DIX J., FURBACH U., NERODE A., Eds., Proceedings of the Fourth International Conference on Logic Programming and Non-Monotonic Reasoning, vol. 1265 of Lecture Notes in Artificial Intelligence, Springer-Verlag, 1997, p. 363-374.
5. [MCC 86] MCCARTHY J., "Applications of Circumscription to Formalizing Common-Sense Knowledge" Artificial Intelligence, vol. 28, 1986, p. 89-116.
6. [MOO 85] MOORE R., "Semantical Considerations on Nonmonotonic Logics" Artificial Intelligence, vol. 25, 1985, p. 75-94.
7. [NIE 97] NIEMELÄ I., SIMONS P., "Smodels: An implementation of the stable model and well-founded semantics for normal logic programs" DIX J., FURBACH U., NERODE A., Eds., Proceedings of the Fourth International Conference on Logic Programming and Nonmonotonic Reasoning, Springer-Verlag, 1997, p. 420-429. (Pubitemid 127100754)
8. [POO 88] POOLE D., "A Logical Framework for Default Reasoning" Artificial Intelligence, vol. 36, 1988, p. 27-47.
9. [REI 80] REITER R., "A Logic for Default Reasoning" Artificial Intelligence, vol. 13, num. 1-2, 1980, p. 81-132.
10. [REI 87] REITER R., "A Theory of Diagnosis from First Principles" Artificial Intelligence, vol. 32, num. 1, 1987, p. 57-96.