Relating weight constraint and aggregate programs: Semantics and representation

DOI10.1017/S147106841100038XzbMath1272.68077OpenAlexW2964029271MaRDI QIDQ2845120

Jia-Huai You, Guo-Hua Liu

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

zbMATH Keywords

stable modelaggregatesweight constraintlogic programs with constraints

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Rewriting recursive aggregates in answer set programming: back to monotonicity

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

This page was built for publication: Relating weight constraint and aggregate programs: Semantics and representation