Infinitary default logic for specification of nonmonotonic reasoning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1126, Issue , 1996, Pages 224-236

  Engelfriet, Joeri ^a   Wiktor Marek, V ^b   Treur, Jan ^a   Truszczyńiski, Mirosław ^b  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b UNIVERSITY OF KENTUCKY   (United States)

Author keywords

Default logic; Extensions; Infinitary default logic; Representability

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER CIRCUITS;

BELIEF SETS; DEFAULT LOGIC; DEFAULT THEORY; EXTENSIONS; INFINITARY; NON-MONOTONIC REASONING; REPRESENTABILITY;

FORMAL LOGIC;

EID: 84955607175     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (8)

1. J. Engelfriet, H. Herre and J. Treur. Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract), in C. Froidevaux, J. Kohlas (eds), Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Lecture Notes in Artificial Intelligence, Vol. 946, Springer-Verlag, 1995, pp. 189-196.
2. J. Engelfriet, H. Herre and J. Treur. Nonmonotonic Reasoning with Multiple Belief Sets. In D.M. Gabbay, H.J. Ohlbach (eds), Proceedings of the International Conference on Formal and Applied Practical Reasoning, Lecture Notes in Artificial Intelligence, Vol. 1085, Springer-Verlag,1996, pp. 331-344.
3. J. Engelfriet and J. Treur. Specification of Nonmonotonic Reasoning. In D.M. Gabbay, H.J. Ohlbach (eds), Proceedings of the International Conference on Formal and Applied Practical Reasoning, Lecture Notes in Artificial Intelligence, Vol. 1085, Springer-Verlag,1996, pp. 111-125.
4. A. Ferry. Enriched nonmonotonic rule system. Master of Science Dissertation, University of Kentucky, 1991.
5. W. Marek and M. Truszczyfiski. Nonmonotonic logics; context-dependent reasoning. Berlin: Springer-Verlag, 1993.
6. W. Marek, J. Treur, and M. Truszczyfiski. Representabifity by default theories. In Proceedings of the Fourth International Symposium on Artificial Intelligence and Mathematics, 1996.
7. R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81-132, 1980.
8. T. Schaub. On constrained default theories. In B. Neumann (ed.), Proceedings of the European Conference on Artificial Intelligence, 1992, pp. 304-308