Action Languages, Answer Sets and Planning (1999)
This is a discussion of some of the achievements and challenges related to representing actions and the design of planners from the perspective of logic programming. We talk about recent work on action languages and translating them into logic programming, on representing possible histories of an action domain by answer sets, on efficient implementations of the answer set semantics and their use for generating plans, and on causal logic and its relation to planning algorithms. Recent progress in these areas may lead to the creation of planners which are based on the ideas of logic programming and combine the use of expressive action description languages with efficient computational procedures.
In The Logic Programming Paradigm: a 25-Year Perspective, pp. 357-373 1999. Springer Verlag.

Vladimir Lifschitz Faculty vl [at] cs utexas edu