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 4 items.
- Logic programs with abstract constraint atoms: the role of computations (Q969538) (← 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)