Advertisement

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

Logic Program Logic Programming Stable Model Atomic Formula Proof Scheme 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

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