Abstract Knowledge Representation and Reasoning (KR & R) has become one of the
promising fields of Artificial Intelligence. KR is dedicated towards representing information …

LAMA is a classical planning system based on heuristic forward search. Its core feature is
the use of a pseudo-heuristic derived from landmarks, propositional formulas that must be …

Answer Set Planning refers to the use of Answer Set Programming (ASP) to compute plans,
that is, solutions to planning problems, that transform a given state of the world to another …

This paper reports the outcome of the third in the series of biennial international planning
competitions, held in association with the International Conference on AI Planning and …

Planning systems for real-world applications need the ability to handle concurrency and
numeric fluents. Nevertheless, the predominant approach to cope with concurrency followed …

In this paper we describe COLIN, a forward-chaining heuristic search planner, capable of
reasoning with COntinuous LINear numeric change, in addition to the full temporal …

Many NASA planning problems are over-subscription problems–that is, there are a large
number of possible goals of differing value, and the planning system must choose a subset …

Current work in planning with preferences assumes that user preferences are completely
specified, and aims to search for a single solution plan to satisfy these. In many real world …

The demand for quickly delivering new applications is increasingly becoming a business
imperative today. Application development is often done in an ad hoc manner, without …

A number of today's state-of-the-art planners are based on forward state-space search. The
impressive performance can be attributed to progress in computing domain independent …