Specification of nonmonotonic reasoning

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

Volumn 1085, Issue , 1996, Pages 111-125

  Engelfriet, Joeri ^a   Treur, Jan ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

Nonmonotonic reasoning; Specification; Temporal logic

Indexed keywords

COMPUTER CIRCUITS; SEMANTICS; SPECIFICATION LANGUAGES; SPECIFICATIONS; TEMPORAL LOGIC;

FORMAL SEMANTICS; INFINITARY; LEVEL 2; LEVEL-1; NON-MONOTONIC REASONING; SECOND LEVEL;

FORMAL METHODS;

EID: 84947917477     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61313-7_67     Document Type: Conference Paper

References (12)

1. Etherington, D.W.: A Semantics for Default Logic, Proc. IJCAI-87, pp. 495-498; see also in: D.W. Etherington, Reasoning with Incomplete Information, Morgan Kaufmann, 1988
2. Engelfriet, J., Herre, H., Treur, J.: Nonmonotonic Belief State Frames and Reasoning Frames, in: C. Froidevaux, J. Kohlas (eds.), Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Proc. ECSQARU’95, LNA1946, Springer-Verlag, 1995, pp. 189-196
3. Engelfriet, J.: Minimal Temporal Epistemic Logic, Technical Report IR-388, Vrije Universiteit Amsterdam, Department of Mathematics and Computer Science, 1995
4. Engelfriet, J., Treur, J.: A Temporal Model Theory for Default Logic, in: M. Clarke, R. Kruse, S. Moral (eds.), Proc. 2nd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU '93, Springer Verlag, 1993, pp. 91-96. Extended version: Report IR-334, Vrije Universiteit Amsterdam, Department of Mathematics and Computer Science, 1993
5. Engelfriet, J., Treur, J.: Temporal Theories of Reasoning. In: C. MacNish, D. Pearce, L.M. Pereira (eds.), Logics in Artificial Intelligence, Proceedings of the 4th European Workshop on Logics in Artificial Intelligence, JELIA '94, Springer Verlag, pp. 279-299. Also in: Journal of Applied Non-Classical Logics 5 (2), 1995, pp. 239-261
6. Herre, H.: Compactness Properties of nonmonotonic Inference Operations. In: C. MacNish, D. Pearce, L.M. Pereira (eds.), Logics in Artificial Intelligence, Proceedings of the 4th European Workshop on Logics in Artificial Intelligence, JELIA '94, Springer Verlag, 1994, pp. 19-33. Also in: Journal of Applied Non-Classical Logics 5(1), Special Issue with selected papers from JELIA’94, 1995, pp. 121-135
7. Kraus, S., D. Lehmann, M. Magidor: Nonmonotonic Reasoning, Preferential models and cumulative logics; A.I. 44 (1990), 167-207
8. Marek, V., M. Truszczyński: Nonmonotonic Logic, Springer-Verlag, 1993
9. Marek, V., J. Treur, M. Truszczyński: Representation Theory for Default Logic, Proceedings of the Fourth International Symposium on Artificial Intelligence and Mathematics, 1996
10. Reiter, R.: A logic for default reasoning, Artificial Intelligence 13, 1980, pp. 81-132
11. Shoham, Y.: Nonmonotonic Logics: Meaning and Utility, In: J. McDermott (ed.), Proc. 10th International Joint Conference on Artificial Intelligence, IJCAI-87, Morgan Kaufmann, 1987, pp. 388-393
12. Voorbraak, F.: Preference-based Semantics for Nonmonotonic Logics, in: Bajcsy, R. (ed.), Proc. 13th International Joint Conference on Artificial Intelligence, IJCAI-93, Morgan Kaufmann, 1993, pp. 584-589