Preferred First-Order Answer Set Programs.

Vernon Asuncion Yan Zhang Yi Zhou

Published in: ACM Trans. Comput. Log. (2014)

Keyphrases

answer set programs
answer set programming
answer sets
logic programs
stable models
logic programming
artificial intelligence
reasoning tasks
machine learning
knowledge representation
update operators
orders of magnitude
answer set semantics