{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T00:56:25Z","timestamp":1725756985124},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642451102"},{"type":"electronic","value":"9783642451119"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-45111-9_40","type":"book-chapter","created":{"date-parts":[[2013,11,15]],"date-time":"2013-11-15T11:30:38Z","timestamp":1384515038000},"page":"466-477","source":"Crossref","is-referenced-by-count":2,"title":["On Modeling Planning Problems: Experience from the Petrobras Challenge"],"prefix":"10.1007","author":[{"given":"Roman","family":"Bart\u00e1k","sequence":"first","affiliation":[]},{"given":"Neng-Fa","family":"Zhou","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"40_CR1","unstructured":"B-Prolog, \n                      \n                        http:\/\/www.probp.com"},{"key":"40_CR2","unstructured":"International Planning Competitions, \n                      \n                        http:\/\/ipc.icaps-conference.org"},{"key":"40_CR3","unstructured":"Picat, \n                      \n                        http:\/\/www.picat-lang.org"},{"key":"40_CR4","unstructured":"Bart\u00e1k, R.: On Constraint Models for Parallel Planning: The Novel Transition Scheme. In: Proceedings of SCAI 2011. Frontiers of Artificial Intelligence, vol.\u00a0227, pp. 50\u201359. IOS Press (2011)"},{"key":"40_CR5","doi-asserted-by":"crossref","first-page":"581","DOI":"10.1613\/jair.1696","volume":"24","author":"A. Botea","year":"2005","unstructured":"Botea, A., Enzenberger, M., Muller, M., Schaeffer, J.: Macro-FF: Improving AI planning with automatically learned macro-operators. Journal of Artificial Intelligence Research\u00a024, 581\u2013621 (2005)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"40_CR6","unstructured":"Chaslot, G., Bakkes, S., Szita, I., Spronck, P.: Monte-Carlo tree search: A new framework for game AI. In: Proceedings of the Fourth Artificial Intelligence and Interactive Digital Entertainment Conference. The AAAI Press (2008)"},{"key":"40_CR7","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1109\/TIME.1999.777971","volume-title":"Proceedings of the Sixth International Workshop on Temporal Representation and Reasoning (TIME 1999)","author":"P. Doherty","year":"1999","unstructured":"Doherty, P., Kvarnstr\u00f6m, J.: TALplanner: An empirical investigation of a temporal logic-based forward chaining planner. In: Proceedings of the Sixth International Workshop on Temporal Representation and Reasoning (TIME 1999), pp. 47\u201354. IEEE Computer Society Press, Orlando (1999)"},{"key":"40_CR8","doi-asserted-by":"crossref","unstructured":"Dvo\u0159\u00e1k, F., Bart\u00e1k, R.: Integrating time and resources into planning. In: Proceedings of ICTAI 2010, vol.\u00a02, pp. 71\u201378. IEEE Computer Society (2010)","DOI":"10.1109\/ICTAI.2010.86"},{"key":"40_CR9","unstructured":"Erol, K., Hendler, J., Nau, D.: HTN Planning: Complexity and Expressivity. In: Proceedings of AAAI 1994, pp. 1123\u20131128 (1994)"},{"key":"40_CR10","unstructured":"Gerevini, A., Long, D.: BNF description of PDDL 3.0 (2005), \n                      \n                        http:\/\/cs-www.cs.yale.edu\/homes\/dvm\/papers\/pddl-bnf.pdf"},{"key":"40_CR11","unstructured":"Hsu, C., Wah, B.W.: The SGPlan planning system in IPC-6 (2008), \n                      \n                        http:\/\/wah.cse.cuhk.edu.hk\/wah\/Wah\/papers\/C168\/C168.pdf"},{"key":"40_CR12","unstructured":"Kovacs, D.L.: BNF definition of PDDL 3.1 (2011), \n                      \n                        http:\/\/www.plg.inf.uc3m.es\/ipc2011-deterministic\/OtherContributions?action=AttachFile&do=view&target=kovacs-pddl-3.1-2011.pdf"},{"key":"40_CR13","unstructured":"Muscettola, N.: HSTS: Integrating Planning and Scheduling. In: Intelligent Scheduling. Morgan Kaufmann (1994)"},{"key":"40_CR14","doi-asserted-by":"crossref","unstructured":"Toropila, D., Dvo\u0159\u00e1k, F., Trunda, O., Hanes, M., Bart\u00e1k, R.: Three Approaches to Solve the Petrobras Challenge: Exploiting Planning Techniques for Solving Real-Life Logistics Problems. In: Proceedings of ICTAI 2012, pp. 191\u2013198. IEEE Conference Publishing Services (2012)","DOI":"10.1109\/ICTAI.2012.34"},{"key":"40_CR15","unstructured":"Vaquero, T.S., Costa, G., Tonidandel, F., Igreja, H., Silva, J.R., Beck, C.: Planning and scheduling ship operations on petroleum ports and platform. In: Proceedings of the Scheduling and Planning Applications Workshop, pp. 8\u201316 (2012)"},{"issue":"3","key":"40_CR16","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/131295.131299","volume":"35","author":"D.S. Warren","year":"1992","unstructured":"Warren, D.S.: Memoing for Logic Programs. CACM\u00a035(3), 93\u2013111 (1992)","journal-title":"CACM"},{"key":"40_CR17","doi-asserted-by":"crossref","unstructured":"Zhou, N.-F., Dovier, A.: A Tabled Prolog Program for Solving Sokoban. In: Proceedings of the 26th Italian Conference on Computational Logic (CILC 2011), pp. 215\u2013228 (2011)","DOI":"10.1109\/ICTAI.2011.145"}],"container-title":["Lecture Notes in Computer Science","Advances in Soft Computing and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45111-9_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T04:20:56Z","timestamp":1558671656000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45111-9_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642451102","9783642451119"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45111-9_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}