Representation theory for default logic

Annals of Mathematics and Artificial Intelligence

Volumn 21, Issue 2-4, 1997, Pages 343-358

  Marek, V Wiktor ^a   Treur, Jan ^b   Truszczyński, Mirosław ^a  

^a UNIVERSITY OF KENTUCKY   (United States)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 21944453136     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1018977721624     Document Type: Article

References (12)

1. P.A. Bonatti and T. Eiter, Querying disjunctive databases through nonmonotonic logics, in: Proceedings of the 5th International Conference on Database Theory - ICDT 95, Lecture Notes in Computer Science 893 (Springer, Berlin, 1995).
2. P. Besnard, An Introduction to Default Logic (Springer, Berlin, 1989).
3. G. Brewka, Nonmonotonic Reasoning: Logical Foundations of Commonsense (Cambridge Univ. Press, Cambridge, UK, 1991).
4. P. Cholewiński, W. Marek, A. Mikitiuk and M. Truszczyński, Experimenting with nonmonotonic reasoning, in: Proceedings of the 12th International Conference on Logic Programming (MIT Press Cambridge, MA, 1995).
5. D.W. Etherington, Reasoning with Incomplete Information (Pitman, London, 1988).
6. A. Ferry, Topological characterizations for logic programming semantics, Doctoral dissertation, University of Michigan (1994).
7. V. Lifschitz, Circumscriptive theories: a logic-based framework for knowledge representation, Journal of Philosophical Logic 17 (1988) 391-441.
8. J. McCarthy, Circumscription - a form of non-monotonic reasoning, Artificial Intelligence 13 (1980) 27-39.
9. W. Marek and M. Truszczyński, Nonmonotonic Logics; Context-Dependent Reasoning (Springer, Berlin, 1993).
10. R. Reiter, On closed world data bases, in: Logic and Data Bases, eds. H. Gallaire and J. Minker (Plenum Press, 1978) pp. 55-76.
11. R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980) 81-132.
12. T. Schaub, On constrained default theories, in: Proceedings of the 11th European Conference on Artificial Intelligence, ECAI 92 (Wiley, 1992) pp. 304-308.