×

zbMATH — the first resource for mathematics

Domain-independent planning for services in uncertain and dynamic environments. (English) Zbl 1357.68208
Summary: Research in automated planning provides novel insights into service composition and contributes towards the provision of automatic compositions which adapt to changing user needs and environmental conditions. Most of the existing planning approaches to aggregating services, however, suffer from one or more of the following limitations: they are not domain-independent, cannot efficiently deal with numeric-valued variables, especially sensing outcomes or operator inputs, and they disregard recovery from runtime contingencies due to erroneous service behavior or exogenous events that interfere with plan execution. We present the RuGPlanner, which models the planning task as a Constraint Satisfaction Problem. In order to address the requirements put forward by service domains, the RuGPlanner is endowed with a number of special features. These include a knowledge-level representation to model uncertainty about the initial state and the outcome of sensing actions, and efficient handling of numeric-valued variables, inputs to actions or observational effects. In addition, it generates plans with a high level of parallelism, it supports a rich declarative language for expressing extended goals, and allows for continual plan revision to deal with sensing outputs, failures, long response times or timeouts, as well as the activities of external agents. The proposed planning framework is evaluated based on a number of scenarios to demonstrate its feasibility and efficiency in several planning domains and execution circumstances which reflect concerns from different service environments.
MSC:
68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68M11 Internet topics
68T37 Reasoning under uncertainty in the context of artificial intelligence
Software:
PDDL
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Aiello, M.; Papazoglou, M.; Yang, J.; Carman, M.; Pistore, M.; Serafini, L.; Traverso, P., A request language for web-services based on planning and constraint satisfaction, (VLDB Workshop on Technologies for E-Services (TES), LNCS, (2002), Springer), 76-85 · Zbl 1019.68637
[2] Albore, A.; Palacios, H.; Geffner, H., A translation-based approach to contingent planning, (Proc. of the 21st International Joint Conference on Artificial Intelligence (IJCAI), (2009)), 1623-1628
[3] Albore, A.; Ramírez, M.; Geffner, H., Effective heuristics and belief tracking for planning with incomplete information, (Proc. of the 21st International Conference on Automated Planning and Scheduling (ICAPS), (2011), AAAI)
[4] Au, T.; Kuter, U.; Nau, D., Web service composition with volatile information, (4th International Semantic Web Conference (ISWC), (2005), Springer), 52-66
[5] Baligand, F.; Rivierre, N.; Ledoux, T., A declarative approach for QoS-aware web service compositions, (Proc. of the 5th International Conference in Service-Oriented Computing (ICSOC), (2007), AAAI), 422-428
[6] Barták, R., A novel constraint model for parallel planning, (Proc. of the 24th International Florida Artificial Intelligence Research Society Conference (FLAIRS), (2011))
[7] Barták, R.; Salido, M. A.; Rossi, F., New trends in constraint satisfaction, planning, and scheduling: a survey, Knowl. Eng. Rev., 25, 3, 249-279, (2010)
[8] Barták, R.; Toropila, D., Reformulating constraint models for classical planning, (Proc. of the 21st International Florida Artificial Intelligence Research Society Conference (FLAIRS), (2008), AAAI), 525-530
[9] Barták, R.; Toropila, D., Enhancing constraint models for planning problems, (Proc. of the 22nd International Florida Artificial Intelligence Research Society Conference (FLAIRS), (2009), AAAI)
[10] Beck, J. C.; Fox, M. S., Constraint-directed techniques for scheduling alternative activities, Artif. Intell., 121, 1-2, 211-250, (2000) · Zbl 0948.68009
[11] Benazera, E., Alternatives to re-planning: methods for plan re-evaluation at runtime, (Workshop on Plan Execution: A Reality Check, 15th International Conference on Automated Planning and Scheduling (ICAPS), (2005))
[12] Berardi, D.; Calvanese, D.; De Giacomo, G.; Hull, R.; Mecella, M., Automatic composition of transition-based semantic web services with messaging, (Proc. of the 31st International Conference on Very Large Data Bases, (2005)), 613-624
[13] Berardi, D.; Calvanese, D.; De Giacomo, G.; Lenzerini, M.; Mecella, M., Automatic composition of e-services that export their behavior, (Proc. of the 1st International Conference on Service-Oriented Computing (ICSOC), (2003), Springer), 43-58
[14] Berardi, D.; Calvanese, D.; De Giacomo, G.; Lenzerini, M.; Mecella, M., Automatic service composition based on behavioral descriptions, Int. J. Coop. Inf. Syst., 14, 4, 333-376, (2005)
[15] Berardi, D.; Cheikh, F.; De Giacomo, G.; Patrizi, F., Automatic service composition via simulation, Int. J. Found. Comput. Sci., 19, 2, 429-451, (2008) · Zbl 1155.68014
[16] Berardi, D.; De Giacomo, G.; Lenzerini, M.; Mecella, M.; Calvanese, D., Synthesis of underspecified composite e-services based on automated reasoning, (Proc. of the 2nd International Conference on Service-Oriented Computing, (2004), Springer), 105-114
[17] Bertoli, P.; Kazhamiakin, R.; Paolucci, M.; Pistore, M.; Raik, H.; Wagner, M., Continuous orchestration of web services via planning, (Proc. of the 19th International Conference on Automated Planning and Scheduling (ICAPS), (2009), AAAI)
[18] Bertoli, P.; Pistore, M.; Traverso, P., Automated web service composition by on-the-fly belief space search, (Proc. of the 16th International Conference on Automated Planning and Scheduling (ICAPS), (2006), AAAI), 358-361
[19] Bertoli, P.; Pistore, M.; Traverso, P., Automated composition of web services via planning in asynchronous domains, Artif. Intell., 174, 316-361, (2010)
[20] Blythe, J., Planning under uncertainty in dynamic domains, (1998), Carnegie Mellon University, PhD thesis
[21] Borrajo, D.; Veloso, M., Probabilistically reusing plans in deterministic planning, (Proc. of ICAPS-12 Workshop on Heuristics and Search for Domain-Independent Planning, (2012)), 17-25
[22] Brafman, R. I.; Hoffmann, J., Conformant planning via heuristic forward search: a new approach, (Proc. of the 14th International Conference on Automated Planning and Scheduling (ICAPS), (2004)), 355-364
[23] Brenner, M.; Nebel, B., Continual planning and acting in dynamic multiagent environments, Auton. Agents Multi-Agent Syst., 19, 3, 297-331, (2009)
[24] Caruso, M.; Ciccio, C. D.; Iacomussi, E.; Kaldeli, E.; Lazovik, A.; Mecella, M., Service ecologies for home/building automation, (Proc. of the 10th IFAC Symposium on Robot Control, (2012))
[25] Choco, (2012), Choco library documentation
[26] Chu, G.; Gaspers, S.; Narodytska, N.; Schutt, A.; Walsh, T., On the complexity of global scheduling constraints under structural restrictions, (Proc. of the 23rd International Joint Conference on Artificial Intelligence (IJCAI), (2013))
[27] Cimatti, A.; Pistore, M.; Roveri, M.; Traverso, P., Weak, strong, and strong cyclic planning via symbolic model checking, Artif. Intell., 147, 1-2, 35-84, (2003) · Zbl 1082.68800
[28] De Giacomo, G.; Patrizi, F.; Sardiña, S., Automatic behavior composition synthesis, Artif. Intell., 196, 106-142, (2013) · Zbl 1270.68329
[29] Do, M. B.; Kambhampati, S., Planning as constraint satisfaction: solving the planning-graph by compiling it into CSP, Artif. Intell., 132, 151-182, (2001) · Zbl 0983.68181
[30] Duan, S.; Babu, S.; Munagala, K., Fa: a system for automating failure diagnosis, (Proc. of the 25th International Conference on Data Engineering (ICDE), (2009)), 1012-1023
[31] Fan, J.; Kambhampati, S., A snapshot of public web services, SIGMOD Rec., 34, 1, 24-32, (2005)
[32] Fargier, H.; Lang, J.; Lang, J. M.; Schiex, T., Mixed constraint satisfaction: a framework for decision problems under incomplete knowledge, (Proc. of the 13th AAAI Conference on Artificial Intelligence, (1996)), 175-180
[33] Finger, J., Exploiting constraints in design synthesis, (1987), Stanford University, PhD thesis
[34] Foss, J.; Onder, N.; Smith, D., Preventing unrecoverable failures through precautionary planning, (Proc. of the 10th Workshop on Moving Planning and Scheduling Systems into the Real World, (2007))
[35] Fox, M.; Gerevini, A.; Long, D.; Serina, I., Plan stability: replanning versus plan repair, (Proc. of the 16th International Conference on Automated Planning and Scheduling, (2006)), 212-221
[36] Fox, M.; Long, D., Pddl2.1: an extension to PDDL for expressing temporal planning domains, J. Artif. Intell. Res., 20, 61-124, (2003) · Zbl 1036.68093
[37] Georgievski, I., Hierarchical planning definition language, (2013), University of Groningen, JBI 2013-12-3
[38] Gerevini, A.; Haslum, P.; Long, D.; Saetti, A.; Dimopoulos, Y., Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners, Artif. Intell., 173, 5-6, 619-668, (2009) · Zbl 1191.68634
[39] Gerevini, A.; Long, D., Preferences and soft constraints in PDDL3, (16th ICAPS Workshop on Planning with Preferences and Soft Constraints, (2006))
[40] Gerevini, A.; Saetti, A.; Serina, I., An approach to temporal planning and scheduling in domains with predictable exogenous events, J. Artif. Intell. Res., 25, 1, 187-231, (2006) · Zbl 1161.68783
[41] Ghallab, M.; Laruelle, H., Representation and control in ixtet, a temporal planner, (Proc. of the 2nd International Conference on Artificial Intelligence Planning Systems, (1994))
[42] Ghallab, M.; Nau, D.; Traverso, P., Automated planning: theory and practice, (2004), Morgan Kaufmann Amsterdam · Zbl 1074.68613
[43] Göbelbecker, M.; Gretton, C.; Dearden, R., A switching planner for combined task and observation planning, (Proc. of the 25th AAAI Conference on Artificial Intelligence, (2011), AAAI)
[44] Golden, K., Leap before you look: information gathering in the PUCCINI planner, (Proc. of the 6th International Conference on Artificial Intelligence Planning Systems (AIPS), (1998)), 70-77
[45] Golden, K., A domain description language for data processing, (ICAPS Workshop on the Future of PDDL, (2003), AAAI)
[46] Golden, K.; Etzioni, O.; Weld, D., Planning with execution and incomplete information, (1996), Technical Report 97-11-05, UW CSE
[47] Golden, K.; Pang, W., A constraint-based planner applied to data processing domains, (Proc. of the 10th International Conference on Principles and Practice of Constraint Programming (CP), (2004)), 815
[48] Golden, K.; Weld, D. S., Representing sensing actions: the middle ground revisited, (Proc. of the 5th International Conference on Principles of Knowledge Representation and Reasoning (KR), (1996)), 174-185
[49] Greif, I., Semantics of communicating parallel processes, (1975), MIT, PhD thesis
[50] Guettier, C.; Yorke-Smith, N., Enhancing the anytime behaviour of mixed CSP-based planning, (Proc. of ICAPS Workshop on Planning Under Uncertainty for Autonomous Systems, (2005)), 29-38
[51] Hassine, A. B.; Matsubara, S.; Ishida, T., A constraint-based approach to horizontal web, (Proc. of the 5th International Semantic Web Conference (ISWC2006), (2006)), 130-143
[52] Helmert, M., The fast downward planning system, J. Artif. Intell. Res., 26, 191-246, (2006) · Zbl 1182.68245
[53] Helmert, M., Concise finite-domain representations for PDDL planning tasks, Artif. Intell., 173, 503-535, (2009) · Zbl 1191.68635
[54] Hewitt, C.; Bishop, P.; Steiger, R., A universal modular actor formalism for artificial intelligence, (Proc. of the 3rd International Joint Conference on Artificial Intelligence (IJCAI), (1973))
[55] Hoffmann, J., Towards efficient belief update for planning-based web service composition, (18th European Conference on Artificial Intelligence (ECAI), (2008)), 558-562
[56] Hoffmann, J.; Bertoli, P.; Helmert, M.; Pistore, M., Message-based web service composition, integrity constraints, and planning under uncertainty: a new connection, J. Artif. Intell. Res., 35, 49-117, (2009) · Zbl 1184.68072
[57] Hoffmann, J.; Bertoli, P.; Pistore, M., Web service composition as planning, revisited: in between background theories and initial state uncertainty, (Proc. of the 21st AAAI Conference on Artificial Intelligence, (2007), AAAI), 1013-1018
[58] Hoffmann, J.; Brafman, R. I., Contingent planning via heuristic forward search with implicit belief states, (Proc. of the 15th International Conference on Automated Planning and Scheduling (ICAPS), (2005), AAAI), 71-80
[59] Hoffmann, J.; Nebel, B., The FF planning system: fast plan generation through heuristic search, J. Artif. Intell. Res., 14, 253-302, (2001) · Zbl 0970.68044
[60] Hoffmann, J.; Weber, I.; Kraft, F., SAP speaks PDDL, (Proc. of the 4th AAAI Conference on Artificial Intelligence, (2010), AAAI) · Zbl 1263.68155
[61] Hyafil, N.; Bacchus, F., Conformant probabilistic planning via csps, (Proc. of the 13th International Conference on Automated Planning and Scheduling (ICAPS), (2003)), 205-214
[62] Hyafil, N.; Bacchus, F., Utilizing structured representations and CSPs in conformant probabilistic planning, (Proc. of the 16th Eureopean Conference on Artificial Intelligence (ECAI), (2004)), 1033-1034
[63] Iocchi, L.; Lukasiewicz, T.; Nardi, D.; Rosati, R., Reasoning about actions with sensing under qualitative and probabilistic uncertainty, ACM Trans. Comput. Log., 10, 1, (2009) · Zbl 1367.68281
[64] Kabanza, F.; Barbeau, M.; St-Denis, R., Planning control rules for reactive agents, Artif. Intell., 95, 67-113, (1997) · Zbl 0894.68138
[65] Kaldeli, E., Domain-independent planning for services in uncertain and dynamic environments, (2013), University of Groningen, PhD thesis
[66] Kaldeli, E.; Lazovik, A.; Aiello, M., Extended goals for composing services, (Proc. of the 19th International Conference on Automated Planning and Scheduling (ICAPS 2009), (2009), AAAI)
[67] Kaldeli, E.; Lazovik, A.; Aiello, M., Continual planning with sensing for web service composition, (Proc. of the 25th AAAI Conference on Artificial Intelligence, (2011), AAAI)
[68] Kaldeli, E.; Warriach, E.; Lazovik, A.; Aiello, M., Coordinating the web of services for a smart home, ACM Trans. Web, 7, 2, 10, (2013)
[69] Kaldeli, E.; Warriach, E. U.; Bresser, J.; Lazovik, A.; Aiello, M., Interoperation, composition and simulation of services at home, (8th International Conference on Service Oriented Computing (ICSOC), LNCS, vol. 6470, (2010), Springer), 167-181
[70] Kambhampati, S., Planning graph as a (dynamic) CSP: exploiting EBL, DDB and other CSP search techniques in graphplan, J. Artif. Intell. Res., 12, 1-34, (2000) · Zbl 0940.68100
[71] Klusch, M.; Gerber, A., Semantic web service composition planning with OWLS-xplan, (Proc. of the 1st International AAAI Fall Symposium on Agents and the Semantic Web, (2005)), 55-62
[72] Klusch, M.; Gerber, A., Fast composition planning of OWL-S services and application, (Proc of the 4th IEEE European Conference on Web Services (ECOWS), (2006)), 181-190
[73] Klusch, M.; Renner, K.-U., Fast dynamic re-planning of composite OWL-S services, (Proc. of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT) - Workshops, (2006)), 134-137
[74] Knoblock, C. A., Planning, executing, sensing, and replanning for information gathering, (International Joint Conference of Artificial Intelligence (IJCAI), (1995), Morgan Kaufmann), 1686-1693
[75] Krause, C.; Maraikar, Z.; Lazovik, A.; Arbab, F., Modeling dynamic reconfigurations in reo using high-level replacement systems, Sci. Comput. Program., 76, 1, 23-36, (2011) · Zbl 1211.68052
[76] Kuter, U.; Sirin, E.; Parsia, B.; Nau, D. S.; Hendler, J. A., Information gathering during planning for web service composition, J. Web Semant., 3, 2-3, 183-205, (2005)
[77] Laborie, P., Algorithms for propagating resource constraints in AI planning and scheduling: existing approaches and new results, Artif. Intell., 143, 2, 151-188, (2003) · Zbl 1079.68622
[78] Lazovik, A.; Aiello, M.; Gennari, R., Encoding requests to web service compositions as constraints, (11th International Conference on Principles and Practice of Constraint Programming (CP), (2005), Springer)
[79] Lazovik, A.; Aiello, M.; Papazoglou, M., Planning and monitoring the execution of web service requests, (Proc. of the 1st International Conference on Service-Oriented Computing (ICSOC), (2003), Springer), 335-350
[80] Lazovik, A.; Aiello, M.; Papazoglou, M., Planning and monitoring the execution of web service requests, Int. J. Digit. Libr., 6, 3, 235-246, (2006)
[81] Lazovik, A.; Arbab, F., Using reo for service coordination, (Proc. of the 5th International Conference in Service-Oriented Computing (ICSOC), (2007), Springer), 398-403
[82] Lecoutre, C., Constraint networks: targeting simplicity for techniques and algorithms, (2009), Wiley-ISTE
[83] Lin, N.; Kuter, U.; Sirin, E., Web service composition with user preferences, (Proc. of the 5th European Semantic Web Conference (ESWC), (2008), Springer), 629-643
[84] Lopez, A.; Bacchus, F., Generalizing graphplan by formulating planning as a CSP, (Proc. of the 18th International Joint Conference on Artificial Intelligence (IJCAI), (2003), Morgan Kaufmann), 954-960
[85] Martínez, E.; Lespérance, Y., Web service composition as a planning task: experiments using knowledge-based planning, (Proc. of the ICAPS Workshop on Planning and Scheduling for Web and Grid Services, (2004), AAAI)
[86] Matthieu Gallien, F. I.; Lemai, S., Robot actions planning and execution control for autonomous exploration rovers, (Workshop on Plan Execution: A Reality Check, 15th International Conference on Automated Planning and Scheduling (ICAPS), (2005))
[87] McDermott, D.; AIPS-98 Planning Competition Committee, PDDL: the planning domain definition language, (1998), Technical Report CVC TRR98003/DCS TR1165
[88] McDermott, D. V., Estimated-regression planning for interactions with web services, (Proc. of the 6th International Conference on Artificial Intelligence Planning Systems (AIPS), (2002), AAAI), 204-211
[89] McIlraith, S.; Son, T. C., Adapting golog for composition of semantic web-services, (Fensel, D.; Giunchiglia, F.; McGuinness, D.; Williams, M., Proc. of the 8th International Conference on Principles of Knowledge Representation (KR), (2002), Morgan Kaufmann), 482-496
[90] McIlraith, S. A., Towards declarative programming for web services, (Proc. of the 11th International Symposium on Static Analysis (SAS), (2004), Springer), 21 · Zbl 1104.68355
[91] Murugan, S.; Ramachandran, V., Aspect oriented decision making model for Byzantine agreement, J. Comput. Sci., 8, 382-388, (2012)
[92] Musliner, D. J., Using abstraction and nondeterminism to plan reaction loops, (Proc. of the 12th National Conference on Artificial Intelligence (AAAI), (1994), AAAI), 1036-1041
[93] Musliner, D. J.; Durfee, E. H.; Shin, K. G., World modeling for the dynamic construction of real-time control plans, Artif. Intell., 74, 83-127, (1995)
[94] Nebel, B.; Dimopoulos, Y.; Koehler, J., Ignoring irrelevant facts and operators in plan generation, (Proc. of the 4th European Conference on Planning, (1997)), 338-350
[95] Nebel, B.; Koehler, J., Plan reuse versus plan generation: a theoretical and empirical analysis, Artif. Intell., 76, 1-2, 427-454, (1995)
[96] Palacios, H.; Geffner, H., Compiling uncertainty away in conformant planning problems with bounded width, J. Artif. Intell. Res., 35, 623-675, (2009) · Zbl 1183.68584
[97] Peer, J., A PDDL based tool for automatic web service composition, (Proc. of the 2nd International Workshop on the Principles and Practice of Semantic Web Reasoning, Lecture Notes in Computer Science, vol. 3208, (2004), Springer)
[98] Peer, J., A POP-based replanning agent for automatic web service composition, (Proc. of the 2nd European Semantic Web Conference (ESWC), (2005), Springer), 47-61
[99] Petrick, R. P.A., An extension of knowledge-level planning to interval-valued functions, (AAAI Workshop on Generalized Planning, (2011))
[100] Petrick, R. P.A.; Bacchus, F., Extending the knowledge-based approach to planning with incomplete information and sensing, (Proc. of the 14th International Conference on Automated Planning and Scheduling (ICAPS), (2004)), 2-11
[101] Pilioura, T.; Tsalgatidou, A., Unified publication and discovery of semantic web services, ACM Trans. Web, 3, 3, (2009)
[102] Pistore, M.; Marconi, A.; Bertoli, P.; Traverso, P., Automated composition of web services by planning at the knowledge level, (19th International Joint Conference on Artificial Intelligence, (2005)), 1252-1259
[103] Pistore, M.; Spalazzi, L.; Traverso, P., A minimalist approach to semantic annotations for web processes compositions, (Proc. of the 3rd European Semantic Web Conference (ESWC), (2006)), 620-634
[104] Pistore, M.; Traverso, P.; Bertoli, P., Automated composition of web services by planning in asynchronous domains, (Proc. of the 15th International Conference on Automated Planning and Scheduling (ICAPS), (2005), AAAI), 2-11
[105] Shani, G.; Brafman, R. I., Replanning in domains with partial information and sensing actions, (Proc. of the 22nd International Joint Conference on Artificial Intelligence (IJCAI), (2011), IJCAI/AAAI), 2021-2026
[106] Shaparau, D.; Pistore, M.; Traverso, P., Fusing procedural and declarative planning goals for nondeterministic domains, (Proc. of the 23rd AAAI Conference on Artificial Intelligence, (2008), AAAI), 983-990
[107] Sheshagiri, M.; DesJardins, M.; Finin, T., A planner for composing services described in DAML-S, (Proc. of the 13th ICAPS Workshop on Planning for Web Services, (2003))
[108] Sirin, E.; Parsia, B.; Wu, D.; Hendler, J. A.; Nau, D. S., HTN planning for web service composition using shop2, J. Web Semant., 1, 4, 377-396, (2004)
[109] Skoutas, D.; Sacharidis, D.; Simitsis, A.; Sellis, T., Serving the sky: discovering and selecting semantic web services through dynamic skyline queries, (2nd IEEE International Conference on Semantic Computing, (2008)), 222-229
[110] Sohrabi, S.; Prokoshyna, N.; McIlraith, S. A., Web service composition via generic procedures and customizing user preferences, (Proc. of the 5th International Semantic Web Conference (ISWC), (2006), Springer), 597-611
[111] Sohrabi, S.; Prokoshyna, N.; McIlraith, S. A., Web service composition via the customization of golog programs with user preferences, (Conceptual Modeling: Foundations and Applications, vol. 5600, (2009), Springer), 319-334
[112] To, S. T.; Son, T. C.; Pontelli, E., Contingent planning as and/or forward search with disjunctive representation, (Proc. of the 21st International Conference on Automated Planning and Scheduling (ICAPS), (2011), AAAI)
[113] Traverso, P.; Pistore, M., Automated composition of semantic web services into executable processes, (Proc. of the 3rd International Semantic Web Conference, (2004), Springer), 380-394
[114] van Beest, N.; Kaldeli, E.; Bulanov, P.; Wortmann, J.; Lazovik, A., Automated runtime repair of business processes, Inf. Sci., 39, 45-79, (2014)
[115] van der Krogt, R.; de Weerdt, M., Plan repair as an extension of planning, (Proc. of the 15th International Conference on Automated Planning and Scheduling, (2005), AAAI), 161-170
[116] Vidal, V., Branching and pruning: an optimal temporal POCL planner based on constraint programming, Artif. Intell., 170, 570-577, (2004)
[117] Wallace, R. J.; Grimes, D., Problem-structure vs. solution-based methods for solving dynamic constraint satisfaction problems, (Proc. of the 22nd International Conference on Tools with Artificial Intelligence, (2010))
[118] Wallace, R. J.; Grimes, D.; Freuder, E. C., Solving dynamic constraint satisfaction problems by identifying stable features, (Proc. of the 21st International Joint Conference on Artificial Intelligence, (2009)), 621-627
[119] Warriach, E. U.; Kaldeli, E.; Bresser, J.; Lazovik, A.; Aiello, M., A tool for integrating pervasive services and simulating their composition, (Demo Session of the 8th International Conference in Service-Oriented Computing (ICSOC), LNCS, (2010), Springer), 726-727
[120] Westra, K., Web service composition: connecting the web cloud, (2010), University of Groningen, Bachelor’s thesis
[121] Wu, D.; Parsia, B.; Sirin, E.; Hendler, J. A.; Nau, D. S., Automating DAML-S web services composition using SHOP2, (Proc. of the 2nd International Semantic Web Conference, (2003)), 195-210
[122] Yoon, S. W.; Fern, A.; Givan, R., FF-replan: a baseline for probabilistic planning, (Proc. of the 17th International Conference on Automated Planning and Scheduling, (2007), AAAI), 352
[123] Yoon, S. W.; Fern, A.; Givan, R.; Kambhampati, S., Probabilistic planning via determinization in hindsight, (Proc. of the 23rd AAAI Conference on Artificial Intelligence, (2008)), 1010-1016
[124] Yu, T.; Zhang, Y.; Lin, K.-J., Efficient algorithms for web services selection with end-to-end QoS constraints, ACM Trans. Web, 1, (2007)
[125] Yumatov, S., Web-based interface for a smart home, (2011), Bachelor thesis
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.