Relating weight constraint and aggregate programs: semantics and representation
From MaRDI portal
Recommendations
Cites work
- A Constructive semantic characterization of aggregates in answer set programming
- Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
- Extending and implementing the stable model semantics
- Logic programming and nonmonotonic reasoning. 10th international conference, LPNMR 2009, Potsdam, Germany, September 14--18, 2009. Proceedings
- Logic programs with abstract constraint atoms: the role of computations
- Logic programs with monotone abstract constraint atoms
- Logic programs with stable model semantics as a constraint programming paradigm
- Nested expressions in logic programs
- Weight constraints as nested expressions
- Well-founded and stable semantics of logic programs with aggregates
Cited in
(8)- Nested weight constraints in ASP
- Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs
- Rewriting recursive aggregates in answer set programming: back to monotonicity
- Weight constraints as nested expressions
- Lparse Programs Revisited: Semantics and Representation of Aggregates
- Level mapping induced loop formulas for weight constraint and aggregate logic programs
- Level mapping induced loop formulas for weight constraint and aggregate logic programs
- Aggregate semantics for propositional answer set programs
This page was built for publication: Relating weight constraint and aggregate programs: semantics and representation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2845120)
