Pages that link to "Item:Q899444"
From MaRDI portal
The following pages link to Design and results of the Fifth Answer Set Programming Competition (Q899444):
Displaying 12 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)
- 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)
