Different planning techniques have been applied to the problem of automated composition
of web services. However, in realistic cases, this planning problem is far from trivial: the …

Autonomous AI systems need complex computational techniques for planning and performing
actions. Planning and acting require significant deliberation because an intelligent system …

Automated planning technology now plays a significant role in a variety of demanding
applications, ranging from controlling space vehicles and robots to playing the game of bridge. …

Planning in nondeterministic domains yields both conceptual and practical difficulties. From
the conceptual point of view, different notions of planning problems can be devised: for …

Service-oriented computing promotes the idea of assembling application components into a
network of services that can be loosely coupled to create flexible, dynamic business …

Service-Oriented Computing (SOC) is a new computing paradigm that utilizes services as
the basic constructs to support the development of rapid, low-cost and easy composition of …

The run-time monitoring of Web service compositions has been widely acknowledged as a
significant and challenging problem. In this paper, we propose a novel solution to the …

… Fausto Giunchiglia1,2 and Paolo Traverso1 … Traverso. Planning via Model Checking: A
Decision Procedure for AR. In S. … Traverso. Automatic OBDD-based Generation of …

We present a framework that supports the formal verification of early requirements
specifications. The framework is based on Formal Tropos, a specification language that adopts …

Tumor growth is allowed by its ability to escape immune system surveillance. An important
role in determining tumor evasion from immune control might be played by tumor-infiltrating …