Logic programming and nonmonotonic reasoning

  • V. Wiktor Marek
  • Mirosław Truszczyński
Part of the Artificial Intelligence book series (AI)

Abstract

For several years default logic and logic programming have been developed by disjoint groups of researchers and there have been few interactions between these two fields. Only quite recently, in the late 1980s, it was realized that the way in which logic programming interprets negation leads to nonmonotonic systems. Subsequently, connections between “negation as failure to prove” principle of logic programming and default and autoepistemic logics were established.

Keywords

Stratification 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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 KentuckyLexingtonUSA

Personalised recommendations