{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:34:47Z","timestamp":1750307687664,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,12,3]],"date-time":"2008-12-03T00:00:00Z","timestamp":1228262400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,12,3]]},"DOI":"10.1145\/1543137.1543146","type":"proceedings-article","created":{"date-parts":[[2009,6,2]],"date-time":"2009-06-02T14:51:13Z","timestamp":1243954273000},"page":"48-55","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Evaluating AI planning for service composition in smart environments"],"prefix":"10.1145","author":[{"given":"Florian","family":"Marquardt","sequence":"first","affiliation":[{"name":"University of Rostock, Rostock, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adelinde M.","family":"Uhrmacher","sequence":"additional","affiliation":[{"name":"University of Rostock, Rostock, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,12,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11036-007-0010-8"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2004.838465"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1643031.1643111"},{"key":"e_1_3_2_1_4_1","first-page":"87","volume-title":"UbiComp 2007 Workshop Proceedings","author":"Bronsted J.","year":"2007","unstructured":"J. Bronsted , K. M. Hansen , and M. Ingstrup . A survey of service composition mechanisms in ubiquitous computing . UbiComp 2007 Workshop Proceedings , pages 87 -- 92 , 2007 . J. Bronsted, K. M. Hansen, and M. Ingstrup. A survey of service composition mechanisms in ubiquitous computing. UbiComp 2007 Workshop Proceedings, pages 87--92, 2007."},{"key":"e_1_3_2_1_5_1","series-title":"Lecture Notes In Computer Science","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1007\/3-540-39959-3_2","volume-title":"P. J. Thomas and H.-W","author":"Brumitt B.","year":"2000","unstructured":"B. Brumitt , B. Meyers , J. Krumm , A. Kern , and S. Shafer . Easyliving: Technologies for intelligent environments . In P. J. Thomas and H.-W . Gellersen, editors, Proceedings of the 2nd international symposium on Handheld and Ubiquitous Computing, volume 1927 of Lecture Notes In Computer Science , pages 12 -- 29 . Springer-Verlag London , UK, September 2000 . B. Brumitt, B. Meyers, J. Krumm, A. Kern, and S. Shafer. Easyliving: Technologies for intelligent environments. In P. J. Thomas and H.-W. Gellersen, editors, Proceedings of the 2nd international symposium on Handheld and Ubiquitous Computing, volume 1927 of Lecture Notes In Computer Science, pages 12--29. Springer-Verlag London, UK, September 2000."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/PERCOM.2008.96"},{"key":"e_1_3_2_1_7_1","volume-title":"Workshop on Planning for Web Services","author":"Carman M.","year":"2003","unstructured":"M. Carman , L. Serafini , and P. Traverso . Web service composition as planning . In Workshop on Planning for Web Services , Trento, Italy , June 2003 . M. Carman, L. Serafini, and P. Traverso. Web service composition as planning. In Workshop on Planning for Web Services, Trento, Italy, June 2003."},{"key":"e_1_3_2_1_8_1","volume-title":"Flexible &amp","author":"Dupuis R.","year":"2007","unstructured":"R. Dupuis , J. Pierson , and M. Vallee . Flexible &amp ; dynamic device usage based on software agents and semantic web technologies in an ambient home environment. Demonstration at Ubicomp 2007 , 2007. R. Dupuis, J. Pierson, and M. Vallee. Flexible & dynamic device usage based on software agents and semantic web technologies in an ambient home environment. Demonstration at Ubicomp2007, 2007."},{"key":"e_1_3_2_1_9_1","first-page":"596","volume-title":"ECAI","author":"Heider T.","year":"2002","unstructured":"T. Heider and T. Kirste . Supporting goal based interaction with dynamic intelligent environments . In ECAI , pages 596 -- 600 , 2002 . T. Heider and T. Kirste. Supporting goal based interaction with dynamic intelligent environments. In ECAI, pages 596--600, 2002."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ANSS.2007.34"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622810.1622811"},{"key":"e_1_3_2_1_12_1","first-page":"58","volume-title":"Blackbox: A new approach to the application of theorem proving to problem solving","author":"Kautz H.","year":"1998","unstructured":"H. Kautz and B. Selman . Blackbox: A new approach to the application of theorem proving to problem solving . pages 58 -- 60 , 1998 . H. Kautz and B. Selman. Blackbox: A new approach to the application of theorem proving to problem solving. pages 58--60, 1998."},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the 2nd ECOWS07 Workshop on Emerging Web Services Technology","author":"K\u00fcster U.","year":"2007","unstructured":"U. K\u00fcster , H. Lausen , and B. K\u00f6nig-Ries . Evaluation of semantic service discovery - a survey and directions for future research. In C. Pautasso and T. Gschwind, editors , Proceedings of the 2nd ECOWS07 Workshop on Emerging Web Services Technology , 2007 . U. K\u00fcster, H. Lausen, and B. K\u00f6nig-Ries. Evaluation of semantic service discovery - a survey and directions for future research. In C. Pautasso and T. Gschwind, editors, Proceedings of the 2nd ECOWS07 Workshop on Emerging Web Services Technology, 2007."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1775574.1775590"},{"key":"e_1_3_2_1_15_1","volume-title":"November","author":"Martin D.","year":"2004","unstructured":"D. Martin , M. Burstein , J. Hobbs , O. Lassila , D. McDermott , S. McIlraith , S. Narayanan , M. Paolucci , B. Parsia , T. Payne , E. Sirin , N. Srinivasan , and K. Sycara . OWL-S: Semantic Markup for Web Services , November 2004 . D. Martin, M. Burstein, J. Hobbs, O. Lassila, D. McDermott, S. McIlraith, S. Narayanan, M. Paolucci, B. Parsia, T. Payne, E. Sirin, N. Srinivasan, and K. Sycara. OWL-S: Semantic Markup for Web Services, November 2004."},{"key":"e_1_3_2_1_16_1","volume-title":"PDDL --- The Planning Domain Definition Language","author":"McDermott D.","year":"1998","unstructured":"D. McDermott . PDDL --- The Planning Domain Definition Language , 1998 . D. McDermott. PDDL --- The Planning Domain Definition Language, 1998."},{"issue":"4","key":"e_1_3_2_1_17_1","first-page":"43","article-title":"Current trends in automated planning","volume":"28","author":"Nau D. S.","year":"2007","unstructured":"D. S. Nau . Current trends in automated planning . AI Magazine , 28 ( 4 ): 43 -- 58 , 2007 . D. S. Nau. Current trends in automated planning. AI Magazine, 28(4):43--58, 2007.","journal-title":"AI Magazine"},{"key":"e_1_3_2_1_18_1","first-page":"333","volume-title":"Proceedings of ISWC","author":"Paolucci M.","year":"2002","unstructured":"M. Paolucci , T. Kawamura , T. R. Payne , and K. Sycara . Semantic matching of web services capabilities. In I. Horrocks and J. Handler, editors , Proceedings of ISWC , pages 333 -- 347 . Sringer-Verlag Berlin Heidelberg , 2002 . M. Paolucci, T. Kawamura, T. R. Payne, and K. Sycara. Semantic matching of web services capabilities. In I. Horrocks and J. Handler, editors, Proceedings of ISWC, pages 333--347. Sringer-Verlag Berlin Heidelberg, 2002."},{"key":"e_1_3_2_1_19_1","volume-title":"Service Oriented Computing (SOC), number 05462 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI)","author":"Papazoglou M. P.","year":"2006","unstructured":"M. P. Papazoglou , P. Traverso , S. Dustdar , F. Leymann , and B. J. Kr\u00e4mer . Service-oriented computing: A research roadmap . In F. Cubera, B. J. Kr\u00e4mer, and M. P. Papazoglou, editors, Service Oriented Computing (SOC), number 05462 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI) , Schloss Dagstuhl , Germany , 2006 . M. P. Papazoglou, P. Traverso, S. Dustdar, F. Leymann, and B. J. Kr\u00e4mer. Service-oriented computing: A research roadmap. In F. Cubera, B. J. Kr\u00e4mer, and M. P. Papazoglou, editors, Service Oriented Computing (SOC), number 05462 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006."},{"key":"e_1_3_2_1_20_1","volume-title":"Web service composition as ai planning - a survey. Technical report","author":"Peer J.","year":"2005","unstructured":"J. Peer . Web service composition as ai planning - a survey. Technical report , University of St. Gallen , Switzerland , 2005 . J. Peer. Web service composition as ai planning - a survey. Technical report, University of St. Gallen, Switzerland, 2005."},{"key":"e_1_3_2_1_21_1","first-page":"103","volume-title":"UCPOP: A sound, complete, partial order planner for ADL","author":"Penberthy S. J.","year":"1992","unstructured":"S. J. Penberthy and D. S. Weld . UCPOP: A sound, complete, partial order planner for ADL . In B. Nebel, C. Rich, and W. Swartout, editors, KR'92. Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference, pages 103 -- 114 . Morgan Kaufmann , San Mateo, California, 1992 . S. J. Penberthy and D. S. Weld. UCPOP: A sound, complete, partial order planner for ADL. In B. Nebel, C. Rich, and W. Swartout, editors, KR'92. Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference, pages 103--114. Morgan Kaufmann, San Mateo, California, 1992."},{"key":"e_1_3_2_1_22_1","first-page":"53","volume-title":"Advances in Pervasive Computing. Adjunct proceedings of the 6th International Conference on Pervasive Computing","author":"Reisse C.","year":"2008","unstructured":"C. Reisse and T. Kirste . A distributed mechanism for device cooperation in Smart Environments . In Advances in Pervasive Computing. Adjunct proceedings of the 6th International Conference on Pervasive Computing , pages 53 -- 56 , Sydney, Australia , 2008 . C. Reisse and T. Kirste. A distributed mechanism for device cooperation in Smart Environments. In Advances in Pervasive Computing. Adjunct proceedings of the 6th International Conference on Pervasive Computing, pages 53--56, Sydney, Australia, 2008."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/1351542.1351693"},{"key":"e_1_3_2_1_24_1","volume-title":"April","author":"Roman D.","year":"2005","unstructured":"D. Roman , H. Lausen , and U. Keller . WSMO final draft , April 2005 . D. Roman, H. Lausen, and U. Keller. WSMO final draft, April 2005."},{"key":"e_1_3_2_1_25_1","first-page":"970","article-title":"Laboratory information management system for life science applications. Organic Process Research &","volume":"8","author":"Thurow K.","year":"2004","unstructured":"K. Thurow , B. G\u00f6de , U. Dingerdissen , and N. Stoll . Laboratory information management system for life science applications. Organic Process Research & Development , 8 : 970 -- 982 , 2004 . K. Thurow, B. G\u00f6de, U. Dingerdissen, and N. Stoll. Laboratory information management system for life science applications. Organic Process Research & Development, 8:970--982, 2004.","journal-title":"Development"},{"key":"e_1_3_2_1_26_1","volume-title":"March","author":"C.","year":"2006","unstructured":"W3 C. Web services description language (WSDL) version 2.0 part 1 : Core language. W3C Candidate Recommendation , March 2006 . W3C. Web services description language (WSDL) version 2.0 part 1: Core language. W3C Candidate Recommendation, March 2006."},{"key":"e_1_3_2_1_27_1","volume-title":"The computer for the 21st century","author":"Weiser M.","year":"1991","unstructured":"M. Weiser . The computer for the 21st century . 1991 . M. Weiser. The computer for the 21st century. 1991."},{"key":"e_1_3_2_1_28_1","first-page":"897","volume-title":"Proceedings of AAAI '98","author":"Weld D. S.","year":"1998","unstructured":"D. S. Weld , C. R. Anderson , and D. E. Smith . Extending graphplan to handle uncertainty & sensing actions . In Proceedings of AAAI '98 , 15, pages 897 -- 904 . The AAAI Press , 1998 . D. S. Weld, C. R. Anderson, and D. E. Smith. Extending graphplan to handle uncertainty & sensing actions. In Proceedings of AAAI '98, 15, pages 897--904. The AAAI Press, 1998."},{"key":"e_1_3_2_1_29_1","volume-title":"Academic Press Professional","author":"Zeigler B. P.","year":"1984","unstructured":"B. P. Zeigler . Multifacetted modelling and disctrete event simulation . Academic Press Professional , San Diego , 1984 . B. P. Zeigler. Multifacetted modelling and disctrete event simulation. Academic Press Professional, San Diego, 1984."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2007.95"}],"event":{"name":"MUM08: 7th International Conference on Mobile and Ubiquitous Multimedia","sponsor":["SIGMOBILE ACM Special Interest Group on Mobility of Systems, Users, Data and Computing"],"location":"Ume\u00e5 Sweden","acronym":"MUM08"},"container-title":["Proceedings of the 7th International Conference on Mobile and Ubiquitous Multimedia"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1543137.1543146","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1543137.1543146","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:29:51Z","timestamp":1750253391000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1543137.1543146"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,12,3]]},"references-count":30,"alternative-id":["10.1145\/1543137.1543146","10.1145\/1543137"],"URL":"https:\/\/doi.org\/10.1145\/1543137.1543146","relation":{},"subject":[],"published":{"date-parts":[[2008,12,3]]},"assertion":[{"value":"2008-12-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}