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

As AI is increasingly being adopted into application solutions, the challenge of supporting
interaction with humans is becoming more apparent. Partly this is to support integrated …

This paper describes a new symbolic model checker, called NuSMV, developed as part of a
joint project between CMU and IRST. NuSMV is the result of the reengineering …

In this paper, we address the temporal logic motion planning problem for mobile robots that
are modeled by second order dynamics. Temporal logic specifications can capture the usual …

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 …

Composition of Web services has received much interest to support business-to-business or
enterprise application integration. On the one side, the business world has developed a …

Search has been vital to artificial intelligence from the very beginning as a core technique in
problem solving. The authors present a thorough overview of heuristic search with a balance …

The formulation of planning as heuristic search with heuristics derived from problem
representations has turned out to be a fruitful approach for classical planning. In this paper …

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 …

An epistemic goal is a goal about the knowledge possessed by an agent or group of agents.
In this paper, we address the problem of how plans might be developed for a group of …