Lparse Programs Revisited: Semantics and Representation of Aggregates
From MaRDI portal
Recommendations
- Relating weight constraint and aggregate programs: semantics and representation
- Weight Constraint Programs with Functions
- Properties and applications of programs with monotone and convex constraints
- Logic Programming and Nonmonotonic Reasoning
- Well-founded and stable semantics of logic programs with aggregates
Cites work
- A Constructive semantic characterization of aggregates in answer set programming
- Answer sets for logic programs with arbitrary abstract constraint atoms
- Extending and implementing the stable model semantics
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Nonmonotonic Reasoning
- 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
- Logics in Artificial Intelligence
- Properties and applications of programs with monotone and convex constraints
- The well-founded semantics for general logic programs
- Well-founded and stable semantics of logic programs with aggregates
Cited in
(6)- A Theoretical Foundation for Programming Languages Aggregation
- Lparse
- The loop formula based semantics of description logic programs
- Relating weight constraint and aggregate programs: semantics and representation
- Well-supported semantics for logic programs with generalized rules
- Properties and applications of programs with monotone and convex constraints
This page was built for publication: Lparse Programs Revisited: Semantics and Representation of Aggregates
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5504666)
