A spectrum of definitions for temporal model-based diagnosis
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 …
a description of their structure and function (or behavior). Time is a fundamental dimension …
On the computational complexity of querying bounds on differences constraints
V Brusoni, L Console, P Terenziani�- Artificial Intelligence, 1995 - Elsevier
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 …
(eg, checking whether a set of constraints is consistent with the knowledge base or …
An efficient algorithm for temporal abduction
V Brusoni, L Console, P Terenziani…�- AI* IA 97: Advances in�…, 1997 - Springer
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 …
where each explanatory formula is augmented with a set of temporal constraints on the atoms …
Later: Managing temporal information efficiently
V Brusoni, L Console, P Terenziani, B Pernid�- IEEE Expert, 1997 - ieeexplore.ieee.org
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 …
information which provides a high-level interface language. Later works as a specialized …
[PDF][PDF] Girolamo Brusoni
G Benzoni�- Avventure di penna e di vita nel Seicento veneto= Atti�…, 2001 - academia.edu
… 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). …
al1:1 lcllcra d:ll Brusoni). si reca angoscialo nellempio dedica 10 a S. Piclro (la Cancdrale). …
Qualitative and quantitative temporal constraints and relational databases: Theory, architecture, and applications
V Brusoni, L Console, P Terenziani…�- IEEE Transactions on�…, 1999 - ieeexplore.ieee.org
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 …
take into account large amounts of structured data; and quantitative and qualitative temporal …
LaTeR: a general purpose manager of temporal information
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 …
by different types of applications. LaTeR is based on a layered architecture: at the physical …
Extending temporal relational databases to deal with imprecise and qualitative temporal information
V Brusoni, L Console, P Terenziani…�- Recent Advances in�…, 1995 - Springer
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 …
imprecise and qualitative temporal information. We propose a formal theory for handling …
Resource-based vs. task-based approaches for scheduling problems
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 …
as a Constraint Satisfaction Problem. Two main types of approaches, both based on …
[PDF][PDF] Characterizing temporal abductive diagnosis
V Brusoni, L Console, P Terenziani…�- Proc. of International�…, 1995 - Citeseer
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, …
paper is to propose a logical characterization of diagnosis with temporal knowledge, and, …