{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T20:55:06Z","timestamp":1743108906714,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642369063"},{"type":"electronic","value":"9783642369070"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36907-0_15","type":"book-chapter","created":{"date-parts":[[2013,4,10]],"date-time":"2013-04-10T01:53:16Z","timestamp":1365558796000},"page":"218-233","source":"Crossref","is-referenced-by-count":2,"title":["Timeline Planning in the J-TRE Environment"],"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","reference":[{"key":"15_CR1","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 (2000)"},{"key":"15_CR2","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 (2010)","DOI":"10.1609\/icaps.v20i1.13410"},{"key":"15_CR3","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, pp. 61\u201367 (1994)"},{"issue":"2","key":"15_CR4","first-page":"231","volume":"18","author":"S. Fratini","year":"2008","unstructured":"Fratini, S., Pecora, F., Cesta, A.: Unifying Planning and Scheduling as Timelines in a Component-Based Perspective. Archives of Control Sciences\u00a018(2), 231\u2013271 (2008)","journal-title":"Archives of Control Sciences"},{"key":"15_CR5","unstructured":"Cesta, A., Cortellessa, G., Fratini, S., Oddi, A.: Developing an End-to-End Planning Application from a Timeline Representation Framework. In: Proc. of the 21st Conf. on Innovative Applications of Artificial Intelligence, IAAI 2009 (2009)"},{"issue":"4","key":"15_CR6","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1023\/A:1025842019552","volume":"8","author":"J. Frank","year":"2003","unstructured":"Frank, J., Jonsson, A.: Constraint-Based Attribute and Interval Planning. Constraints\u00a08(4), 339\u2013364 (2003)","journal-title":"Constraints"},{"key":"15_CR7","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\u00a020, 61\u2013124 (2003)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"15_CR8","unstructured":"Cesta, A., Oddi, A.: Gaining Efficiency and Flexibility in the Simple Temporal Problem. In: TIME 1996: Proc. of the 3rd Int. Workshop on Temporal Representation and Reasoning (1996)"},{"key":"15_CR9","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\u00a0143, 151\u2013188 (2003)","journal-title":"Artificial Intelligence"},{"issue":"4","key":"15_CR10","first-page":"27","volume":"15","author":"D.S. Weld","year":"1994","unstructured":"Weld, D.S.: An Introduction to Least Commitment Planning. AI Magazine\u00a015(4), 27\u201361 (1994)","journal-title":"AI Magazine"},{"key":"15_CR11","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/S0004-3702(96)00047-1","volume":"90","author":"A. Blum","year":"1997","unstructured":"Blum, A., Furst, M.L.: Fast Planning Through Planning Graph Analysis. Artificial Intelligence\u00a090, 281\u2013300 (1997)","journal-title":"Artificial Intelligence"},{"key":"15_CR12","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\u00a0129, 5\u201333 (2001)","journal-title":"Artificial Intelligence"},{"key":"15_CR13","unstructured":"Muscettola, N.: HSTS: Integrating Planning and Scheduling. In: Zweben, M., Fox, M.S. (eds.) Intelligent Scheduling. Morgan Kaufmann (1994)"},{"issue":"11","key":"15_CR14","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J.F. Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining Knowledge about Temporal Intervals. Commun. ACM\u00a026(11), 832\u2013843 (1983)","journal-title":"Commun. ACM"},{"key":"15_CR15","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":"15_CR16","unstructured":"Dechter, R.: Constraint Processing. Morgan Kaufmann (2003)"},{"key":"15_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1007\/978-3-540-24605-3_37","volume-title":"Theory and Applications of Satisfiability Testing","author":"N. E\u00e9n","year":"2004","unstructured":"E\u00e9n, N., S\u00f6rensson, N.: An Extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol.\u00a02919, pp. 502\u2013518. Springer, Heidelberg (2004)"},{"issue":"4","key":"15_CR18","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/s10601-010-9095-y","volume":"15","author":"E. Di Rosa","year":"2010","unstructured":"Di Rosa, E., Giunchiglia, E., Maratea, M.: Solving Satisfiability Problems with Preferences. Constraints\u00a015(4), 485\u2013515 (2010)","journal-title":"Constraints"},{"issue":"3-4","key":"15_CR19","first-page":"141","volume":"3","author":"R. Sebastiani","year":"2007","unstructured":"Sebastiani, R.: Lazy Satisability Modulo Theories. JSAT\u00a03(3-4), 141\u2013224 (2007)","journal-title":"JSAT"},{"key":"15_CR20","unstructured":"Ceballos, A., Bensalem, S., Cesta, A., de Silva, L., Fratini, S., Ingrand, F., Ocon, J., Orlandini, A., Py, F., Rajan, K., Rasconi, R., van Winnendael, M.: A Goal-oriented Autonomous Controller for Space Exploration. In: Proc. 11th Symposium on Advanced Space Technologies in Robotics and Automation, ASTRA 2011 (2011)"}],"container-title":["Communications in Computer and Information Science","Agents and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36907-0_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,25]],"date-time":"2024-01-25T15:55:37Z","timestamp":1706198137000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-36907-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642369063","9783642369070"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36907-0_15","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}