Relating weight constraint and aggregate programs: Semantics and representation
From MaRDI portal
Publication:2845120
DOI10.1017/S147106841100038XzbMath1272.68077MaRDI QIDQ2845120
Publication date: 22 August 2013
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s147106841100038x
68N17: Logic programming
Related Items
Cites Work
- 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
- Extending and implementing the stable model semantics
- Logic programs with stable model semantics as a constraint programming paradigm
- Nested expressions in logic programs
- Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
- Well-founded and stable semantics of logic programs with aggregates
- A Constructive semantic characterization of aggregates in answer set programming
- Weight constraints as nested expressions
- Logic programs with monotone abstract constraint atoms