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
Playing with rules
TL;DR: This paper revisit Logic Programming under the answer-set semantics - or Answer-Set Programming - and its extension Evolving Logic Programming, two languages that use logic rules and rule updates and exhibit characteristics that make them suitable to be used for knowledge representation and reasoning within Agent Oriented Programming Languages.
Book ChapterDOI
From Here to There: Stable Negation in Logic Programming
TL;DR: It is shown how one of the most prominent interpretations of logic programs, the stable model semantics and its generalisations, conforms to a very simple fixpoint condition, called negation-stability, with respect to the least constructive extension, N2, of the intermediate logic of here-and-there.
Journal ArticleDOI
Reasoning in inconsistent knowledge bases
John Grant,V. S. Subrahmanian +1 more
TL;DR: This paper shows how reasoning with cases, and reasoning with the law of excluded middle may be captured, and develops a declarative and operational semantics for knowledge bases that are possibly inconsistent.
Proceedings Article
Approximate reasoning about actions in presence of sensing and incomplete information
Chitta Baral,Tran Cao Son +1 more
TL;DR: A high level language in the spirit of the language A, that allows sensing actions, is proposed and two approximation semantics of this language and their translation to logic programs are presented.
Journal ArticleDOI
Overview of disjunctive logic programming
TL;DR: An overview is presented of the developments that have taken place in the field of disjunctive programming, which include model theoretic, proof theoretic and fixpoint semantics for dis junctive semantics, and extended normal dis Junctive theories including alternative forms of negation.