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
Multi-context Systems with Preferences
TL;DR: The paper introduces the notion of a ranked logic, suitable for use with multiple sources of preferences, and employs it in the definition of weakly and strongly-preferred equilibria in a Multi-Context Systems with Preferences (MCSP) framework.
Book ChapterDOI
Proof-theory for Extensions of Logic Programming
TL;DR: The focus of this paper lies on the proof-theory for extensions of Logic Programming in which it is possible to draw negative conclusions both in a direct (i.e., based on a proof) and in an indirect way.
Parallel Logic Programming with Extensions.
TL;DR: A large medium-term national research project to promote the evolution of Prolog towards a more expressive new logic programming language, and the resulting language, PROLOPPE, will integrate the above aspects.
Journal Article
Conflict Handling in Product Configuration using Answer Set Programming
TL;DR: In this paper , the authors present an approach based on the declarative paradigm of Answer Set Programming to explain why configurations are invalid and how they can be minimally changed to become valid again.
Proceedings Article
Quality of knowledge in group decision support systems
TL;DR: This work addressed the problem of knowledge evaluation in a VirtualECare Group Decision Supporting System (GDSS) in terms of an Multi-valued Extended Logic Programming language, which is aimed at sustaining online healthcare services.