Pages that link to "Item:Q2401918"

The following pages link to The design of the Seventh Answer Set Programming Competition (Q2401918):

Displaying 15 items.

• Design and results of the Fifth Answer Set Programming Competition (Q899444) (← links)
• The Design of the Sixth Answer Set Programming Competition (Q3449235) (← 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)
• Boosting Answer Set Optimization with Weighted Comparator Networks (Q4957202) (← links)
• A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders (Q4957216) (← links)
• Omission-Based Abstraction for Answer Set Programs (Q4957218) (← links)
• Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming (Q4957224) (← links)
• Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search (Q4988946) (← links)
• (Q5020571) (← links)
• The Sixth Answer Set Programming Competition (Q5371008) (← links)
• Logic programming (Q6602251) (← links)
• IASCAR: incremental answer set counting by anytime refinement (Q6656460) (← links)