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 Article
Inductive equivalence of logic programs
Chiaki Sakama,Katsumi Inoue +1 more
TL;DR: It is shown that logical equivalence is the necessary and sufficient condition for inductive equivalence in clausal theories and Horn logic programs and in nonmonotonic extended logic programs, however, several existing induction algorithms require weaker conditions of equivalence under restricted problem settings.
Book ChapterDOI
Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP
Thanh Hai Nguyen,Tran Cao Son,Matthew Bundas,Marcello Balduccini,Kathleen Campbell Garwood,Edward Griffor +5 more
TL;DR: A framework for reasoning about trustworthiness in cyber-physical systems (CPS) that combines ontology-based reasoning and answer set programming (ASP) is presented in this article.
Journal ArticleDOI
Solving distributed constraint optimization problems using logic programming
TL;DR: ASP-DPOP is introduced, the first DCOP algorithm that is based on logic programming, and it is shown that ASP can be up to two orders of magnitude faster than DPOP (its imperative programming counterpart).
Book ChapterDOI
Answer Set Programming and S4
TL;DR: A nonmonotonic reasoning system based on the modal logic S4 is developed and it is shown how to express the well known answer set semantics using a restricted fragment of modal formulas.
Proceedings ArticleDOI
Generating explanations for answer set programming applications
TL;DR: An explanation system for applications that leverage Answer Set Programming (ASP) that generates all explanation graphs of a which help explain why a is true (or false) given the program P and the answer set A.