{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:48:03Z","timestamp":1725536883383},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642042379"},{"type":"electronic","value":"9783642042386"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-04238-6_37","type":"book-chapter","created":{"date-parts":[[2009,8,31]],"date-time":"2009-08-31T04:23:01Z","timestamp":1251692581000},"page":"423-429","source":"Crossref","is-referenced-by-count":2,"title":["Representing Multi-agent Planning in CLP"],"prefix":"10.1007","author":[{"given":"Agostino","family":"Dovier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Formisano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Pontelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"37_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge representation, reasoning and declarative problem solving","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge representation, reasoning and declarative problem solving. Cambridge University Press, Cambridge (2003)"},{"key":"37_CR2","first-page":"525","volume-title":"Proc.\u00a0of FLAIRS 2008","author":"R. Bart\u00e1k","year":"2008","unstructured":"Bart\u00e1k, R., Toropila, D.: Reformulating Constraint Models for Classical Planning. In: Proc.\u00a0of FLAIRS 2008, pp. 525\u2013530. AAAI Press, Menlo Park (2008)"},{"key":"37_CR3","first-page":"105","volume":"14","author":"C. Boutilier","year":"2001","unstructured":"Boutilier, C., Brafman, R.: Partial order planning with concurrent interacting actions. J.\u00a0of Artif.\u00a0Intel.\u00a0Research\u00a014, 105\u2013136 (2001)","journal-title":"J.\u00a0of Artif.\u00a0Intel.\u00a0Research"},{"key":"37_CR4","unstructured":"Brenner, M.: Planning for Multiagent Environments: From individual perceptions to coordinated execution. In: Proc.\u00a0of\u00a0ICAPS 2005 Workshop on Multiagent Planning and Scheduling (2005)"},{"key":"37_CR5","volume-title":"Proc.\u00a0of CommonSense 2007","author":"S. Chintabathina","year":"2007","unstructured":"Chintabathina, S., Gelfond, M., Watson, R.: Defeasible laws, parallel actions, and reasoning about resources. In: Proc.\u00a0of CommonSense 2007. AAAI Press, Menlo Park (2007)"},{"key":"37_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-540-74610-2_18","volume-title":"Logic Programming","author":"A. Dovier","year":"2007","unstructured":"Dovier, A., Formisano, A., Pontelli, E.: Multivalued Action Languages with Constraints in CLP(FD). In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol.\u00a04670, pp. 255\u2013270. Springer, Heidelberg (2007)"},{"key":"37_CR7","doi-asserted-by":"crossref","unstructured":"Dovier, A., Formisano, A., Pontelli, E.: Multi-Agent Planning in CLP. In: Proc.\u00a0of CILC 2009 (2009)","DOI":"10.1007\/978-3-642-04238-6_37"},{"key":"37_CR8","first-page":"25","volume":"19","author":"T. Eiter","year":"2003","unstructured":"Eiter, T., et al.: Answer Set Planning Under Action Costs. J.\u00a0of Artif.\u00a0Intel.\u00a0Research\u00a019, 25\u201371 (2003)","journal-title":"J.\u00a0of Artif.\u00a0Intel.\u00a0Research"},{"key":"37_CR9","unstructured":"Gelfond, G., Watson, R.: Modeling Cooperative Multi-Agent Systems. In: Proc.\u00a0of ASP 2007 (2007)"},{"key":"37_CR10","first-page":"193","volume":"2","author":"M. Gelfond","year":"1998","unstructured":"Gelfond, M., Lifschitz, V.: Action languages. Electr.\u00a0Trans.\u00a0on AI\u00a02, 193\u2013210 (1998)","journal-title":"Electr.\u00a0Trans.\u00a0on AI"},{"key":"37_CR11","unstructured":"Gerevini, A., Long, D.: Plan Constraints and Preferences in PDDL3. Technical Report 2005-08-47, Dip.\u00a0di Elettronica per l\u2019Automazione, Univ.\u00a0di Brescia (2005)"},{"key":"37_CR12","doi-asserted-by":"crossref","unstructured":"Giunchiglia, E., et al.: Nonmonotonic Causal Theories. Artif. Intell.\u00a0153 (2004)","DOI":"10.1016\/j.artint.2002.12.001"},{"key":"37_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/11562931_10","volume-title":"Logic Programming","author":"J. Jaffar","year":"2005","unstructured":"Jaffar, J., Yap, R.H.C., Zhu, K.Q.: Coordination of Many Agents. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol.\u00a03668, pp. 98\u2013112. Springer, Heidelberg (2005)"},{"issue":"10","key":"37_CR14","doi-asserted-by":"publisher","first-page":"2935","DOI":"10.1016\/j.cor.2005.01.018","volume":"33","author":"C. Jefferson","year":"2006","unstructured":"Jefferson, C., et al.: Modelling and solving English Peg solitaire. Comput. Oper. Res.\u00a033(10), 2935\u20132959 (2006)","journal-title":"Comput. Oper. Res."},{"key":"37_CR15","volume-title":"Proc.\u00a0of ECAI 2004","author":"A. Kakas","year":"2004","unstructured":"Kakas, A., Torroni, P., Demetriou, N.: Agent Planning, Negotiation and Control of Operation. In: Proc.\u00a0of ECAI 2004. IOS Press, Amsterdam (2004)"},{"key":"37_CR16","first-page":"98","volume-title":"Proc.\u00a0of AIPS 1994","author":"C. Knoblock","year":"1994","unstructured":"Knoblock, C.: Generating Parallel Execution Plans with a Partial-Order Planner. In: Proc.\u00a0of AIPS 1994, pp. 98\u2013103. AAAI Press, Menlo Park (1994)"},{"key":"37_CR17","volume-title":"Proc.\u00a0of IJCAI 2003","author":"A. Lopez","year":"2003","unstructured":"Lopez, A., Bacchus, F.: Generalizing graphplan by formulating planning as a CSP. In: Proc.\u00a0of IJCAI 2003. Morgan Kaufmann, San Francisco (2003)"},{"key":"37_CR18","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems","author":"R. Reiter","year":"2001","unstructured":"Reiter, R.: Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems. MIT Press, Cambridge (2001)"},{"key":"37_CR19","doi-asserted-by":"crossref","unstructured":"Sadri, F., Toni, F.: Abductive Logic Programming for Communication and Negotiation Amongst Agents. ALP Newsletter (2003)","DOI":"10.1007\/3-540-45757-7_35"},{"key":"37_CR20","volume-title":"Proc.\u00a0of AAMAS 2006","author":"L. Sauro","year":"2006","unstructured":"Sauro, L., Gerbrandy, J., van der Hoek, W., Wooldridge, M.: Reasoning about Action and Cooperation. In: Proc.\u00a0of AAMAS 2006. ACM, New York (2006)"},{"key":"37_CR21","series-title":"LNAI","volume-title":"Proc.\u00a0of DALT 2009","author":"T.C. Son","year":"2009","unstructured":"Son, T.C., Sakama, C.: Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming. In: Proc.\u00a0of DALT 2009. LNCS (LNAI). Springer, Heidelberg (2009)"},{"key":"37_CR22","volume-title":"Proc.\u00a0of KR 2002","author":"M. Thielscher","year":"2002","unstructured":"Thielscher, M.: Programming of Reasoning and Planning Agents with FLUX. In: Proc.\u00a0of KR 2002. Morgan Kaufmann, San Francisco (2002)"},{"key":"37_CR23","doi-asserted-by":"crossref","unstructured":"Vidal, V., Geffner, H.: Branching and Pruning: An Optimal Temporal POCL Planner Based on Constraint Programming. Artif. Intell.\u00a0170 (2006)","DOI":"10.1016\/j.artint.2005.08.004"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04238-6_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T04:36:19Z","timestamp":1558499779000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04238-6_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642042379","9783642042386"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04238-6_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}