Login / Signup
Computing preferred answer sets by meta-interpretation in answer set programming.
Thomas Eiter
Wolfgang Faber
Nicola Leone
Gerald Pfeifer
Published in:
Theory Pract. Log. Program. (2003)
Keyphrases
</>
answer set programming
answer sets
logic programs
logic programming
answer set programs
answer set solvers
answer set semantics
reasoning tasks
stable models
fixpoint
stable model semantics
knowledge representation
update semantics
general purpose
data types
strong equivalence