Model-based diagnosis (MBD) tackles the problem of troubleshooting systems starting from
a description of their structure and function (or behavior). Time is a fundamental dimension …

Given a consistent knowledge base formed by a set of constraints, efficient query answering
(eg, checking whether a set of constraints is consistent with the knowledge base or …

In this paper, we consider the following form of temporal abduction: given a domain theory
where each explanatory formula is augmented with a set of temporal constraints on the atoms …

The Later (LAyered TEmporal Reasoner) system is a general-purpose manager of temporal
information which provides a high-level interface language. Later works as a specialized …

… Manlio Cortelazzo 123 Spunti linguistico-etnografici nei romanzi di Brusoni … tcr prc 业ata
al1:1 lcllcra d:ll Brusoni). si reca angoscialo nellempio dedica 10 a S. Piclro (la Cancdrale). …

Many different applications in different areas need to deal with both: databases, in order to
take into account large amounts of structured data; and quantitative and qualitative temporal …

LaTeR is a manager of temporal information which can be used in a loosely-coupled way
by different types of applications. LaTeR is based on a layered architecture: at the physical …

In several application domains, there is a need for historical databases supporting also
imprecise and qualitative temporal information. We propose a formal theory for handling …

Scheduling deals with the allocation of resources to activities over time, and can be interpreted
as a Constraint Satisfaction Problem. Two main types of approaches, both based on …

Several approaches have been proposed to deal with time in diagnosis. The goal of this
paper is to propose a logical characterization of diagnosis with temporal knowledge, and, …