Default logic and specification of nonmonotonic reasoning

Journal of Experimental and Theoretical Artificial Intelligence

Volumn 13, Issue 2, 2001, Pages 99-112

  Engelfriet, Joeri ^a   Wiktor Marek, V ^b   Treur, Jan ^a   Truszczynski, Miroslaw ^b  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b UNIVERSITY OF KENTUCKY   (United States)

Author keywords

Default logic; Extensions; Infinitary default logic; Representability

Indexed keywords

EID: 0035629121     PISSN: 0952813X     EISSN: 13623079     Source Type: Journal    
DOI: 10.1080/09528130117278     Document Type: Article

References (9)

1. Engelfriet, J., Herre, H., and Treur, J., 1995, Nonmonotonic belief state frames and reasoning frames (extended abstract). In C. Froidevaux, and J. Kohlas (eds), Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Proceedings ECSQARU'95, volume 946 of Lecture Notes in Artificial Intelligence (Springer-Verlag), pp. 189-196.
2. Engelfriet, J., Herre, H., and Treur, J., 1996, Nonmonotonic reasoning with multiple belief sets. In D. Gabbay, and H. Ohlbach (eds), Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR'96, volume 1085 of Lecture Notes in Artificial Intelligence (SpringerVerlag), pp. 331-344. Extended version in: Annals of Mathematics and Artificial Intelligence, 24: 225-248 (1998).
3. Engelfriet, J., and Treur, J., 1996, Specification of nonmonotonic reasoning. In D. Gabbay, and H. Ohlbach (eds), Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR'96, volume 1085 of Lecture Notes in Artificial Intelligence (Springer-Verlag), pp. 111-125. Extended version in: Journal of Applied Non-Classical Logics, 10: 7-27 (2000).
4. Ferry, A., 1991, Enriched nonmonotonic rule system. Master s thesis, University of Kentucky.
5. Makinson, D., 1994, General patterns in nonmonotonic reasoning. In D. Gabbay, C. Hogger, and J. Robinson (eds), Handbook of Logic in Artificial Intelligence and Logic Programming, volume 3 (Oxford: Clarendon Press), pp. 35-110.
6. Marek, V., Treur, J., and Truszczyski, M., 1997, Representation theory for default logic. Annals of Mathematics and Artificial Intelligence, 21: 343-358.
7. Marek, V., and Truszczynski, M., 1993, Nonmonotonic Logic: Context-dependent Reasoning (Springer-Verlag).
8. Reiter, R., 1980, A logic for default reasoning. Artificial Intelligence, 13(1-2): 81-132.
9. Schaub, T., 1992, On constrained default theories. In B. Neumann (ed), Proceedings of the 11th European Conference on Artificial Intelligence (John Wiley & Sons), pp. 304-308.