Pages that link to "Item:Q4589242"
From MaRDI portal
The following pages link to Evaluating Answer Set Programming with Non-Convex Recursive Aggregates (Q4589242):
Displaying 8 items.
- Recursive rules with aggregation: a simple unified semantics (Q2151406) (← links)
- On Reductive Semantics of Aggregates in Answer Set Programming (Q3643117) (← links)
- Shared aggregate sets in answer set programming (Q4559794) (← links)
- Model enumeration in propositional circumscription via unsatisfiable core analysis (Q4592705) (← links)
- The power of non-ground rules in Answer Set Programming (Q4593042) (← links)
- Inlining External Sources in Answer Set Programs (Q4957183) (← links)
- Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search (Q4988946) (← links)
- On the Complexity of Answer Set Programming with Aggregates (Q5425401) (← links)