Reasoning by cases in Default Logic

Artificial Intelligence

Volumn 99, Issue 1, 1998, Pages 165-183

  Roos, Nico ^a,b  

^a UNIVERSITY OF TWENTE   (Netherlands)

^b MAASTRICHT UNIVERSITY   (Netherlands)

Author keywords

Default logic; Multiple extensions; Nonmonotonic reasoning; Reasoning by cases

Indexed keywords

FORMAL LOGIC; PROBLEM SOLVING;

DEFAULT LOGIC;

ARTIFICIAL INTELLIGENCE;

EID: 0032003255     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(97)00081-7     Document Type: Article

References (15)

1. P. Besnard, R. Quiniou, P. Quinton, A decidable subset of default logic, in: Proceedings AAAI-83, Washington, DC, 1983, pp. 27-30.
2. G. Brewka, Cumulative default logic, Artificial Intelligence 50 (1991) 183-205.
3. G. Brewka, Reasoning about priorities in default logic: in defense of nonmonotonic inference rules, in: Proceedings AAAI-94, Seattle, WA, 1994, pp. 940-945.
4. J.P. Delgrande, W.K. Jackson, Default logic revisited, in: Proceedings KR-91, Cambridge, MA, 1991, pp. 118-127.
5. D.W. Etherington, A semantics for default logic, in: Proceedings IJCAI-87, Milan, 1987, pp. 495-498.
6. C. Froidevaux, J. Mengin, Default logics: a unified view, Computational Intelligence 10 (1994) 331-369.
7. D.M. Gabbay, Theoretical foundations of non-monotonic reasoning in expert systems, in: K.R. Apt (Ed.), Logic and Models of Concurrent Systems, Springer, Berlin, 1985, pp. 439-457.
8. M. Gelfond, V. Lifschitz, H. Przymusińska, M. Truszczyński, Disjunctive defaults, in: Proceedings KR-91, Cambridge, MA, 1991, pp. 230-237.
9. K. Konolige, On the relation between default and autoepistemic logic, Artificial Intelligence 35 (1988) 343-382.
10. S. Kraus, D. Lehmann, M. Magidor, Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence 44 (1990) 167-207.
11. W. Lukaszewicz, Considerations on default logic: an alternative approach, Computational Intelligence 4 (1988) 1-16.
12. D. Makinson, General theory of cumulative inference, in: M. Reinfrank, J. de Kleer, M.L. Ginsberg, E. Sandewall (Eds.), Proceedings 2nd International Workshop on Non-Monotonie Reasoning, Springer, Berlin, 1988, pp. 1-18.
13. Y. Moinard, Reasoning by cases without contraposition in default logic, in: Proceedings ECAI-94, Amsterdam, 1994, pp. 381-385.
14. R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980) 81-132.
15. F. Voorbraak, Preference-based semantics for nonmonotonic logics, in: Proceedings IJCAI-93, Washington, DC, 1993, pp. 584-589.