Monitoring and Visualizing Answer Set Solving.

Arne König Torsten Schaub

Published in: Theory Pract. Log. Program. (2013)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
answer set semantics
answer set programs
normal logic programs
monitoring system
fixpoint
semantics of logic programs
machine learning
stable models
nonmonotonic reasoning
general purpose
data structure
information systems
artificial intelligence