Pages that link to "Item:Q4592998"
From MaRDI portal
The following pages link to Complexity and compilation of GZ-aggregates in answer set programming (Q4592998):
Displaying 9 items.
- Recursive rules with aggregation: a simple unified semantics (Q2151406) (← links)
- Vicious circle principle, aggregates, and formation of sets in ASP based languages (Q2321320) (← links)
- On Reductive Semantics of Aggregates in Answer Set Programming (Q3643117) (← links)
- Shared aggregate sets in answer set programming (Q4559794) (← links)
- Evaluating Answer Set Programming with Non-Convex Recursive Aggregates (Q4589242) (← links)
- Model enumeration in propositional circumscription via unsatisfiable core analysis (Q4592705) (← links)
- Anytime answer set optimization via unsatisfiable core shrinking (Q4593041) (← links)
- Multi-shot ASP solving with clingo (Q5197744) (← links)
- On the Complexity of Answer Set Programming with Aggregates (Q5425401) (← links)