The AC(C) Language: Integrating Answer Set Programming and Constraint Logic Programming.

Forrest Sheng Bao

Published in: AAAI (2011)

Keyphrases

constraint logic programming
answer set programming
logic programs
logic programming
answer sets
causal theories
constraint solving
stable models
finite domain
stable model semantics
disjunctive logic programming
answer set programs
update semantics
deductive databases
fixpoint