Normal form results for default logic

  • V. Wiktor Marek
  • Mirosław Truszczyński
Selected Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 659)


In this paper we continue investigations of proof theory of default logic. It turns out that, similarly to classical logic, default theories can be represented in normal forms.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Eth88]
    D. W. Etherington. Reasoning with Incomplete Information. Pitman, London, 1988.Google Scholar
  2. [Fit90]
    M. C. Fitting. First Order Logic and Automated Theorem Proving. Springer Verlag, 1990.Google Scholar
  3. [Men64]
    E. Mendelson. Introduction to Mathematical Logic. Van Nostrand Reinhold, 1964.Google Scholar
  4. [MT89]
    W. Marek and M. Truszczyński. Relating autoepistemic and default logics. In Principles of Knowledge Representation and Reasoning, pages 276–288, San Mateo, CA., 1989. Morgan Kaufmann.Google Scholar
  5. [MT93]
    W. Marek and M. Truszczynski. Nonmonotonic Logics; Context-Dependent Reasoning, to appear.Google Scholar
  6. [Rei80]
    R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81–132, 1980.Google Scholar
  7. [YBB92]
    F. Yang, H. Blair, and A. Brown. Programming in default logic. University of Syracuse, 1992.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • V. Wiktor Marek
    • 1
  • Mirosław Truszczyński
    • 1
  1. 1.Department of Computer ScienceUniversity of KentuckyLexington

Personalised recommendations