Loop formulas for logic programs with arbitrary constraint atoms

Authors:
Jia-Huai You;Guohua Liu
Affiliations:
Department of Computing Science, University of Alberta, Edmonton, Alberta, Canada;Department of Computing Science, University of Alberta, Edmonton, Alberta, Canada
Venue:
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Year:
2008

Citing 10
Cited 10

Logic programs with stable model semantics as a constraint programming paradigm

Annals of Mathematics and Artificial Intelligence
Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates

Proceedings of the 17th International Conference on Logic Programming
ASSAT: computing answer sets of a logic program by SAT solvers

Artificial Intelligence - Special issue on nonmonotonic reasoning
A Constructive semantic characterization of aggregates in answer set programming

Theory and Practice of Logic Programming
Logic programs with abstract constraint atoms

AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
A generalized gelfond-lifschitz transformation for logic programs with abstract constraints

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Properties and applications of programs with monotone and convex constraints

Journal of Artificial Intelligence Research
Answer sets for logic programs with arbitrary abstract constraint atoms

Journal of Artificial Intelligence Research
A fast and simple algorithm for bounds consistency of the all different constraint

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A fast pseudo-Boolean constraint solver

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

On Reductive Semantics of Aggregates in Answer Set Programming

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Weight Constraint Programs with Functions

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs

Fundamenta Informaticae
Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs

Fundamenta Informaticae
Strong equivalence of logic programs with abstract constraint atoms

LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Weight constraint programs with evaluable functions

Annals of Mathematics and Artificial Intelligence
The loop formula based semantics of description logic programs

Theoretical Computer Science
On elementary loops of logic programs

Theory and Practice of Logic Programming
First-order stable model semantics and first-order loop formulas

Journal of Artificial Intelligence Research

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.