Open AccessProceedings Article
Logic programs with classical negation
Michael Gelfond,Vladimir Lifschitz +1 more
- pp 579-597
Reads0
Chats0
About:
This article is published in International Conference on Lightning Protection.The article was published on 1990-05-01 and is currently open access. It has received 602 citations till now. The article focuses on the topics: Negation & Predicate functor logic.read more
Citations
More filters
Journal ArticleDOI
Non-monotonic reasoning with logic programming
TL;DR: It is shown how to cast in the language of logic programs extended with explicit negation such forms of non-monotonic reasoning as defeasible reasoning, abductive reasoning, and hypothetical reasoning and apply them to such different domains of knowledge representation as hierarchies and reasoning about actions.
Journal ArticleDOI
On the correctness of unfold/fold transformation of normal and extended logic programs
TL;DR: The primary aim of this research is to adopt a uniform approach for every semantics of normal programs, and that is elegantly achieved through the notion of semantic kernel.
Book ChapterDOI
Disjunctive Logic Programming: A Survey and Assessment
Jack Minker,Dietmar Seipel +1 more
TL;DR: The fields ofdisjunctive logic programming and disjunctive deductive databases from the time of their inception to the current time are described and the future needs to make the field practical are discussed.
Book ChapterDOI
A Tableau Calculus for Equilibrium Entailment
TL;DR: This work applies tableau methods to the problem of computing entailment in the nonmonotonic system of equilibrium logic, a generalisation of the inference relation associated with the stable model and answer set semantics for logic programs.
Book ChapterDOI
Revised stable models – a semantics for logic programs
TL;DR: An original 2-valued semantics for Normal Logic Programs (NLP), which conservatively extends the Stable Model semantics (SM) to all normal programs, and establishes significant, not previously known, properties of SM whenever odd loops and infinitely long chains over negation are absent.