On Structural Analysis of Non-Ground Answer-Set Programs.

Benjamin Kiesl Peter Schüller Hans Tompits

Published in: ICLP (Technical Communications) (2015)

Keyphrases

structural analysis
answer set programs
answer set programming
answer sets
logic programs
stable models
three dimensional
image processing
logic programming
update operators
reinforced concrete
database
diagrammatic reasoning
update semantics
event calculus
reasoning tasks
query evaluation