Login / Signup
Routley Semantics for Answer Sets.
Sergei P. Odintsov
David Pearce
Published in:
LPNMR (2005)
Keyphrases
</>
answer sets
logic programming
answer set semantics
logic programs
extended logic programs
normal logic programs
logic program updates
answer set programming
semantics of logic programs
disjunctive logic programming
semantics for logic programs
stable model semantics
answer set programs
stable models
description logic programs
deductive databases
model theoretic
fixpoint
reasoning tasks
dl programs
programming language
nonmonotonic reasoning
strong equivalence
knowledge base
formal semantics
description logics
defeasible logic
counter examples
nonmonotonic logics
update semantics
loop formulas
default reasoning