{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:02:35Z","timestamp":1725570155113},"publisher-location":"London","reference-count":17,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9780857291295"},{"type":"electronic","value":"9780857291301"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-0-85729-130-1_10","type":"book-chapter","created":{"date-parts":[[2010,11,11]],"date-time":"2010-11-11T19:14:28Z","timestamp":1289502868000},"page":"137-150","source":"Crossref","is-referenced-by-count":0,"title":["Extending SATPLAN to Multiple Agents"],"prefix":"10.1007","author":[{"given":"Yannis","family":"Dimopoulos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muhammad Adnan","family":"Hashmi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavlos","family":"Moraitis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,10,29]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Boutilier, G., Brafman, R.: Partial-order planning with concurrent interacting actions. Journal of Artificial Intelligence Research 14 (2001)","DOI":"10.1613\/jair.740"},{"issue":"1","key":"10_CR2","first-page":"5","volume":"12","author":"M.J. Katz","year":"1993","unstructured":"Katz, M.J., Rosenschein, J.S.: The generation and execution of plans for multiple agents. Computers and Artificial Intelligence 12(1) (1993) 5\u201335","journal-title":"Computers and Artificial Intelligence"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Ephrati, E., Rosenschein, J.: Divide and conquer in multi-agent planning. In: AAAI94. (1994)","DOI":"10.1007\/978-94-011-1132-4_20"},{"key":"10_CR4","unstructured":"Tsamardinos, I., Pollack, M., Horty, J.: Merging plans with quantitative temporal constraints, temporally extented actions and conditional branches. In: AIPS00. (2000)"},{"issue":"2","key":"10_CR5","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0004-3702(02)00273-4","volume":"142","author":"H. Tonino","year":"2002","unstructured":"Tonino, H., Bos, A., Weerdt, M.D., Witteveen, C.: Plan coordination by revision in collective agent-based systems. Artificial Intelligence 142,2 (2002) 121\u2013145","journal-title":"Artificial Intelligence"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Cox, J., Durfee, E.: Discovering and exploiting synergy between hierarchical planning agents. In: AAMAS03. (2003)","DOI":"10.1145\/860575.860621"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Cox, J., Durfee, E.: An efficient algorithm for multiagent plan coordination. In: AAMAS05. 2005)","DOI":"10.1145\/1082473.1082599"},{"key":"10_CR8","first-page":"8","volume":"4196","author":"J. Steenhuisen","year":"2006","unstructured":"Steenhuisen, J., Witteveen, C., Mors, A., Valk, J.: Framework and complexity results for coordinating non-cooperative planning agents. Lecture Notes in Computer Science 4196 (2006) 8","journal-title":"Lecture Notes in Computer Science"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Ottens, B., Faltings, B.: Coordinating agent plans through distributed constraint optimization. In: 18th International Conference On Automated Planning And Scheduling, ICAPS. (2008)","DOI":"10.1109\/WIIAT.2008.177"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Dimopoulos, Y., Moraitis, P.: Multi-agent coordination and cooperation through classical planning. In: Proceedings of the IEEE\/WIC\/ACM Intern. Conf. on Intelligent Agent Technology IAT). (2006) 398\u2013402","DOI":"10.1109\/IAT.2006.90"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"A.Mali: Plan merging and plan reuse as satisfiability. In: 5th European Conference on Planning, ECP99. (1999)","DOI":"10.1007\/10720246_7"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Iwen, M., Mali, A.: Distributed graphplan. In: Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI2002). (2002) 138\u2013145","DOI":"10.1109\/TAI.2002.1180798"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Blum, A., Furst, M.: Fast planning through planning graph analysis. Artificial Intelligence Journal 90(1-2) (1997)","DOI":"10.1016\/S0004-3702(96)00047-1"},{"key":"10_CR14","unstructured":"Kautz, H., McAllester, D., Selman, B.: Encoding plans in propositional logic. In: Principles of Knowledge Representation and Reasoning, KR. (1996)"},{"key":"10_CR15","unstructured":"Gerevini, A.: 5th international planning competition: Results of the deterministic truck. Available from http:\/\/zeus.ing.unibs.it\/ipc-5\/"},{"key":"10_CR16","unstructured":"Kautz, H., Selman, B., Hoffmann, J.: SATPLAN: Planning as satisfiability. In: Booklet of the 006 International Planning Competition. (2006) Available from http:\/\/zeus.ing.unibs.it\/ipc-\/publication.html ."},{"key":"10_CR17","unstructured":"Weld, D.: An introduction to least commitment planning. AI Magazine 15(4) (1994)"}],"container-title":["Research and Development in Intelligent Systems XXVII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-85729-130-1_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,13]],"date-time":"2021-11-13T12:05:56Z","timestamp":1636805156000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-85729-130-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10,29]]},"ISBN":["9780857291295","9780857291301"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-0-85729-130-1_10","relation":{},"subject":[],"published":{"date-parts":[[2010,10,29]]}}}