Specification of nonmonotonic reasoning

Journal of Applied Non-Classical Logics

Volumn 10, Issue 1, 2000, Pages 7-26

  Engelfriet, Joeri ^a   Treur, Jan ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

Nonmotwtonic reasoning; Specification; Temporal logic

Indexed keywords

EID: 0001807206     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.1080/11663081.2000.10510986     Document Type: Article

References (15)

1. Etherington, D.W. : "A Semantics for Default Logic", Proc./JCA/-87, 1987, pp. 495-498;
2. D. W. Etherington, Reasoning with Incomplete Information, Morgan Kaufmann, 1988
3. Engelfriet, 1., Herre, H., Treur, J.: "Nonmonotonic Belief State Frames and Reasoning Frames", in: C. Froidevaux, 1. Kohlas (eds.), Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Proc. ECSQARU'95, LNAI 946, Springer-Verlag, 1995, pp. 189-196
4. Engelfriet, J.: "Minimal Temporal Epistemic Logic", Notre Dame Journal of Formal Logic 37(2), 1996, pp. 233-259
5. Engelfriet, J., Treur, 1.: "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, LNCS 747, Springer-Verlag, 1993, pp. 91-96. Extended version: Report IR-334, Vrije Universiteit Amsterdam, Department of Mathematics and Computer Science, 1993
6. Engelfriet, J., Treur, 1. : "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, LNAI 838, Springer-Verlag, pp. 279-299. AJso in: Journal of Applied Non-Classical Logics 5 (2), 1995, pp. 239-261
7. Engelfriet, J., Treur, 1. : "Specification of Nonmonotonic Reasoning", in: D.M. Gabbay, H.J. Ohlbach (eds.), Practical Reasoning, Proceedings FAPR'96, LNAI 1085, Springer-Verlag, 1996, pp. 111-125
8. 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, lELIA '94, LNAI 838, Springer-Verlag, 1994, pp. 19-33
9. Also in: .Journal of Applied Non- Classical Logics 5 (I), Special Issue with selected papers from JELIA'94, 1995, pp. 121-135.
10. Kraus, S .. Lehmann, D .. Magidor. M.: "Nonmonotonic Reasoning, Preferential Models and Cumulative Logics", Artificial Intelligence 44 1990. pp. 167 - 207
11. Marek, V., Truszczynski, M.: Nonmonotonic Logic. Springer-Verlag, )l)l)3 (MTT 96]
12. Marek, V., Treur, J .• Truszczynski, M.: "Representation Theory for Default Logic", Proceedings of the Fourth International Symposium on Artificial Intelligence and Mathematics, llJ96. To appear in Annals of .'vi athematic.~• and Arlljiciallntelligence, 19lJ7
13. Reiter, R.: "A Logic for Default Reasoning", Artificial Intelligence 13, 1980, pp. 81-132
14. Shoham, Y.: "Nonmonotonic Logics: Meaning and Utility", in: J. McDermott (ed.), Proc. lOth International Joint Conference 011 Artificial lmelligence, IJCAI-87, Morgan Kaufmann, 1987, pp. 388-393
15. Voorbraak, F.: "Preference-based Semantics for Nonmonotonic Logics", in: R. Bajcsy (ed.), Proc. 13th International Joint Conference on Artificial Intelligence, IJCAI-93, Morgan Kaufmann, 1993, pp. 584-589