Pages that link to "Item:Q4593041"
From MaRDI portal
The following pages link to Anytime answer set optimization via unsatisfiable core shrinking (Q4593041):
Displaying 14 items.
- Strong inconsistency (Q2321259) (← links)
- Tunas -- fishing for diverse answer sets: a multi-shot trade up strategy (Q2694555) (← links)
- Shared aggregate sets in answer set programming (Q4559794) (← links)
- Cautious reasoning in ASP via minimal models and unsatisfiable cores (Q4559795) (← links)
- Model enumeration in propositional circumscription via unsatisfiable core analysis (Q4592705) (← links)
- Efficiently Coupling the I-DLV Grounder with ASP Solvers (Q4957193) (← links)
- Omission-Based Abstraction for Answer Set Programs (Q4957218) (← links)
- Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search (Q4988946) (← links)
- Enhancing Magic Sets with an Application to Ontological Reasoning (Q5108494) (← links)
- Abstract Solvers for Computing Cautious Consequences of ASP programs (Q5108499) (← links)
- Better Paracoherent Answer Sets with Less Resources (Q5108500) (← links)
- DynASP2.5: Dynamic Programming on Tree Decompositions in Action (Q5111876) (← links)
- Debugging Non-ground ASP Programs: Technique and Graphical Tools (Q5197755) (← links)
- Abstraction for non-ground answer set programs (Q5919127) (← links)
