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

Elimination of Negation in a Logical Framework

Alberto Momigliano
TL;DR: This work adapts the idea of elimination of negation introduced in [17] for Horn logic to a fragment of higher-order HHF to isolate a set of programs where static and dynamic clauses do not overlap.
Journal ArticleDOI

A context for belief revision: forward chaining-normal nonmonotomic rule systems

Victor W. Marek, +2 more
- 17 May 1994 - 
TL;DR: This paper extends Rieter's normal default theories, which have a number of the nice properties which make them a desirable context for belief revision, to the setting of nonmonotonic rule systems and extends the notion ofnormal default theories with respect to a general consistency property.
Journal ArticleDOI

Logic programs, well-orderings and forward chaining

Victor W. Marek, +2 more
- 01 Mar 1999 - 
TL;DR: It is proved that every stable model of a program is a stable submodel, and the complexity issues associated with stable submodels are investigated.
Book ChapterDOI

On Extended Disjunctive Logic Programs

Jack Minker, +1 more
TL;DR: This paper studies, in a comprehensive manner, different aspects of extended disjunctive logic programs, that is, programs whose clauses are of the form l1 ∨ ... ∨ l k ← lk+1, ..., l m , not lm+1,..., not l n , where l1, l n are literals and not is the negation-by-default operator.
Journal ArticleDOI

Vivid agents: Theory, architecture, and applications

Michael Schroeder, +1 more
- 01 Aug 2000 - 
TL;DR: An execution model for vivid agents is presented, which is based on an architecture for concurrent action and planning (CAP), and the concept of vivid agents and the CAP architecture in distributed diagnosis is evaluated.