2007 | OriginalPaper | Chapter
Logic Programs with Abstract Constraint Atoms: The Role of Computations
Authors : Lengning Liu, Enrico Pontelli, Tran Cao Son, Mirosław Truszczyński
Published in: Logic Programming
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
We provide new perspectives on the semantics of logic programs with
constraints
. To this end we introduce several notions of
computation
and propose to use the
results
of computations as answer sets of programs with constraints. We discuss the rationale behind different classes of computations and study the relationships among them and among the corresponding concepts of answer sets. The proposed semantics generalize the answer set semantics for programs with monotone, convex and/or arbitrary constraints described in the literature.