Debugging Answer-Set Programs with Ouroboros - Extending the SeaLion Plugin.

Melanie Frühstück Jörg Pührer Gerhard Friedrich

Published in: LPNMR (2013)

Keyphrases

answer set programs
answer set programming
answer sets
logic programs
stable models
logic programming
event calculus
reasoning tasks
update semantics
update operators
artificial intelligence
state space
owl ontologies