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
Book ChapterDOI
On the practical side of answer set programming
TL;DR: This work examines methods for computing answer sets incrementally based on user choices and shows how to guide the user in making the choices and how to give diagnostic information in the case that the user's choices are inconsistent.
Posted Content
Logic Programming with Default, Weak and Strict Negations
TL;DR: In this paper, a 3-valued logic model theory for logic programs with three kinds of negation is presented, i.e., default, weak and strict negation, and a procedure is constructed for negations.
Posted Content
Extending Prolog with Incomplete Fuzzy Information
TL;DR: Fuzzy Prolog as mentioned in this paper is a language that combines crisp and fuzzy knowledge representations in the Borel algebra, where truth value is represented using unions of intervals of real numbers.
TECHNICAL NOTE Logic programming with default, weak and strict negations
TL;DR: In this article, a 3-valued logic model theory for logic programs with three kinds of negation is presented, i.e., default, weak and strict negation, and a procedure is constructed for negations so that a soundness of the procedure is guaranteed in terms of 3valued logic models.
Proceedings ArticleDOI
Explicit and default negation in databases and logic programs
TL;DR: This paper presents a new semantics for logic programs with explicit negation where the derivation of a literal is tied to the derivations of its complement, and the handling of incomplete information in an open world setting is investigated.