Annotating Answer-Set Programs in LANA?

Marina De Vos Doga Gizem Kisa Johannes Oetsch Jörg Pührer Hans Tompits

Published in: CoRR (2012)

Keyphrases

answer set programs
answer set programming
answer sets
logic programs
stable models
update operators
logic programming
event calculus
semantic annotation
fixpoint