Sciweavers

Share
LPNMR
2004
Springer

Set Constraints in Logic Programming

10 years 3 months ago
Set Constraints in Logic Programming
We investigate a generalization of weight-constraint programs with stable semantics, as implemented in the ASP solver smodels. Our programs admit atoms of the form X, F where X is a finite set of propositional atoms and F is an arbitrary family of subsets of X. We call such atoms set constaints and show that the concept of stable model can be generalized to programs admitting set constraints both in the bodies and the heads of clauses. Natural tools to investigate the fixpoint semantics for such programs are nondeterministic operators in complete lattices. We prove two fixpoint theorems for such operators.
V. Wiktor Marek, Jeffrey B. Remmel
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where LPNMR
Authors V. Wiktor Marek, Jeffrey B. Remmel
Comments (0)
books