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
Journal ArticleDOI

Stable generated models, partial temporal logic and disjunctive defaults

Joeri Engelfriet, +1 more
- 01 Oct 1999 - 
TL;DR: Stable generated models for extended generalized logic programs with two kinds of negation provide a semantics for logic programming in its most general form with several new versions of (disjunctive) default logic.
Book ChapterDOI

Logic programming with assumption denial

Jia-Huai You, +1 more
TL;DR: A framework of logic programming using an explicit representation of defeats of assumptions, called assumption denials, is presented, which reveals a relationship between disjunctive programs and non-dis Junctive programs, which was known previously to be false in some other formalisms.
Book

Extending the smodels system

Ilkka Niemelä, +1 more
TL;DR: The Smodels system has been extended with new constructs including cardinality and weight constraints and corresponding implementation techniques have been developed, and the current level of performance of the system is compared to state-of-the-art satisfiability checkers.
Proceedings ArticleDOI

From Relational Specifications to Logic Programs

Joseph P. Near
TL;DR: The compiler translates the Imperative Alloy specification language to Prolog, a declarative, relational specification language based on first-order logic and extended with imperative constructs.

An architecture for rational agents interacting with complex environments

Alejandro G. Stankevicius, +2 more
TL;DR: To build a fully rational agent is rather unattainable; several issues remain overlooked, or just partially addressed (i.e., addressed under too unrealistic assumptions).