We provide an overview of the organization and results of the deterministic part of the 4th
International Planning Competition, ie, of the part concerned with evaluating systems doing …

There is controversy as to whether explicit support for pddl-like axioms and derived
predicates is needed for planners to handle real-world domains effectively. Many …

Between 1998 and 2004, the planning community has seen vast progress in terms of the
sizes of benchmark examples that domain-independent planners can tackle successfully …

This paper addresses the formal verification of diagnosis systems. Given a physical system
and a diagnosis system that observes it, we tackle the problem of verifying that the diagnosis …

We present a new algorithm for probabilistic planning with no observability. Our algorithm,
called Probabilistic-FF, extends the heuristic forward-search machinery of Conformant-FF to …

Distributed constraint optimization (DCOP) provides a framework for coordinated decision
making by a team of agents. Often, during the decision making, capacity constraints on …

In a field of research about general reasoning mechanisms, it is essential to have
appropriate benchmarks. Ideally, the benchmarks should reflect possible applications of the …

This paper considers the restoration of multiple interdependent infrastructures after a man-
made or natural disaster. Modern infrastructures feature complex cyclic interdependencies …

Planning with MIP for Supply Restoration in Power Distribution Systems Page 1 Planning with
MIP for Supply Restoration in Power Distribution Systems Sylvie Thiébaux1, Carleton Coffrin2 …

We present a new algorithm for probabilistic planning with no observability. Our algorithm,
called Probabilistic-FF, extends the heuristic forward-search machinery of Conformant-FF to …