Pages that link to "Item:Q899444"

The following pages link to Design and results of the Fifth Answer Set Programming Competition (Q899444):

Displaying 35 items.

• Estimating grounding sizes of logic programs under answer set semantics (Q2055808) (← links)
• Testing in ASP: revisited language and programming environment (Q2055810) (← links)
• Graph-based construction of minimal models (Q2093381) (← links)
• Paracoherent answer set computation (Q2238696) (← links)
• New models for generating hard random Boolean formulas and disjunctive logic programs (Q2287195) (← links)
• Design and results of the second international competition on computational models of argumentation (Q2287197) (← links)
• On the complexity of the partner units decision problem (Q2407462) (← links)
• Lpopt: a rule optimization tool for answer set programming (Q2409731) (← links)
• Deep learning for the generation of heuristics in answer set programming: a case study of graph coloring (Q2694562) (← links)
• ASP Solving for Expanding Universes (Q3449219) (← links)
• Multi-level Algorithm Selection for ASP (Q3449227) (← links)
• The Design of the Sixth Answer Set Programming Competition (Q3449235) (← links)
• Shared aggregate sets in answer set programming (Q4559794) (← links)
• Cautious reasoning in ASP via minimal models and unsatisfiable cores (Q4559795) (← links)
• Stable-unstable semantics: Beyond NP with normal logic programs (Q4593043) (← links)
• Query answering in resource-based answer set semantics (Q4593046) (← links)
• Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) (Q4593048) (← links)
• Preface (Q4593090) (← links)
• plasp 3: Towards Effective ASP Planning (Q4957186) (← links)
• Optimizing Answer Set Computation via Heuristic-Based Decomposition (Q4957190) (← links)
• The Seventh Answer Set Programming Competition: Design and Results (Q4957192) (← links)
• Efficiently Coupling the I-DLV Grounder with ASP Solvers (Q4957193) (← links)
• ASP-Core-2 Input Language Format (Q4957196) (← links)
• (Q5020542) (← links)
• (Q5020987) (← links)
• Abstract Solvers for Computing Cautious Consequences of ASP programs (Q5108499) (← links)
• Better Paracoherent Answer Sets with Less Resources (Q5108500) (← links)
• Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More (Q5140003) (← links)
• Coalition formation in social environments with logic-based agents1 (Q5145446) (← links)
• Debugging Non-ground ASP Programs: Technique and Graphical Tools (Q5197755) (← links)
• Rewriting optimization statements in answer-set programs (Q5240209) (← links)
• Solution Enumeration by Optimality in Answer Set Programming (Q6063865) (← links)
• FOLASP<i>: FO(·) as Input Language for Answer Set Solvers</i> (Q6063868) (← links)
• Logic programming (Q6602251) (← links)
• Adaptive large-neighbourhood search for optimisation in answer-set programming (Q6665706) (← links)