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
Book ChapterDOI

Plan Failure Analysis: Formalization and Application in Interactive Planning Through Natural Language Communication

Chitta Baral, +3 more
TL;DR: This work identifies two main tasks and presents prototypical architecture for the integration of planning failure analysis and natural language communication into an intelligent agent architecture.
Book ChapterDOI

A Logic Programming System for Evolving Programs with Temporal Operators

José Júlio Alferes, +2 more
TL;DR: This work extends the Logic Programming Update Language EVOLP with LTL-like temporal operators that allow referring to the history of the evolving knowledge base, and shows how this can be implemented in a Logic Programming framework.

Towards Distributed Computation of Answer Sets.

Marco De Bortoli, +5 more
TL;DR: This paper presents a distributed approach to ASP problems, which involves all the phases of the overall solving process: from a distributed grounder to two different techniques to deal with the pure solving phase (for non-stratified program too), both of them using the non-standard graph coloring algorithm to characterize answer sets.
Dissertation

Modular Logic Programming: Full Compositionality and Conflict Handling for Practical Reasoning

João Martinho Moura
TL;DR: This research deals with the problematic of formally devising a generic modular logic programming framework, providing operators for combining arbitrary modular logic programs together with a compositional semantics and characterise conflicts that occur when composing access control policies.
Book ChapterDOI

Inheritance in a Hierarchy of Theories

Gabriel David, +1 more
TL;DR: This paper1 contains a proposal for a knowledge representation formalism based on a taxonomy of theories that aims at clarifying the notions of inheritance and dependency among properties and classes, which are mixed together in the “inheritance networks” formalism.