Pages that link to "Item:Q5371008"

The following pages link to The Sixth Answer Set Programming Competition (Q5371008):

Displaying 23 items.

• Design and results of the Fifth Answer Set Programming Competition (Q899444) (← 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)
• Design and results of the second international competition on computational models of argumentation (Q2287197) (← links)
• The design of the Seventh Answer Set Programming Competition (Q2401918) (← links)
• Solving problems in the polynomial hierarchy with ASP(Q) (Q2694590) (← links)
• A machine learning system to improve the performance of ASP solving based on encoding selection (Q2694597) (← 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)
• plasp 3: Towards Effective ASP Planning (Q4957186) (← links)
• The Seventh Answer Set Programming Competition: Design and Results (Q4957192) (← links)
• Efficiently Coupling the I-DLV Grounder with ASP Solvers (Q4957193) (← links)
• The External Interface for Extending WASP (Q4957194) (← links)
• ASP-Core-2 Input Language Format (Q4957196) (← links)
• A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders (Q4957216) (← links)
• (Q5020542) (← links)
• Beyond NP: Quantifying over Answer Sets (Q5108497) (← links)
• Abstract Solvers for Computing Cautious Consequences of ASP programs (Q5108499) (← links)
• Better Paracoherent Answer Sets with Less Resources (Q5108500) (← links)
• Incremental Answer Set Programming with Overgrounding (Q5108513) (← links)
• Logic Programming and Nonmonotonic Reasoning (Q5424859) (← links)