@inproceedings{DBLP:conf/birthday/GebserKOS14, author = {Gebser, Martin and Kaminski, Roland and Obermeier, Philipp and Schaub, Torsten}, title = {Ricochet Robots Reloaded: {A} Case-Study in Multi-shot {ASP} Solving}, booktitle = {Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation}, series = {Lecture Notes in Computer Science}, volume = {9060}, pages = {17--32}, publisher = {Springer}, year = {2015} }