Temporal Extension of Defeasible Logic (2007)
Governatori, Guido, Terenziani, Paolo
In this paper, we extend defeasible logic (a computationally-oriented non-monotonic logic) in order to deal with temporalised rules. In particular, we extend the logic to cope with durative facts, as...
Temporal Extension of Defeasible Logic (2007)
Governatori, Guido, Terenziani, Paolo, Guesguen, Hans W., Ligozat, Gerard, Rodrigues, Rita V.
In this paper, we extend defeasible logic (a computationally-oriented non-monotonic logic) in order to deal with temporalised rules. In particular, we extend the logic to cope with durative facts, as...
Temporal Extensions to Defeasible Logic (2007)
Governatori, Guido, Terenziani, Paolo, Orgun, Mehmet A., Thornton, John
In this paper, we extend Defeasible Logic (a computationally-oriented non-monotonic logic) in order to deal with temporalised rules. In particular, we extend the logic to cope with durative facts, as...
Temporal Extension of Defeasible Logic (2007)
Governatori, Guido, Terenziani, Paolo
In this paper, we extend defeasible logic (a computationally-oriented non-monotonic logic) in order to deal with temporalised rules. In particular, we extend the logic to cope with durative facts, as...
Temporal Extensions to Defeasible Logic (2007)
Governatori, Guido, Terenziani, Paolo
In this paper, we extend Defeasible Logic (a computationally-oriented non-monotonic logic) in order to deal with temporalised rules. In particular, we extend the logic to cope with durative facts, as...
Paolo Terenziani, Richard T. Snodgrass, Michael H. Bohlen, Heidi Gregersen, ...
The analysis of the semantics of temporal data and queries plays a central role in the area of temporal databases. Although many different algebr and models have been proposed, almost all of them are...
On the Ontological Expressiveness of Temporal (2004)
Christian S. Jensen, Michael H. Bohlen, Heidi Gregersen, Dieter Pfoser, Janne Skyt, ...
It is widely recognized that temporal aspects of database schemas are prevalent, but also difficult to capture using the ER model. The database research community's response has been to develop...
Syntax, Semantics, and Query Evaluation in the tauXQuery Temporal XML Query Language (2003)
Richard T. Snodgrass, Michael H. Bohlen, Heidi Gregersen, Dieter Pfoser, Janne Skyt, ...
As with relational data, XML data changes over time with the creation, modification, and deletion of XML documents. Expressing queries on time-varying (relational or XML) data is more difficult than...
Interpretation Of Noun Phrases In Intensional Contexts (2002)
Leonardo Lesmo, Paolo Terenziani
This paper presents a network formalism for representing the meaning of noun phrases occurring in the context of intensional verbs such as seek and want. The bltsic assurepriori is that an...
On the Ontological Expressiveness of Temporal Extensions to the Entity-Relationship Model (2002)
Author(s Heidi Gregersen, Christian S. Jensen, Michael H. Bohlen, Heidi Gregersen, Dieter Pfoser, ...
It is widely recognized that temporal aspects of database schemas are prevalent, but also difficult to capture using the ER model. The database research community's response has been to develop...
Enhancing an Extensible Query Optimizer With Support For Multiple Equivalence Types (2002)
Christian S. Jensen, Michael H. Bohlen, Heidi Gregersen, Dieter Pfoser, Janne Skyt, ...
Database management systems are continuously being extended with support for new types of data and more advanced querying capabilities. In large part because of this, query optimization has remained...
Discovering Complex Events in Long Sequences (2002)
Marco Botta, Attilio Giordana, Paolo Terenziani
Standard data mining techniques, taken in isolation, seem to be inadequate to discover sparse patterns in long sequences. In fact, symbolic approaches show difficulty in dealing with noise, while...
Discovering Complex Events in Long Sequences (2002)
Marco Botta, Attilio Giordana, Paolo Terenziani
Standard data mining techniques, taken in isolation, seem to be inadequate to discover sparce patterns in long sequences. In fact, symbolic approaches show diculty in dealing with noise, while...
Fabio Gr, Federica M, Michael H. Bohlen, Heidi Gregersen, Dieter Pfoser, ...
The problem of supporting temporal schema versioning has been extensively studied in the context of the relational model. In the object-oriented environment, previous works were devoted to the study...
Representing Knowledge Levels in Clinical Guidelines (2000)
Paolo Terenziani, Paolo Raviola, Mauro Torchio, Marina Marzuoli, Gianpaolo Molino
. In this paper, we argue that different levels of knowledge are involved in the representation of clinical guidelines, and that distinguishing among these levels is important from both the...
A Spectrum of Definitions for Temporal Model-Based Diagnosis (1998)
Daniele Theseider Dupr'e, Vittorio Brusoni, Luca Console, Paolo Terenziani
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 in MBD: the...
Characterizing Temporal Abductive Diagnosis (1998)
Daniele Theseider Dupr'e, Vittorio Brusoni, Luca Console, Paolo Terenziani
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, specifically,...
An Efficient Algorithm for Temporal Abduction (1998)
Daniele Theseider Dupr'e, Vittorio Brusoni, Luce Console, Paolo Terenziani
. 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 occurring in...
Temporal Model-Based Diagnosis: An Overview From an Abductive Perspective (1998)
Daniele Theseider Dupr'e, Vittorio Brusoni, Luca Console, Paolo Terenziani
In this paper we present an extension of the spectrum of logical definitions of model-based diagnosis introduced in [8]. The extended spectrum considers the case of temporal model-based diagnosis. We...
Temporal Consistency Checking in Clinical Guidelines Acquisition and Execution: the GLARE’s Approach
Terenziani, Paolo, Montani, Stefania, Torchio, Mauro, Molino, Gianpaolo, Anselma, Luca
GLARE (GuideLine Acquisition, Representation and Execution) is a domain-independent system for the acquisition, representation and execution of clinical guidelines. Temporal constraints play an...
Temporal Consistency Checking in Clinical Guidelines Acquisition and Execution: the GLARE’s Approach
Terenziani, Paolo, Montani, Stefania, Torchio, Mauro, Molino, Gianpaolo, Anselma, Luca
GLARE (GuideLine Acquisition, Representation and Execution) is a domain-independent system for the acquisition, representation and execution of clinical guidelines. Temporal constraints play an...
Advanced treatment of temporal phenomena in clinical guidelines
Terenziani, Paolo, Anselma, Luca, Bottrighi, Alessio, Montani, Stefania
Temporal constraints play a fundamental role in clinical guidelines. We sketch a computer-based temporal framework to represent temporal information in the guidelines, and to support different forms...
GLARE: a Domain-Independent System for Acquiring, Representing and Executing Clinical Guidelines
Molino, Gianpaolo, Terenziani, Paolo, Montani, Stefania, Bottrighi, Alessio, Torchio, Mauro
We briefly describe GLARE, a domain-independent system to acquire, represent and execute clinical guidelines, which as been developed since 1997 in a joint cooperation between Computer Sciences...
Clinical Guidelines Contextualization in GLARE
Bottrighi, Alessio, Terenziani, Paolo, Montani, Stefania, Torchio, Mauro, Molino, Gianpaolo
The adaptation of clinical guidelines to specific contexts is a fundamental task to promote guideline dissemination and use. Several aspects of contextualization need to be faced, including the...
Supporting physicians in taking decisions in clinical guidelines: the GLARE "what if" facility.
Terenziani, Paolo, Montani, Stefania, Bottrighi, Alesio, Torchio, Mauro, Molino, Gianpaolo
GLARE (GuideLine Acquisition, Representation and Execution) is a domain-independent system for the acquisition, representation and execution of clinical guidelines. GLARE is unique in its approach to...