The increasing application of process-oriented approaches in new challenging dynamic
domains beyond business computing (eg, healthcare, emergency management, factories of …

Epistemic planning is the enrichment of automated planning with epistemic notions such as
knowledge and belief. In general, single-agent epistemic planning considers the following …

Agent programming languages have often avoided the use of automated (first principles or
hierarchical) planners in favour of predefined plan/recipe libraries for computational …

Abstract Domain control knowledge (DCK) has proven effective in improving the efficiency of
plan generation by reducing the search space for a plan. Procedural DCK is a compelling …

Cyber Physical Processes (CPPs) refer to a new generation of business processes enacted
in many application environments (eg, emergency management, smart manufacturing, etc.) …

Based on weighted possible-world semantics, Belle and Lakemeyer recently proposed the
logic DS, a probabilistic extension of a modal variant of the situation calculus with a model of …

To solve ever more complex and longer tasks, mobile robots need to generate more
elaborate plans and must handle dynamic environments and incomplete knowledge. We …

In this paper we explore the question of what characterises a desirable plan of action and
how such a plan could be computed, in the context of systems that already possess a certain …

Action programming languages like Golog allow to define complex behaviors for agents on
the basis of action representations in terms of expressive (first-order) logical formalisms …

There has been considerable recent interest in explainability in AI, especially with black-box
machine learning models. As correctly observed by the planning community, when the …