scispace - formally typeset
Open AccessProceedings Article

Logic programs with classical negation

Michael Gelfond, +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
Proceedings Article

Reasoning about truthfulness of agents using answer set programming

Tran Cao Son, +3 more
TL;DR: In this article, the authors propose a declarative framework for representing and reasoning about truthfulness of agents using answer set programming and show how statements by agents can be evaluated against a set of observations over time equipped with our knowledge about the actions of the agents and the normal behavior of agents.

Integration of Conjunctive Queries over Description Logics into HEX-Programs

Martina Muster
TL;DR: Pellentesque habitant morbi tristique senectus et netus et malesuada fames ac turpis egestas as discussed by the authors has been described as a "constant" habitant.
Book ChapterDOI

Constructing camin-sokal phylogenies via answer set programming

Jonathan Kavanagh, +5 more
TL;DR: This article presented Answer Set Programming (ASP) models for the binary CCS problem, as well as a simpler perfect phylogeny version, along with experimental results of applying the models to biological data.

Multi-dimensional Logic Programming

Ao A. Leite, +2 more
TL;DR: The notion of Multi-dimensional Dynamic Logic Programming is introduced, which generalizes Dynamic Logic programming by allowing collections of states represented by arbitrary acyclic digraphs, thereby enlarging the latitude of logic programming applications uniflable under a single framework.
Book ChapterDOI

Belief, Provability, and Logic Programs

José Júlio Alferes, +1 more
TL;DR: The main goal of this paper is to establish a nonmonotonic epistemic logic eB with two modalities — provability and belief — capable of expressing and comparing a variety of known semantics for extended logic programs, and clarify their meaning.