Author
Paolo Terenziani
Other affiliations: University of Turin
Bio: Paolo Terenziani is an academic researcher from University of Eastern Piedmont. The author has contributed to research in topics: Temporal database & Relational database. The author has an hindex of 24, co-authored 157 publications receiving 2010 citations. Previous affiliations of Paolo Terenziani include University of Turin.
Papers published on a yearly basis
Papers
More filters
TL;DR: This paper proposes an expressive formalism, which allows one to deal with the context-dependent character of clinical guidelines and also takes into account different temporal aspects, and outlines a modular architecture, allowing for a flexible engine for executing clinical guidelines.
128 citations
TL;DR: A framework in which different dimensions for temporal model-based diagnosis can be analyzed at the knowledge level is defined, pointing out which are the alternatives along each dimension and showing in which cases each one of these alternatives is adequate.
102 citations
TL;DR: A principled approach to represent temporal constraints in clinical guidelines and to reason (i.e., perform inferences in the form of constraint propagation) on them by proposing a temporal representation formalism and two temporal reasoning algorithms.
87 citations
TL;DR: GLARE is characterized by the adoption of advanced Artificial Intelligence techniques, to support medical decision making and to manage temporal knowledge.
Abstract: In this paper, we present GLARE, a domain-independent prototypical system for acquiring, representing and executing clinical guidelines. GLARE has been built within a 7-year project with Azienda Ospedaliera San Giovanni Battista in Turin (one of the largest hospitals in Italy) and has been successfully tested on clinical guidelines in different domains, including bladder cancer, reflux esophagitis, and heart failure. GLARE is characterized by the adoption of advanced Artificial Intelligence (AI) techniques, to support medical decision making and to manage temporal knowledge.
75 citations
TL;DR: The automatic verification of properties in the model checking approach is able to discover inconsistencies in the GL that cannot be detected in advance by hand, and represents a further step in the direction of general and flexible automated GL verification, which also meets usability requirements.
62 citations
Cited by
More filters
Journal Article•
9,185 citations
01 Dec 1995-International Journal of Human-computer Studies \/ International Journal of Man-machine Studies
TL;DR: The role of ontology in supporting knowledge sharing activities is described, and a set of criteria to guide the development of ontologies for these purposes are presented, and it is shown how these criteria are applied in case studies from the design ofOntologies for engineering mathematics and bibliographic data.
Abstract: Recent work in Artificial Intelligence is exploring the use of formal ontologies as a way of specifying content-specific agreements for the sharing and reuse of knowledge among software entities. We take an engineering perspective on the development of such ontologies. Formal ontologies are viewed as designed artifacts, formulated for specific purposes and evaluated against objective design criteria. We describe the role of ontologies in supporting knowledge sharing activities, and then present a set of criteria to guide the development of ontologies for these purposes. We show how these criteria are applied in case studies from the design of ontologies for engineering mathematics and bibliographic data. Selected design decisions are discussed, and alternative representation choices and evaluated against the design criteria.
6,949 citations
TL;DR: Barwise and Perry as discussed by the authors tackle the slippery subject of ''meaning, '' a subject that has long vexed linguists, language philosophers, and logicians, and they tackle it in this book.
Abstract: In this provocative book, Barwise and Perry tackle the slippery subject of \"meaning, \" a subject that has long vexed linguists, language philosophers, and logicians.
1,834 citations