Annotating answer-set programs in Lana.

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

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

Keyphrases

answer set programs
answer set programming
answer sets
logic programs
stable models
logic programming
update operators
fixpoint
semantic annotation
reasoning tasks
database
machine learning
query processing
programming language