Query reformulation refers to a process of translating a source query—a request for information in some high-level logic-based language—into a target plan t

This book constitutes the thoroughly refereed post-proceedings of the 5th European Conference on Planning, ECP'99, held in Durham, UK, in September 1999. The 27

This volume presents the proceedings of the 5th International Conference on Logic Programming and Automated Reasoning, held aboard the ship "Marshal Koshevoi" o

This book constitutes the refereed proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002,

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