1,720,963 research outputs found
Conformance Analysis of Execution Traces with Clinical Guidelines and Basic Medical Knowledge in Answer Set Programming
No full text
Temporal Conformance Analysis and Explanation of Clinical Guidelines Execution: An Answer Set Programming Approach
Full text linkClinical Guidelines (CGs) provide general evidence-based recommendations and physicians often have to resort also to their Basic Medical Knowledge (BMK) to cope with specific patients. In this paper, we explore the interplay between CGs and BMK from the viewpoint of a-posteriori conformance analysis, intended as the adherence of a specific execution log to both the CG and the BMK. In this paper, we consider also the temporal dimension: the guideline may include temporal constraints for the execution of actions, and its adaptation to a specific patient and context may add or modify conditions and temporal constraints for actions. We propose an approach for analyzing execution traces in Answer Set Programming with respect to a guideline and BMK, pointing out discrepancies - including temporal discrepancies - with respect to the different knowledge sources, and providing explanations regarding how the applications of the CG and the BMK have interacted, especially in case strictly adhering to both is not possible.Full Tex
Business Processes Veri fication with Temporal Answer Set Programming
No full textThe paper provides a framework for the verification of business
processes, based on an extension of answer set programming
(ASP) with temporal logic and constraints. The framework
allows to capture expressive fluent annotations as well as data
awareness in a uniform way. It allows for a declarative
specification of a business process but also for encoding
processes specified in conventional workflow languages.
Verification of temporal properties of a business process,
including verification of compliance to business rules, is
performed by bounded model checking techniques in Answer
Set Programming, extended with constraint solving for dealing
with conditions on numeric data
ASP for Conformance Analysis and Explanation of Clinical Guidelines Execution
No full textIn this paper, we present an approach where Answer Set Programming is used for analyzing the conformance of execution traces, describing the treatment of individual patients, to Computer-Interpretable Guidelines (CIGs) in the medical domain. The problem is challenging because the CIG for a given pathology describes the most typical treatments for that pathology and cannot take into account all the specific cases that may occur for a specific patient, being them contraindications, temporary conditions of the patient, or other major pathologies. Deviations (also in the timing) from a single guideline may then be explainable using general medical knowledge or knowledge about the interaction between pathologies or treatments.No Full Tex
Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology
No full text
Going Beyond Counting First Authors in Author Co-citation Analysis
Full text linkThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
- …
