The following pages link to (Q3624035):
Displayed 9 items.
- Weight constraint programs with evaluable functions (Q645084) (← links)
- Ordered completion for logic programs with aggregates (Q892233) (← links)
- Supportedly stable answer sets for logic programs with generalized atoms (Q2360180) (← links)
- Applying Visible Strong Equivalence in Answer-Set Program Transformations (Q2900532) (← links)
- Disjunctive Programs with Set Constraints (Q2900542) (← links)
- Rewriting recursive aggregates in answer set programming: back to monotonicity (Q4592997) (← links)
- Complexity and compilation of GZ-aggregates in answer set programming (Q4592998) (← links)
- (Q5020979) (← links)
- Lparse Programs Revisited: Semantics and Representation of Aggregates (Q5504666) (← links)