Grounding Bound Founded Answer Set Programs.

Rehan Abdul Aziz Geoffrey Chu Peter James Stuckey

Published in: CoRR (2014)

Keyphrases

answer set programs
answer set programming
answer sets
logic programs
stable models
update operators
logic programming
reasoning tasks
machine learning
natural language
event calculus