Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding.

Jianmin Ji Hai Wan Kewen Wang Zhe Wang Chuhan Zhang Jiangtao Xu

Published in: IJCAI (2016)

Keyphrases

answer set programming
logic programs
logic programming
answer sets
constraint logic programming
causal theories
reasoning tasks
stable models
answer set programs
stable model semantics
natural language
update semantics
database systems
prolog programs