First-Order Indefinability of Answer Set Programs on Finite Structures.

Yin Chen Yan Zhang Yi Zhou

Published in: AAAI (2010)

Keyphrases

answer set programs
answer set programming
answer sets
logic programs
stable models
artificial intelligence
event calculus
orders of magnitude
horn clauses
update operators