{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T18:05:27Z","timestamp":1778263527868,"version":"3.51.4"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319701684","type":"print"},{"value":"9783319701691","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-70169-1_12","type":"book-chapter","created":{"date-parts":[[2017,11,6]],"date-time":"2017-11-06T02:14:23Z","timestamp":1509934463000},"page":"159-171","source":"Crossref","is-referenced-by-count":6,"title":["Service Composition in Stochastic Settings"],"prefix":"10.1007","author":[{"given":"Ronen I.","family":"Brafman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuseppe","family":"De Giacomo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Mecella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Sardina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,11,7]]},"reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-1-4614-7518-7_8","volume-title":"Web Services Foundations","author":"G Giacomo De","year":"2014","unstructured":"De Giacomo, G., Mecella, M., Patrizi, F.: Automated service composition based on behaviors: the Roman model. In: Bouguettaya, A., Sheng, Q., Daniel, F. (eds.) Web Services Foundations, pp. 189\u2013214. Springer, New York (2014). https:\/\/doi.org\/10.1007\/978-1-4614-7518-7_8"},{"issue":"1","key":"12_CR2","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1109\/MPRV.2010.11","volume":"9","author":"J Bronsted","year":"2010","unstructured":"Bronsted, J., Hansen, K.M., Ingstrup, M.: Service composition issues in pervasive computing. IEEE Pervasive Comput. 9(1), 62\u201370 (2010)","journal-title":"IEEE Pervasive Comput."},{"issue":"4","key":"12_CR3","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/s00778-003-0101-5","volume":"12","author":"B Medjahed","year":"2003","unstructured":"Medjahed, B., Bouguettaya, A., Elmagarmid, A.: Composing web services on the semantic web. Very Larg. Data Base J. 12(4), 333\u2013351 (2003)","journal-title":"Very Larg. Data Base J."},{"issue":"2","key":"12_CR4","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/S0306-4379(03)00051-6","volume":"29","author":"J Yang","year":"2004","unstructured":"Yang, J., Papazoglou, M.: Service components for managing the life-cycle of service compositions. Inf. Syst. 29(2), 97\u2013125 (2004)","journal-title":"Inf. Syst."},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-30581-1_1","volume-title":"Semantic Web Services and Web Process Composition","author":"J Cardoso","year":"2005","unstructured":"Cardoso, J., Sheth, A.: Introduction to semantic web services and web process composition. In: Cardoso, J., Sheth, A. (eds.) SWSWPC 2004. LNCS, vol. 3387, pp. 1\u201313. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-30581-1_1"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-540-39718-2_13","volume-title":"The Semantic Web - ISWC 2003","author":"D Wu","year":"2003","unstructured":"Wu, D., Parsia, B., Sirin, E., Hendler, J., Nau, D.: Automating DAML-S web services composition using SHOP2. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 195\u2013210. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-39718-2_13"},{"key":"12_CR7","unstructured":"Pistore, M., Marconi, A., Bertoli, P., Traverso, P.: Automated composition of web services by planning at the knowledge level. In: IJCAI (2005)"},{"key":"12_CR8","unstructured":"McIlraith, S., Son, T.: Adapting golog for composition of semantic web services. In: KR (2002)"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-24593-3_4","volume-title":"Service-Oriented Computing - ICSOC 2003","author":"D Berardi","year":"2003","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic composition of E-services that export their behavior. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol. 2910, pp. 43\u201358. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-24593-3_4"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Hu, Y., De Giacomo, G.: A generic technique for synthesizing bounded finite-state controllers. In: ICAPS (2013)","DOI":"10.1609\/icaps.v23i1.13555"},{"key":"12_CR11","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1016\/j.artint.2012.12.001","volume":"196","author":"G Giacomo De","year":"2013","unstructured":"De Giacomo, G., Patrizi, F., Sardi\u00f1a, S.: Automatic behavior composition synthesis. Artif. Intell. 196, 106\u2013142 (2013)","journal-title":"Artif. Intell."},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1152","DOI":"10.1007\/978-3-540-88873-4_17","volume-title":"On the Move to Meaningful Internet Systems: OTM 2008","author":"R Hull","year":"2008","unstructured":"Hull, R.: Artifact-centric business process models: brief survey of research results and challenges. In: Meersman, R., Tari, Z. (eds.) OTM 2008. LNCS, vol. 5332, pp. 1152\u20131163. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-88873-4_17"},{"key":"12_CR13","unstructured":"Su, J.: Semantic web services: composition and analysis. IEEE Data Eng. Bull. 31(3) (2008)"},{"key":"12_CR14","unstructured":"Yadav, N., Sardi\u00f1a, S.: Decision theoretic behavior composition. In: AAMAS (2011)"},{"issue":"6","key":"12_CR15","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1109\/MIC.2002.1067740","volume":"6","author":"D Menasce","year":"2002","unstructured":"Menasce, D.: QoS issues in web services. IEEE Internet Comput. 6(6), 72\u201375 (2002)","journal-title":"IEEE Internet Comput."},{"issue":"5","key":"12_CR16","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1109\/TSE.2004.11","volume":"30","author":"L Zeng","year":"2004","unstructured":"Zeng, L., Benatallah, B., Ngu, A., Dumas, M., Kalagnanam, J., Chang, H.: QoS-aware middleware for web services composition. IEEE Trans. Softw. Eng. 30(5), 311\u2013327 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"12_CR17","unstructured":"De Giacomo, G., Vardi, M.Y.: Linear temporal logic and linear dynamic logic on finite traces. In: IJCAI (2013)"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Nain, S., Lustig, Y., Vardi, M.Y.: Synthesis from probabilistic components. Log. Methods Comput. Sci. 10(2) (2014)","DOI":"10.2168\/LMCS-10(2:17)2014"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Muscholl, A., Walukiewicz, I.: A lower bound on web services composition. Log. Methods Comput. Sci. 4(2) (2008)","DOI":"10.2168\/LMCS-4(2:5)2008"},{"key":"12_CR20","unstructured":"Yadav, N., Felli, P., De Giacomo, G., Sardi\u00f1a, S.: Supremal realizability of behaviors with uncontrollable exogenous events. In: IJCAI, pp. 1176\u20131182 (2013)"},{"key":"12_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-540-30106-6_11","volume-title":"Artificial Intelligence: Methodology, Systems, and Applications","author":"M Pistore","year":"2004","unstructured":"Pistore, M., Barbon, F., Bertoli, P., Shaparau, D., Traverso, P.: Planning and monitoring web service composition. In: Bussler, C., Fensel, D. (eds.) AIMSA 2004. LNCS, vol. 3192, pp. 106\u2013115. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30106-6_11"},{"key":"12_CR22","unstructured":"Bacchus, F., Boutilier, C., Grove, A.J.: Rewarding behaviors. In: AAAI (1996)"},{"key":"12_CR23","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1613\/jair.1676","volume":"25","author":"S Thi\u00e9baux","year":"2006","unstructured":"Thi\u00e9baux, S., Gretton, C., Slaney, J.K., Price, D., Kabanza, F.: Decision-theoretic planning with non-Markovian rewards. J. Artif. Intell. Res. 25, 17\u201374 (2006)","journal-title":"J. Artif. Intell. Res."},{"key":"12_CR24","unstructured":"Lacerda, B., Parker, D., Hawes, N.: Optimal policy generation for partially satisfiable co-safe LTL specifications. In: IJCAI (2015)"},{"key":"12_CR25","unstructured":"De Giacomo, G., Vardi, M.Y.: Synthesis for LTL and LDL on finite traces. In: IJCAI (2015)"},{"key":"12_CR26","unstructured":"De Giacomo, G., Vardi, M.Y.: LTL $${}_{\\text{f}}$$ f and LDL $${}_{\\text{ f }}$$ f synthesis under partial observability. In: IJCAI (2016)"},{"key":"12_CR27","unstructured":"Torres, J., Baier, J.A.: Polynomial-time reformulations of LTL temporally extended goals into final-state goals. In: IJCAI (2015)"},{"key":"12_CR28","doi-asserted-by":"crossref","unstructured":"Camacho, A., Triantafillou, E., Muise, C., Baier, J.A., McIlraith, S.: Non-deterministic planning with temporally extended goals: LTL over finite and infinite traces. In: AAAI (2017)","DOI":"10.1609\/aaai.v31i1.11058"},{"key":"12_CR29","unstructured":"Fritz, C., McIlraith, S.A.: Monitoring plan optimality during execution. In: ICAPS (2007)"},{"key":"12_CR30","unstructured":"Baier, J.A., Fritz, C., Bienvenu, M., McIlraith, S.A.: Beyond classical planning: procedural control knowledge and preferences in state-of-the-art planners. In: AAAI (2008)"},{"key":"12_CR31","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"HJ Levesque","year":"1997","unstructured":"Levesque, H.J., Reiter, R., Lesperance, Y., Lin, F., Scherl, R.: GOLOG: a logic programming language for dynamic domains. J. Log. Program. 31, 59\u201383 (1997)","journal-title":"J. Log. Program."},{"key":"12_CR32","doi-asserted-by":"crossref","unstructured":"De Giacomo, G., Di Ciccio, C., Felli, P., Hu, Y., Mecella, M.: Goal-based composition of stateful services for smart homes. In: OTM (2012)","DOI":"10.1007\/978-3-642-33606-5_13"},{"key":"12_CR33","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"MJ Fischer","year":"1979","unstructured":"Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. J. Comput. Syst. Sci. 18, 194\u2013211 (1979)","journal-title":"J. Comput. Syst. Sci."},{"key":"12_CR34","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1016\/j.artint.2015.10.001","volume":"231","author":"G Giacomo De","year":"2016","unstructured":"De Giacomo, G., Gerevini, A.E., Patrizi, F., Saetti, A., Sardi\u00f1a, S.: Agent planning programs. Artif. Intell. 231, 64\u2013106 (2016)","journal-title":"Artif. Intell."}],"container-title":["Lecture Notes in Computer Science","AI*IA 2017 Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-70169-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,28]],"date-time":"2023-08-28T00:44:13Z","timestamp":1693183453000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-70169-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319701684","9783319701691"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-70169-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}