Pages that link to "Item:Q3432855"
From MaRDI portal
The following pages link to A Constructive semantic characterization of aggregates in answer set programming (Q3432855):
Displayed 8 items.
- Computing weighted solutions in ASP: representation-based method vs. search-based method (Q421455) (← links)
- Semantics and complexity of recursive aggregates in answer set programming (Q543600) (← links)
- Logic programs with abstract constraint atoms: the role of computations (Q969538) (← links)
- Relating weight constraint and aggregate programs: Semantics and representation (Q2845120) (← links)
- Well-Supported Semantics for Logic Programs with Generalized Rules (Q2900549) (← links)
- Characterizations of stable model semantics for logic programs with arbitrary constraint atoms (Q3183130) (← links)
- Multivalued action languages with constraints in CLP(FD) (Q3550913) (← links)
- Lparse Programs Revisited: Semantics and Representation of Aggregates (Q5504666) (← links)