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 …

Many real-world systems are naturally modeled as hybrid stochastic processes, ie,
stochastic processes that contain both discrete and continuous variables. Examples include …

This paper presents a modular technique, amenable to parallel implementation, for the
diagnosis of large-scale, distributed, asynchronous event-driven (namely, active) systems …

This book is about model-based diagnosis of a class of discrete-event systems called active
systems. Roughly, model-based diagnosis is the task of finding out the faulty components of …

In this paper we present contributions towards a logical theory of diagnosis for systems that
can be affected by the actions of agents. Specifically, we examine the task of conjecturing …

We propose a new, and to date the most general, framework for Petri net unfolding, which
broadens its applicability, makes it easier to use, and increases its efficiency. In particular:(i) …

Observations play a major role in diagnosis. The nature of an observation varies according
to the class of the considered system. In static systems, an observation is the value of a …

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 …

Given a system and unexpected observations about the system, a diagnosis is often viewed
as a fault assignment to the various components of the system that is consistent with (or that …

In this paper we apply AI planning to address the hypothesis exploration problem and
provide assistance to network administrators in detecting malware based on unreliable …