{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T21:00:44Z","timestamp":1772830844513,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642405631","type":"print"},{"value":"9783642405648","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40564-8_35","type":"book-chapter","created":{"date-parts":[[2013,9,12]],"date-time":"2013-09-12T07:21:30Z","timestamp":1378970490000},"page":"348-360","source":"Crossref","is-referenced-by-count":10,"title":["Ricochet Robots: A Transverse ASP Benchmark"],"prefix":"10.1007","author":[{"given":"Martin","family":"Gebser","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Holger","family":"Jost","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roland","family":"Kaminski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philipp","family":"Obermeier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Orkunt","family":"Sabuncu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Torsten","family":"Schaub","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Schneider","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"35_CR1","doi-asserted-by":"crossref","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press (2003)","DOI":"10.1017\/CBO9780511543357"},{"key":"35_CR2","unstructured":"Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.): Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications, vol.\u00a0185. IOS Press (2009)"},{"key":"35_CR3","unstructured":"Butko, N., Lehmann, K., Ramenzoni, V.: Ricochet Robots \u2014 a case study for human complex problem solving. In: Proceedings of the Annual Santa Fe Institute Summer School on Complex Systems, CSSS 2005 (2005)"},{"key":"35_CR4","unstructured":"Engels, B., Kamphans, T.: On the complexity of Randolph\u2019s robot game. Research Report 005, Institut f\u00fcr Informatik, Universit\u00e4t Bonn (2005)"},{"key":"35_CR5","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.endm.2006.06.062","volume":"25","author":"B. Engels","year":"2006","unstructured":"Engels, B., Kamphans, T.: Randolph\u2019s robot game is NP-hard! Electronic Notes in Discrete Mathematics\u00a025, 49\u201353 (2006)","journal-title":"Electronic Notes in Discrete Mathematics"},{"key":"35_CR6","unstructured":"Engels, B., Kamphans, T.: Randolph\u2019s robot game is NP-complete! In: Proceedings of the Twenty-second European Workshop on Computational Geometry, EWCG 2006, pp. 157\u2013160 (2006)"},{"issue":"1-2","key":"35_CR7","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0004-3702(02)00186-8","volume":"138","author":"V. Lifschitz","year":"2002","unstructured":"Lifschitz, V.: Answer set programming and plan generation. Artificial Intelligence\u00a0138(1-2), 39\u201354 (2002)","journal-title":"Artificial Intelligence"},{"key":"35_CR8","doi-asserted-by":"crossref","unstructured":"Gebser, M., Kaminski, R., K\u00f6nig, A., Schaub, T.: Advances in gringo series 3. In: [21], pp. 345\u2013351","DOI":"10.1007\/978-3-642-20895-9_39"},{"key":"35_CR9","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Thiele, S.: A user\u2019s guide to gringo, clasp, clingo, and iclingo, \n                  \n                    http:\/\/potassco.sourceforge.net"},{"key":"35_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-540-89982-2_23","volume-title":"Logic Programming","author":"M. Gebser","year":"2008","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Thiele, S.: Engineering an incremental ASP solver. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 190\u2013205. Springer, Heidelberg (2008)"},{"key":"35_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-642-30743-0_20","volume-title":"Correct Reasoning","author":"M. Gebser","year":"2012","unstructured":"Gebser, M., Kaufmann, R., Schaub, T.: Gearing up for effective ASP planning. In: Erdem, E., Lee, J., Lierler, Y., Pearce, D. (eds.) Correct Reasoning. LNCS, vol.\u00a07265, pp. 296\u2013310. Springer, Heidelberg (2012)"},{"key":"35_CR12","doi-asserted-by":"crossref","unstructured":"Gebser, M., Grote, T., Kaminski, R., Schaub, T.: Reactive answer set programming. In: [21], pp. 54\u201366","DOI":"10.1007\/978-3-642-20895-9_7"},{"key":"35_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/978-3-642-25566-3_40","volume-title":"Learning and Intelligent Optimization","author":"F. Hutter","year":"2011","unstructured":"Hutter, F., Hoos, H.H., Leyton-Brown, K.: Sequential model-based optimization for general algorithm configuration. In: Coello Coello, C.A. (ed.) LION 2011. LNCS, vol.\u00a06683, pp. 507\u2013523. Springer, Heidelberg (2011)"},{"issue":"4-5","key":"35_CR14","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1017\/S1471068412000166","volume":"12","author":"M. Gebser","year":"2012","unstructured":"Gebser, M., Kaufmann, B., Schaub, T.: Multi-threaded ASP solving with clasp. Theory and Practice of Logic Programming\u00a012(4-5), 525\u2013545 (2012)","journal-title":"Theory and Practice of Logic Programming"},{"key":"35_CR15","doi-asserted-by":"crossref","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T., Schneider, M., Ziller, S.: A portfolio solver for answer set programming: Preliminary report. In: [21], pp. 352\u2013357","DOI":"10.1007\/978-3-642-20895-9_40"},{"key":"35_CR16","unstructured":"Silverthorn, B., Lierler, Y., Schneider, M.: Surviving solver sensitivity: An ASP practitioner\u2019s guide. In: [22], pp. 164\u2013175"},{"key":"35_CR17","doi-asserted-by":"crossref","unstructured":"Hutter, F., Babi\u0107, D., Hoos, H., Hu, A.: Boosting verification by automatic tuning of decision procedures. In: Proceedings of the Seventh Conference on Formal Methods in Computer-Aided Design, FMCAD 2007, pp. 27\u201334. IEEE Computer Society Press (2007)","DOI":"10.1109\/FAMCAD.2007.9"},{"key":"35_CR18","unstructured":"Vallati, M., Fawcett, C., Gerevini, A., Hoos, H., Saetti, A.: Generating fast domain-specific planners by automatically configuring a generic parameterised planner. In: Proceedings of the Twenty-First ICAPS Workshop on Planning and Learning, PAL 2011, pp. 21\u201327 (2011)"},{"key":"35_CR19","unstructured":"Andres, B., Kaufmann, B., Matheis, O., Schaub, T.: Unsatisfiability-based optimization in clasp. In: [22], pp. 212\u2013221"},{"key":"35_CR20","unstructured":"Potassco Labs, \n                  \n                    http:\/\/potassco.sourceforge.net\/labs.html"},{"key":"35_CR21","series-title":"Lecture Notes in Computer Science","volume-title":"Logic Programming and Nonmonotonic Reasoning","year":"2011","unstructured":"Delgrande, J., Faber, W. (eds.): LPNMR 2011. LNCS, vol.\u00a06645. Springer, Heidelberg (2011)"},{"key":"35_CR22","unstructured":"Dovier, A., Santos Costa, V. (eds.): Technical Communications of the Twenty-Eighth International Conference on Logic Programming, ICLP 2012. Leibniz International Proceedings in Informatics, vol.\u00a017. Schloss Dagstuhl (2012)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40564-8_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T02:08:25Z","timestamp":1558058905000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40564-8_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405631","9783642405648"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40564-8_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}