Interpolable Formulas in Equilibrium Logic and Answer Set Programming.

Dov M. Gabbay David Pearce Agustín Valverde

Published in: J. Artif. Intell. Res. (2011)

Keyphrases

answer set programming
logic programming
logic programs
answer sets
constraint logic programming
reasoning tasks
stable model semantics
causal theories
answer set programs
tree decomposition
horn clauses
haplotype inference
general purpose
stable models
update semantics
qualitative spatial and temporal reasoning