Learn More
In the Intensive Care Unit (ICU) domain, temporal evolution of diseases and patients' contextual information are critical pieces of knowledge that must be considered in the design of a diagnosis task. The uncertainty inherent in the description of temporal information associated to diseases requires a temporal representation and reasoning framework. This(More)
Extended Abstract The design of knowledge-based systems has received special attention from the beginnings of Artificial Intelligence. In particular, the application of model-based systems has obtained important results in the last decades [1]. However, the experience in developing these systems, far from becoming simpler, reveals the complexity on the(More)
OBJECTIVE The aim of this work is to provide a theoretical framework which is sufficiently expressive to describe temporal evolution of diseases, and also to propose a diagnostic process for building explanations of patient's observed temporal evolution based on these disease descriptions. BACKGROUND Model-based diagnosis (MBD) tackles the problem of(More)
Sequential pattern mining algorithms using a vertical representation are the most efficient for mining sequential patterns in dense or long sequences, and have excellent overall performance. The vertical representation allows generating patterns and calculating their supports without performing costly database scans. However, a crucial performance(More)
In this paper, we propose a new algorithm, called ClaSP for mining frequent closed sequential patterns in temporal transaction data. Our algorithm uses several efficient search space pruning methods together with a vertical database layout. Experiments on both synthetic and real datasets show that ClaSP outperforms currently well known state of the art(More)
Computer-based decision support in health-care is becoming more and more important in recent years. Clinical Practise Guidelines are documents supporting health-care professionals in managing a disease in a patient, in order to avoid non-standard practices or outcomes. In this paper, we consider the problem of formalizing a guideline in a logical language.(More)