Loop Formulas for Logic Programs with Arbitrary Constraint Atoms

We formulate loop formulas for logic programs with arbitrary constraint atoms, for the semantics based on conditional satisfaction. This provides a method for answer set computation by computing models of completion. One particular attractive candidate for the latter task is pseudo-boolean constraint solvers. To strengthen this connection, we show examples of compact encoding of aggregates and global constraints by pseudo-boolean constraints.

Authors

• Jia-Huai You University of Alberta

Keywords

No keywords are indexed for this paper.