Pages that link to "Item:Q4592997"
From MaRDI portal
The following pages link to Rewriting recursive aggregates in answer set programming: back to monotonicity (Q4592997):
Displaying 11 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)
- Shared aggregate sets in answer set programming (Q4559794) (← links)
- Model enumeration in propositional circumscription via unsatisfiable core analysis (Q4592705) (← links)
- Anytime answer set optimization via unsatisfiable core shrinking (Q4593041) (← links)
- Inlining External Sources in Answer Set Programs (Q4957183) (← links)
- ASP-Core-2 Input Language Format (Q4957196) (← links)
- Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search (Q4988946) (← links)
- Enhancing Magic Sets with an Application to Ontological Reasoning (Q5108494) (← links)
- Multi-shot ASP solving with clingo (Q5197744) (← links)
- Solution Enumeration by Optimality in Answer Set Programming (Q6063865) (← links)
