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
Posted Content
How to build your own ASP-based system?!
TL;DR: This tutorial shows how the ASP system clingo can be used for extending ASP and for implementing customized special-purpose systems and shows how guess-and-check programming can be implemented with both meta and application programming.
Book ChapterDOI
Stepwise debugging of description-logic programs
TL;DR: A framework for interactive stepping through a DL-program as a means for debugging which builds on recent results on stepping for standard answer-set programs is introduced and the well-known notion of an unfounded set forDL-programs is extended.
Journal ArticleDOI
Representing and reasoning about concurrent actions with abductive logic programs
Renwei Li,Luís Moniz Pereira +1 more
TL;DR: This paper discusses the temporal explanation of inferring actions from fluent changes at two different levels, namely, at the domain description level and at the abductive logic programming level.
Proceedings ArticleDOI
ASP-DPOP: solving distributed constraint optimization problems with logic programming
TL;DR: This paper explores a new direction, which is to develop algorithms that use declarative programming, specifically logic programming, techniques.
Proceedings ArticleDOI
Evolving Logic Programming Based Agents with Temporal Operators
TL;DR: This paper extends EVOLP with LTL-like temporal operators that allow referring to the history of the evolving agent, and shows that with a suitable introduction of new propositional variables it is possible to embed the extended EV OLP into the original one, thus demonstrating that EVOLp itself can already be used for non-Markovian changes.