Pages that link to "Item:Q4957192"
From MaRDI portal
The following pages link to The Seventh Answer Set Programming Competition: Design and Results (Q4957192):
Displaying 11 items.
- Graph-based construction of minimal models (Q2093381) (← links)
- Paracoherent answer set computation (Q2238696) (← links)
- Tunas -- fishing for diverse answer sets: a multi-shot trade up strategy (Q2694555) (← links)
- Efficient computation of answer sets via SAT modulo acyclicity and vertex elimination (Q2694569) (← links)
- A machine learning system to improve the performance of ASP solving based on encoding selection (Q2694597) (← links)
- Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming (Q4957224) (← links)
- (Q5020542) (← links)
- (Q5020979) (← links)
- Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints (Q5140015) (← links)
- FOLASP<i>: FO(·) as Input Language for Answer Set Solvers</i> (Q6063868) (← links)
- Parallel Logic Programming: A Sequel (Q6063892) (← links)
