Pages that link to "Item:Q5172605"
From MaRDI portal
The following pages link to Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving (Q5172605):
Displayed 4 items.
- LARS: a logic-based framework for analytic reasoning over streams (Q1648076) (← links)
- \textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming (Q1730740) (← links)
- Ticker: A system for incremental ASP-based stream reasoning (Q4592708) (← links)
- Multi-shot ASP solving with clingo (Q5197744) (← links)