{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T21:02:49Z","timestamp":1725829369056},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319243085"},{"type":"electronic","value":"9783319243092"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24309-2_32","type":"book-chapter","created":{"date-parts":[[2015,9,8]],"date-time":"2015-09-08T06:21:33Z","timestamp":1441693293000},"page":"424-437","source":"Crossref","is-referenced-by-count":3,"title":["Integrating Logic and Constraint Reasoning in a Timeline-Based Planner"],"prefix":"10.1007","author":[{"given":"Riccardo","family":"De Benedictis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amedeo","family":"Cesta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,10,17]]},"reference":[{"key":"32_CR1","volume-title":"Constraint Logic Programming Using ECL $$^i$$ PS","author":"KR Apt","year":"2007","unstructured":"Apt, K.R., Wallace, M.G.: Constraint Logic Programming Using ECL $$^i$$ PS $$^e$$ . Cambridge University Press, New York (2007)"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"Benton, J., Coles, A., Coles, A.: Temporal planning with preferences and time-dependent continuous costs. In: Twenty-Second International Conference on Automated Planning and Scheduling (ICAPS) (2012)","DOI":"10.1609\/icaps.v22i1.13509"},{"key":"32_CR3","unstructured":"Bernardini, S., Smith, D.: Developing domain-independent search control for europa2. In: Proceedings of the Workshop on Heuristics for Domain-independent Planning at ICAPS 2007 (2007)"},{"key":"32_CR4","doi-asserted-by":"crossref","unstructured":"Blum, A., Furst, M.L.: Fast planning through planning graph analysis. In: IJCAI, pp. 1636\u20131642. Morgan Kaufmann (1995)","DOI":"10.21236\/ADA303260"},{"issue":"1\u20132","key":"32_CR5","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0004-3702(01)00108-4","volume":"129","author":"B Bonet","year":"2001","unstructured":"Bonet, B., Geffner, H.: Planning as Heuristic Search. Artificial Intelligence 129(1\u20132), 5\u201333 (2001)","journal-title":"Artificial Intelligence"},{"key":"32_CR6","doi-asserted-by":"crossref","unstructured":"Cashmore, M., Fox, M., Larkworthy, T., Long, D., Magazzeni, D.: AUV mission control via temporal planning. In: 2014 IEEE International Conference on Robotics and Automation (ICRA) (2014)","DOI":"10.1109\/ICRA.2014.6907823"},{"key":"32_CR7","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1016\/j.knosys.2013.11.011","volume":"58","author":"A Cesta","year":"2014","unstructured":"Cesta, A., Cortellessa, G., De Benedictis, R.: Training for Crisis Decision Making - An Approach Based on Plan Adaptation. Knowledge-Based Systems 58, 98\u2013112 (2014)","journal-title":"Knowledge-Based Systems"},{"key":"32_CR8","unstructured":"Cesta, A., Cortellessa, G., Fratini, S., Oddi, A.: Developing an end-to-end planning application from a timeline representation framework. In: Proceedings of the 21st Innovative Applications of Artificial Intelligence Conference (IAAI) (2009)"},{"issue":"1","key":"32_CR9","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1023\/A:1013617802515","volume":"8","author":"A Cesta","year":"2002","unstructured":"Cesta, A., Oddi, A., Smith, S.F.: A Constraint-based Method for Project Scheduling with Time Windows. Journal of Heuristics 8(1), 109\u2013136 (2002)","journal-title":"Journal of Heuristics"},{"key":"32_CR10","doi-asserted-by":"crossref","unstructured":"Chien, S., Tran, D., Rabideau, G., Schaffer, S., Mandl, D., Frye, S.: Timeline-based space operations scheduling with external constraints. In: Proc. of the 20th Int. Conf. on Automated Planning and Scheduling (ICAPS) (2010)","DOI":"10.1609\/icaps.v20i1.13410"},{"key":"32_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.3608","volume":"44","author":"AJ Coles","year":"2012","unstructured":"Coles, A.J., Coles, A.I., Fox, M., Long, D.: COLIN: Planning with Continuous Linear Numeric Change. Journal of Artificial Intelligence Research 44, 1\u201396 (2012)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"32_CR12","unstructured":"Cushing, W., Kambhampati, S., Mausam, Weld, D.S.: When is temporal planning really temporal? In: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI) (2007)"},{"key":"32_CR13","unstructured":"Cushing, W., Weld, D.S., Kambhampati, S., Mausam, Talamadupula, K.: Evaluating temporal planning domains. In: Proceedings of the 17th International Conference on Automated Planning and Scheduling (ICAPS) (2007)"},{"key":"32_CR14","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-642-36907-0_15","volume-title":"Agents and Artificial Intelligence","author":"R Benedictis De","year":"2013","unstructured":"De Benedictis, R., Cesta, A.: Timeline planning in the J-TRE environment. In: Filipe, J., Fred, A. (eds.) ICAART 2012. CCIS, vol. 358, pp. 218\u2013233. Springer, Heidelberg (2013)"},{"key":"32_CR15","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.S.: Z3: An efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"32_CR16","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1613\/jair.1129","volume":"20","author":"M Fox","year":"2003","unstructured":"Fox, M., Long, D.: PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains. Journal of Artificial Intelligence Research 20, 61\u2013124 (2003)","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"4","key":"32_CR17","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1023\/A:1025842019552","volume":"8","author":"J Frank","year":"2003","unstructured":"Frank, J., J\u00f3nsson, A.K.: Constraint-Based Attribute and Interval Planning. Constraints 8(4), 339\u2013364 (2003)","journal-title":"Constraints"},{"key":"32_CR18","unstructured":"Ghallab, M., Laruelle, H.: Representation and control in IxTeT, a temporal planner. In: Proceedings of the 2nd Int. Conf. on AI Planning and Scheduling (AIPS) (1994)"},{"issue":"3","key":"32_CR19","first-page":"57","volume":"22","author":"J Hoffmann","year":"2001","unstructured":"Hoffmann, J.: FF: The Fast-Forward Planning System. AI Magazine 22(3), 57\u201362 (2001)","journal-title":"AI Magazine"},{"key":"32_CR20","unstructured":"Jonsson, A., Morris, P., Muscettola, N., Rajan, K., Smith, B.: Planning in interplanetary space: theory and practice. In: Proceedings of the Fifth Int. Conf. on AI Planning and Scheduling (AIPS) (2000)"},{"key":"32_CR21","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/S0004-3702(02)00362-4","volume":"143","author":"P Laborie","year":"2003","unstructured":"Laborie, P.: Algorithms for propagating resource constraints in AI planning and scheduling: existing approaches and new results. Artificial Intelligence 143, 151\u2013188 (2003)","journal-title":"Artificial Intelligence"},{"issue":"4","key":"32_CR22","doi-asserted-by":"publisher","first-page":"445","DOI":"10.3166\/ria.24.445-464","volume":"24","author":"F Maris","year":"2010","unstructured":"Maris, F., R\u00e9gnier, P.: Planification temporellement expressive. TLP-GP, un planificateur pour la r\u00e9solution de probl\u00e8mes temporellement expressifs. Revue d\u2019Intelligence Artificielle 24(4), 445\u2013464 (2010)","journal-title":"Revue d\u2019Intelligence Artificielle"},{"key":"32_CR23","unstructured":"Muscettola, N.: HSTS: Integrating planning and scheduling. In: Zweben, M. and Fox, M.S. (ed.) Intelligent Scheduling. Morgan Kauffmann (1994)"},{"key":"32_CR24","unstructured":"Py, F., Rajan, K., McGann, C.: A systematic agent framework for situated autonomous systems. In: 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS) (2010)"},{"key":"32_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-642-33353-8_14","volume-title":"Logics in Artificial Intelligence","author":"MF Rankooh","year":"2012","unstructured":"Rankooh, M.F., Mahjoob, A., Ghassem-Sani, G.: Using satisfiability for non-optimal temporal planning. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS, vol. 7519, pp. 176\u2013188. Springer, Heidelberg (2012)"},{"issue":"1","key":"32_CR26","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"JA Robinson","year":"1965","unstructured":"Robinson, J.A.: A Machine-Oriented Logic Based on the Resolution Principle. Journal of the Association for Computing Machinery 12(1), 23\u201341 (1965)","journal-title":"Journal of the Association for Computing Machinery"},{"key":"32_CR27","first-page":"141","volume":"3","author":"R Sebastiani","year":"2007","unstructured":"Sebastiani, R.: Lazy Satisfiability Modulo Theories. JSAT 3, 141\u2013224 (2007)","journal-title":"JSAT"},{"key":"32_CR28","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1613\/jair.1136","volume":"20","author":"RG Simmons","year":"2003","unstructured":"Simmons, R.G., Younes, H.L.S.: VHPOP: Versatile Heuristic Partial Order Planner. J. Artif. Intell. Res. 20, 405\u2013430 (2003)","journal-title":"J. Artif. Intell. Res."},{"issue":"4","key":"32_CR29","first-page":"27","volume":"15","author":"DS Weld","year":"1994","unstructured":"Weld, D.S.: An Introduction to Least Commitment Planning. AI Magazine 15(4), 27\u201361 (1994)","journal-title":"AI Magazine"}],"container-title":["Lecture Notes in Computer Science","AI*IA 2015 Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24309-2_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,13]],"date-time":"2023-08-13T21:22:25Z","timestamp":1691961745000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24309-2_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319243085","9783319243092"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24309-2_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}