Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs.

Gerhard Brewka Ilkka Niemelä Tommi Syrjänen

Published in: JELIA (2002)

Keyphrases

answer sets
answer set solvers
semantics of logic programs
logic programs
answer set programming
answer set programs
answer set semantics
logic programming
stable model semantics
fixpoint
stable models
general purpose
artificial intelligence
deductive databases
reasoning tasks
software engineering
high level