{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:46:44Z","timestamp":1752461204515},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441205"},{"type":"electronic","value":"9783540461357"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46135-3_4","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T01:59:47Z","timestamp":1179194387000},"page":"47-62","source":"Crossref","is-referenced-by-count":2,"title":["Temporal Planning through Mixed Integer Programming: A Preliminary Report"],"prefix":"10.1007","author":[{"given":"Yannis","family":"Dimopoulos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alfonso","family":"Gerevini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,2]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"J. Allen. Temporal reasoning and planning. In J. Allen, H. Kautz, R. Pelavin, and J. Tenenberg, editors, Reasoning about Plans, San Mateo, CA, 1991. Morgan Kaufmann.","DOI":"10.1016\/B978-1-55860-137-6.50007-8"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"P. Barth and A. Bockmayr. Modelling discrete optimisation problems in constraint logic programming. Annals of Operations Research, 81, 1998.","DOI":"10.1023\/A:1018981813157"},{"key":"4_CR3","unstructured":"Y. Dimopoulos. Improved integer programming models and heuristic search for AI planning. In Proceedings of ECP-01. Springer Verlag, 2001."},{"key":"4_CR4","unstructured":"M. B. Do and S. Kambhampati. Sapa: A domain-independent heuristic metric temporal planner. In Proceedings of ECP-01. Springer Verlag, 2001."},{"key":"4_CR5","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1613\/jair.544","volume":"9","author":"M. Fox","year":"1998","unstructured":"M. Fox and D. Long. The automatic inference of state invariants in TIM. JAIR, 9:367\u2013421, 1998.","journal-title":"JAIR"},{"key":"4_CR6","volume-title":"Technical report","author":"M. Fox","year":"2001","unstructured":"M. Fox and D. Long. PDDL2.1: An extension to PDDL for expressing temporal planning domains. Technical report, University of Durham, UK, 2001."},{"key":"4_CR7","unstructured":"A. Gerevini and L. Schubert. Inferring state constraints for domain-independent planning. In Proceedings of AAAI-98, 1998."},{"key":"4_CR8","unstructured":"A. Gerevini and L. Schubert. Discovering state constraints in DISCOPLAN: Some new results. In Proceedings of AAAI-00, 2000."},{"key":"4_CR9","unstructured":"A. Gerevini and I. Serina. LPG: a planner based on planning graphs with action costs. In Proceedings of AIPS\u201902, 2002."},{"key":"4_CR10","unstructured":"P. Haslum and H. Geffner. Heuristic planning with time and resources. In Proceedings of ECP-01. Springer Verlag, 2001."},{"key":"4_CR11","unstructured":"H. Kautz and J. Walser. State-space planning by integer optimization. In Proceedings of AAAI-99, 1999."},{"key":"4_CR12","unstructured":"J. Penberthy and D. Weld. Temporal planning with continuous change. In Proceedings of AAAI-94, pages 1010\u20131015, Seattle, WA, 1994. Morgan Kaufmann."},{"key":"4_CR13","unstructured":"D. Smith and D. Weld. Temporal planning with mutual exclusive reasoning. In Proceedings of IJCAI-99, 1999."},{"key":"4_CR14","unstructured":"E. Tsang. Plan generation in a temporal framework. In Proceedings of ECAI-96, pages 479\u2013493, 1986."},{"key":"4_CR15","unstructured":"T. Vossen, M. Ball, A. Lotem, and D. Nau. On the use of integer programming models in AI planning. In Proceedings of IJCAI-99, 1999."},{"key":"4_CR16","unstructured":"D. Weld. Recent advances in AI planning. AI Magazine, 20(2), 1999."},{"key":"4_CR17","unstructured":"S. Wolfman and D. Weld. The LPSAT engine and its application to resource planning. In Proceedings of IJCAI-99, 1999."},{"key":"4_CR18","unstructured":"L. Wolsey. Integer Programming. John Wiley and Sons, 1998."}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming - CP 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46135-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T20:25:25Z","timestamp":1556396725000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46135-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441205","9783540461357"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-46135-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2002]]}}}