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

In discrete dynamical systems change results from actions. As such, given a set of
observations, diagnoses often take the form of posited events that result in the observed …

Classical planning problems are defined using some specification language, such as PDDL.
The domain expert defines action schemas, objects, the initial state, and the goal. One key …

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

Planning and scheduling (P&S) constitute fundamental cognitive capabilities for systems to
reason about plans and their causal structure. They are essential for producing a goal …

The standard situation calculus assumes that atomic actions are deterministic. But many
domains involve nondeterministic actions, with problems such as fully observable …

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 …

We present a simple and concise semantics for temporal planning. Our semantics are
developed and formalised in the logic of the interactive theorem prover Isabelle/HOL. We …

In this paper we introduce a novel, simpler form of the polytope of inner Bayesian
approximations of a belief function, or “consistent probabilities”. We prove that the set of …

In order to make a robot execute a given task plan more robustly we want to enable it to take
care of its selfmaintenance requirements during online execution of this plan. This requires …