50 citations · 50 across the 1 of their papers we have counts for
2 papers
cs.AI2014★ 50 cited
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection
Jörg Hoffmann, Piergiorgio Bertoli, Malte Helmert +1
Thanks to recent advances, AI Planning has become the underlying technique for several applications. Figuring prominently among these is automated Web Service Composition (WSC) at…
cs.AI2011
The Planning Spectrum - One, Two, Three, Infinity
M. Pistore, M. Y. Vardi
Linear Temporal Logic (LTL) is widely used for defining conditions on the execution paths of dynamic systems. In the case of dynamic systems that allow for nondeterministic evoluti…