Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving

DOI10.1007/978-3-319-14726-0_2zbMath1432.68414OpenAlexW1873723866MaRDI QIDQ5172605

Philipp Obermeier, Roland Kaminski, Martin Gebser, Torsten Schaub

Publication date: 4 February 2015

Published in: Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10072/125265

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) (n)-person games, (n>2) (91A06) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Related Items (4)

LARS: a logic-based framework for analytic reasoning over streams ⋮ Ticker: A system for incremental ASP-based stream reasoning ⋮ \textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming ⋮ Multi-shot ASP solving with clingo

Uses Software

• MiniSat
• Gringo
• Potassco
• clasp
• Clingo
• iClingo

Cites Work

• Unnamed Item
• Randolphs Robot Game is NP-hard!
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Engineering an Incremental ASP Solver

This page was built for publication: Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving