The stable model semantics for logic programming

19883,405 citationsJournal Article

Authors

Abstract

We propose a new declarative semantics for logic programs with negation. Its formulation is quite simple; at the same time, it is more general than the iterated fixed point semantics for stratied programs, and is applicable to some useful programs that are not stratified.

Topics & Keywords

Semantic Web and Ontologies Logic, Reasoning, and Knowledge Multi-Agent Systems and Negotiation

Publication Details

Field-Weighted Citation Impact: 44.58

Command Palette

The stable model semantics for logic programming

Authors

Abstract

Topics & Keywords

Publication Details