Lparse Programs Revisited: Semantics and Representation of Aggregates

DOI10.1007/978-3-540-89982-2_33zbMath1185.68167OpenAlexW1919787233MaRDI QIDQ5504666

Jia-Huai You, Guo-Hua Liu

Publication date: 22 January 2009

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-89982-2_33

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (3)

Well-Supported Semantics for Logic Programs with Generalized Rules ⋮ Lparse ⋮ The loop formula based semantics of description logic programs

Uses Software

• CHIP
• Smodels

Cites Work

• Extending and implementing the stable model semantics
• Logic programs with stable model semantics as a constraint programming paradigm
• Well-founded and stable semantics of logic programs with aggregates
• A Constructive semantic characterization of aggregates in answer set programming
• Logic Programs with Abstract Constraint Atoms: The Role of Computations
• The well-founded semantics for general logic programs
• Logics in Artificial Intelligence
• Logic Programming and Nonmonotonic Reasoning
• Logic programs with monotone abstract constraint atoms
• Logic Programming and Nonmonotonic Reasoning
• Unnamed Item
• Unnamed Item

This page was built for publication: Lparse Programs Revisited: Semantics and Representation of Aggregates