Stepping through an Answer-Set Program.

Johannes Oetsch Jörg Pührer Hans Tompits

Published in: LPNMR (2011)

Keyphrases

answer sets
answer set programs
loop formulas
logic programs
answer set programming
semantics of logic programs
logic programming
answer set semantics
normal logic programs
fixpoint
stable model semantics
propositional logic
heuristic search
expert systems
information retrieval
relational databases
knowledge base