Possibilistic Stable Models.

Pascal Nicolas Laurent Garcia Igor Stéphan

Published in: Nonmonotonic Reasoning, Answer Set Programming and Constraints (2005)

Keyphrases

stable models
logic programming
logic programs
possibilistic logic
normal logic programs
deductive databases
general theory

stable model semantics
answer set programming
fixpoint
loop formulas
logic programs with negation
possibility theory

classical logic
nonmonotonic reasoning
strong equivalence
knowledge representation
knowledge base
default logic

derivation rules
answer sets
incomplete information
programming language
data warehouse
semantics for logic programs