Extensions for open default theories via the domain closure assumption

Journal of Logic and Computation

Volumn 8, Issue 2, 1998, Pages 169-187

  Kaminski, Michael ^a   Makowsky, Johann A ^a   Tiomkin, Michael ^b  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

^b INTEL CORPORATION   (Israel)

Author keywords

Default logic; Herbrand semantics; Infinitary logic; Open default theories; The domain closure assumption

Indexed keywords

COMPUTATIONAL LINGUISTICS;

CARNAP INFERENCE RULE; DEFAULT LOGIC; DOMAIN CLOSURE ASSUMPTION; HERBRAND SEMANTICS; INFINITARY LOGIC; OPEN DEFAULT THEORY;

FORMAL LOGIC;

EID: 0032049318     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/8.2.169     Document Type: Article

References (14)

1. F. Baader and K. Schlechta. A semantics for open normal defaults via a modified preferential approach. In Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty - ECSQARU'93, M. Clarke, R. Kruse and S. Moral, eds. pp. 9-16. Vol. 747 of Lecture Notes in Computer Science, Springer Verlag, Berlin 1993.
2. C. C. Chang and H. J. Keisler. Model Theory. North Holland, Amsterdam, 1990.
3. M. A. Dickmann. Large Infinitary Languages. North Holland, Amsterdam, 1975.
4. R. Guerreiro and M. Casanova. An Alternative Semantics for Default Logic. Preprint, the Third International Workshop on Nonmonotonic Reasoning, South Lake Tahoe, 1990.
5. M. Kaminski. A comparative study of open default theories. Artificial Intelligence, 77, 285-319, 1995.
6. M. Kaminski, J. A. Makowsky and M. Tiomkin. Extensions for open default theories via the domain closure assumption. In Proceedings of the 5th European Workshop on Logics in Artificial Intelligence - JELIA'96, J. J. Alfers, L. M. Pereira and E. Orlowska, eds. pp. 373-387 Vol. 1126 of Lecture Notes in Artificial Intelligence, Springer Verlag, Berlin 1996,
7. K. Konolige. Quantification in autoepistemic logic. Fundamenta Informaticae, XV, 275-300, 1991.
8. V. Lifschitz. On open defaults. In Computational Logic: Symposium Proceedings, J. W. Lloyd ed. pp. 80-95. Springer Verlag, Berlin, 1990.
9. J. W. Lloyd. Foundations of Logic Programming, 2nd extended edition, Springer Verlag, Berlin, 1993.
10. E. Mendelson. Introduction to Mathematical Logic. Wadsworth and Brooks, Monterey, CA, 1987.
11. D. Poole. A logical framework for default reasoning. Artificial Intelligence, 36, 27-17, 1988.
12. T. Przymusinski. On the declarative and procedural semantics of logic programs. Journal of Automated Reasoning, 5, 167-205, 1989.
13. R. Reiter. A logic for default reasoning. Artificial Intelligence, 13, 81-132, 1980.
14. M. Truszczyński. Embedding default logic into non-monotonic logics. In Proceedings of the First International Workshop on Logic Programming and Non-monotonic Reasoning, W. Marek, A. Nerode and V. S. Subrahmanian.eds.pp. 151-165. The MIT Press, Cambridge, MA, 1991.