Disjunctive Logic Programming (DLP) is an advanced formalism for knowledge
representation and reasoning, which is very expressive in a precise mathematical sense: it …

Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

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 …

Automated problem solving in combination with declarative specifications of search-
problems have shown to substantially improve the implementation and maintenance costs …

Conformant planning is the task of generating plans given uncertainty about the initial state
and action effects, and without any sensing capabilities during plan execution. The plan …

Abstract Answer Set Programming (ASP), referred to also as Disjunctive Logic Programming
under the stable model semantics (DLP), is a powerful formalism for Knowledge …

In Part I of this series of papers, we have proposed a new logic-based planning language,
called K. This language facilitates the description of transitions between states of knowledge …

This paper proposes a self-healing approach to handle exceptions in service-based
processes and to repair the faulty activities with a model-based approach. In particular, a set …

Rarely planning domains are fully observable. For this reason, the ability to deal with partial
observability is one of the most important challenges in planning. In this paper, we tackle the …

In this paper we tackle the problem of Conformant Planning: find a sequence of actions that
guarantees goal achievement regardless of an uncertain initial condition and of …