Pages that link to "Item:Q4559794"
From MaRDI portal
The following pages link to Shared aggregate sets in answer set programming (Q4559794):
Displayed 5 items.
- Recursive rules with aggregation: a simple unified semantics (Q2151406) (← links)
- The External Interface for Extending WASP (Q4957194) (← links)
- Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search (Q4988946) (← links)
- Enhancing Magic Sets with an Application to Ontological Reasoning (Q5108494) (← links)
- Inconsistency Proofs for ASP: The ASP - DRUPE Format (Q5108508) (← links)