{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T16:52:02Z","timestamp":1725987122568},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319989372"},{"type":"electronic","value":"9783319989389"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-98938-9_18","type":"book-chapter","created":{"date-parts":[[2018,8,8]],"date-time":"2018-08-08T15:08:34Z","timestamp":1533740914000},"page":"316-325","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Task Planning with OMT: An\u00a0Application to Production Logistics"],"prefix":"10.1007","author":[{"given":"Francesco","family":"Leofante","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erika","family":"\u00c1brah\u00e1m","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Armando","family":"Tacchella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,9]]},"reference":[{"key":"18_CR1","unstructured":"EXplainable AI Planning (2018). http:\/\/icaps18.icaps-conference.org\/xaip\/"},{"key":"18_CR2","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"issue":"1","key":"18_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10009-013-0294-x","volume":"16","author":"S Bensalem","year":"2014","unstructured":"Bensalem, S., Havelund, K., Orlandini, A.: Verification and validation meet planning and scheduling. STTT 16(1), 1\u201312 (2014)","journal-title":"STTT"},{"key":"18_CR4","unstructured":"Bit-Monnot, A., Leofante, F., Pulina, L., \u00c1brah\u00e1m, E., Tacchella, A.: SMarTplan: a task planner for smart factories. CoRR abs\/1806.07135 (2018)"},{"key":"18_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-662-46681-0_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"N Bj\u00f8rner","year":"2015","unstructured":"Bj\u00f8rner, N., Phan, A.-D., Fleckenstein, L.: $$\\nu $$z - An optimizing SMT solver. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 194\u2013199. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-46681-0_14"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Cashmore, M., Fox, M., Long, D., Magazzeni, D.: A compilation of the full PDDL+ language into SMT. In: Proceedings of ICAPS 2016, pp. 79\u201387 (2016)","DOI":"10.1609\/icaps.v26i1.13755"},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/978-3-662-54577-5_4","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Cimatti","year":"2017","unstructured":"Cimatti, A., Griggio, A., Irfan, A., Roveri, M., Sebastiani, R.: Invariant checking of NRA transition systems via incremental reduction to LRA with EUF. In: Legay, A., Margaria, T. (eds.) TACAS 2017. LNCS, vol. 10205, pp. 58\u201375. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-54577-5_4"},{"key":"18_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-319-63046-5_7","volume-title":"Automated Deduction \u2013 CADE 26","author":"A Cimatti","year":"2017","unstructured":"Cimatti, A., Griggio, A., Irfan, A., Roveri, M., Sebastiani, R.: Satisfiability modulo transcendental functions via incremental linearization. In: de Moura, L. (ed.) CADE 2017. LNCS (LNAI), vol. 10395, pp. 95\u2013113. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63046-5_7"},{"key":"18_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-3-642-36742-7_7","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Cimatti","year":"2013","unstructured":"Cimatti, A., Griggio, A., Schaafsma, B.J., Sebastiani, R.: The mathSAT5 SMT solver. In: Piterman, N., Smolka, S.A. (eds.) TACAS 2013. LNCS, vol. 7795, pp. 93\u2013107. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-36742-7_7"},{"key":"18_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/978-3-319-24318-4_26","volume-title":"Theory and Applications of Satisfiability Testing \u2013 SAT 2015","author":"F Corzilius","year":"2015","unstructured":"Corzilius, F., Kremer, G., Junges, S., Schupp, S., \u00c1brah\u00e1m, E.: SMT-RAT: an open source C++ toolbox for strategic and parallel SMT solving. In: Heule, M., Weaver, S. (eds.) SAT 2015. LNCS, vol. 9340, pp. 360\u2013368. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-24318-4_26"},{"key":"18_CR11","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139583923","volume-title":"Automated Planning and Acting","author":"M Ghallab","year":"2016","unstructured":"Ghallab, M., Nau, D.S., Traverso, P.: Automated Planning and Acting. Cambridge University Press, Cambridge (2016)"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Gini, M.L.: Multi-robot allocation of tasks with temporal and ordering constraints. In: Proceedings of AAAI 2018, pp. 4863\u20134869 (2017)","DOI":"10.1609\/aaai.v31i1.11145"},{"issue":"2","key":"18_CR13","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1609\/aimag.v34i2.2450","volume":"34","author":"Y Hamadi","year":"2013","unstructured":"Hamadi, Y., Wintersteiger, C.M.: Seven challenges in parallel SAT solving. AI Mag. 34(2), 99\u2013106 (2013)","journal-title":"AI Mag."},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Hofmann, T., Niemueller, T., Cla\u00dfen, J., Lakemeyer, G.: Continual planning in Golog. In: Proceeding of AAAI 2016, pp. 3346\u20133353 (2016)","DOI":"10.1609\/aaai.v30i1.10414"},{"key":"18_CR15","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-319-63516-3_5","volume-title":"Handbook of Parallel Constraint Reasoning","author":"AEJ Hyv\u00e4rinen","year":"2018","unstructured":"Hyv\u00e4rinen, A.E.J., Wintersteiger, C.M.: Parallel satisfiability modulo theories. In: Hamadi, Y., Sais, L. (eds.) Handbook of Parallel Constraint Reasoning, pp. 141\u2013178. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-63516-3_5"},{"key":"18_CR16","unstructured":"Kautz, H.A., Selman, B.: Planning as satisfiability. In: ECAI, pp. 359\u2013363 (1992)"},{"key":"18_CR17","unstructured":"Krizhevsky, A., Sutskever, I., Hinton, G.E.: Imagenet classification with deep convolutional neural networks. In: Proceedings of NIPS 2012, pp. 1097\u20131105 (2012)"},{"key":"18_CR18","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877","volume-title":"Planning Algorithms","author":"SM LaValle","year":"2006","unstructured":"LaValle, S.M.: Planning Algorithms. Cambridge University Press, Cambridge (2006)"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"Leofante, F.: Guaranteed plans for multi-robot systems via optimization modulo theories. In: Proceedings of AAAI 2018 (2018)","DOI":"10.1609\/aaai.v32i1.11350"},{"key":"18_CR20","doi-asserted-by":"crossref","unstructured":"Leofante, F.: Optimal multi-robot task planning: from synthesis to execution (and back). In: Proceeding of IJCAI 2018 (2018, to appear)","DOI":"10.24963\/ijcai.2018\/829"},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"Leofante, F., \u00c1brah\u00e1m, E., Niemueller, T., Lakemeyer, G., Tacchella, A.: On the synthesis of guaranteed-quality plans for robot fleets in logistics scenarios via optimization modulo theories. In: Proceedings of IRI 2017, pp. 403\u2013410 (2017)","DOI":"10.1109\/IRI.2017.67"},{"key":"18_CR22","series-title":"Information Systems Frontiers","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10796-018-9858-3","volume-title":"Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics","author":"F Leofante","year":"2018","unstructured":"Leofante, F., \u00c1brah\u00e1m, E., Niemueller, T., Lakemeyer, G., Tacchella, A.: Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics. Information Systems Frontiers, pp. 1\u201321. Springer, New York (2018). https:\/\/doi.org\/10.1007\/s10796-018-9858-3"},{"key":"18_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24"},{"key":"18_CR24","unstructured":"Niemueller, T., Karpas, E., Vaquero, T., Timmons, E.: Planning competition for logistics robots in simulation. In: Proceeding of PlanRob@ICAPS 2016 (2016)"},{"key":"18_CR25","unstructured":"Niemueller, T., Lakemeyer, G., Ferrein, A.: Incremental task-level reasoning in a competitive factory automation scenario. In: AAAI Spring Symposium - Designing Intelligent Robots: Reintegrating AI (2013)"},{"key":"18_CR26","doi-asserted-by":"crossref","unstructured":"Niemueller, T., Lakemeyer, G., Ferrein, A.: The RoboCup Logistics League as a benchmark for planning in robotics. In: Proceeding of PlanRob@ICAPS 2015 (2015)","DOI":"10.1007\/978-3-319-29339-4_31"},{"key":"18_CR27","unstructured":"Niemueller, T., Lakemeyer, G., Leofante, F., \u00c1brah\u00e1m, E.: Towards CLIPS-based task execution and monitoring with SMT-based decision optimization. In: Proceedings of PlanRob@ICAPS 2017 (2017)"},{"key":"18_CR28","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/j.robot.2016.10.008","volume":"90","author":"E Nunes","year":"2017","unstructured":"Nunes, E., Manner, M.D., Mitiche, H., Gini, M.L.: A taxonomy for task allocation problems with temporal and ordering constraints. Robot. Auton. Syst. 90, 55\u201370 (2017)","journal-title":"Robot. Auton. Syst."},{"issue":"3","key":"18_CR29","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1108\/eb004501","volume":"5","author":"R Popplestone","year":"1978","unstructured":"Popplestone, R., Ambler, A., Bellos, I.: RAPT: a language for describing assemblies. Ind. Robot Int. J. 5(3), 131\u2013137 (1978)","journal-title":"Ind. Robot Int. J."},{"key":"18_CR30","unstructured":"RCLL Technical Committee: RoboCup Logistics League \u2013 Rules and regulations 2017 (2017)"},{"issue":"2","key":"18_CR31","doi-asserted-by":"publisher","first-page":"12:1","DOI":"10.1145\/2699915","volume":"16","author":"R Sebastiani","year":"2015","unstructured":"Sebastiani, R., Tomasi, S.: Optimization modulo theories with linear rational costs. ACM Trans. Comput. Log. 16(2), 12:1\u201312:43 (2015)","journal-title":"ACM Trans. Comput. Log."},{"key":"18_CR32","doi-asserted-by":"crossref","unstructured":"Sebastiani, R., Trentin, P.: OptiMathSAT: a tool for optimization modulo theories. In: Proceedings of CAV 2015, pp. 447\u2013454 (2015)","DOI":"10.1007\/978-3-319-21690-4_27"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-98938-9_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T07:01:57Z","timestamp":1693810917000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-98938-9_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319989372","9783319989389"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-98938-9_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}