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
Complexity of Recursive Normal Default Logic
TL;DR: In [20], it was proved that every recursive propositional normal default theory possesses an extension which is r.e. in 0′, and here it is shown that this bound is tight.
Proceedings Article
Back and Forth Semantics for Normal, Disjunctive and Extended Logic programs.
TL;DR: A logical semantics called back-and-forth, applicable to normal and disjunctive datalog programs as well as to programs possessing a second, explicit or`strong' negation operator, is shown to be equivalent to the well-founded semantics (WFS), and to Przymusinski's 3-valued stable semantics.
Book ChapterDOI
Argumentative and Cooperative Multi-agent System for Extended Logic Programming
TL;DR: An argumentative and cooperative multi-agent framework is defined, introducing credulous and sceptical conclusions and an algorithm for inference is presented, showing how the agents can have more credulous or sceptical conclusion.
Book ChapterDOI
Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems
TL;DR: This paper presents two applications of the ASP-Prolog system, one of the earliest modular logic programming frameworks for integrating ASP and traditional Prolog/CLP reasoning, and its use to compute the equilibrium semantics of Multi-Context Systems (MCS).