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
Computing argumentation in logic programming
KC Kakas,Francesca Toni +1 more
TL;DR: An abstract computational framework where various argumen-tation semantics can be computed via diierent parametric variations of a simple basic proof theory is developed, given in terms of derivations of trees where each node in a tree contains an argument against its corresponding parent node.
Journal ArticleDOI
The family of stable models
TL;DR: The family of all stable models for a logic program has a surprisingly simple overall structure, once two naturally occuring orderings are made explicit, and the methods of proof apply not just to logic programs considered classically, but to logic Programs over any bilattice meeting certain conditions, and thus apply in a vast range of settings.
Journal ArticleDOI
Computing Generalized Specificity
TL;DR: This paper investigates an inherent and autonomous comparison criterion, based on specificity as defined in [POO 85, SIM 92], which is context-sensitive, i.
Journal ArticleDOI
Semantic forgetting in answer set programming
Thomas Eiter,Kewen Wang +1 more
TL;DR: A declarative theory of forgetting for disjunctive logic programs under answer set semantics that is fully based on semantic grounds is established and shows how the semantics of inheritance logic programs and update logic programs from the literature can be characterized through forgetting.
Proceedings Article
Dynamic Logic Programming.
TL;DR: This paper introduces the notion of an update P U of a logic program P by another logic program U and provides a precise semantic characterization of P U and study some ba sic properties of program updates.