VSL 2014: VIENNA SUMMER OF LOGIC 2014

This page contains an index consisting of author-provided keywords.

A
adverse interactions	Using First-Order Logic to Represent Clinical Practice Guidelines and to Mitigate Adverse Interactions
Answer Set Programming	Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology Preliminary Result on Finding Treatments for Patients with Comorbidity
approximate reasoning	A Logic-Based Framework for Medical Assessment Questionnaires
automatic annotation	Towards Linked Vital Registration Data for Reconstituting Families and Creating Longitudinal Health Histories
B
birth/death and marriage records	Towards Linked Vital Registration Data for Reconstituting Families and Creating Longitudinal Health Histories
BPMN	An Algorithm for Guideline Transformation: from BPMN to PROforma
C
Careflow	A Process-oriented Methodology for Modelling Cancer Treatment Trial Protocols
Change Management	A Process-oriented Methodology for Modelling Cancer Treatment Trial Protocols
CIG Acquisition	META-GLARE: a meta-system for defining your own CIG system: Architecture and Acquisition
clinical decision support	A Process-oriented Methodology for Modelling Cancer Treatment Trial Protocols
clinical decision support systems	Process Information and Guidance Systems in the Hospital
clinical education	Development of Digital Repositories of Multimedia Learning Modules and Guideline-Driven Interactive Case Simulation Tools for New York State HIV/HCV/STD Clinical Education Initiative
Clinical Guidelines	Towards a Conceptual Model for Enhancing Reasoning about Clinical Guidelines: A case-study on Comorbidity Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology Assessment of Clinical Guideline Models Based on Metrics for Business Process Models Semantic Representation of Evidence-based Clinical Guidelines
clinical practice guideline	Development of Digital Repositories of Multimedia Learning Modules and Guideline-Driven Interactive Case Simulation Tools for New York State HIV/HCV/STD Clinical Education Initiative
clinical practice guidelines	Using First-Order Logic to Represent Clinical Practice Guidelines and to Mitigate Adverse Interactions Preliminary Result on Finding Treatments for Patients with Comorbidity
clinical processes	An Algorithm for Guideline Transformation: from BPMN to PROforma
Clinical Trial Protocols	A Process-oriented Methodology for Modelling Cancer Treatment Trial Protocols
Comorbidity	Towards a Conceptual Model for Enhancing Reasoning about Clinical Guidelines: A case-study on Comorbidity Preliminary Result on Finding Treatments for Patients with Comorbidity
computer interpretable guideline (CIG)	META-GLARE: a meta-system for defining your own CIG system: Architecture and Acquisition
computer-interpretable guidelines	Towards a Conceptual Model for Enhancing Reasoning about Clinical Guidelines: A case-study on Comorbidity
conceptual model	Towards a Conceptual Model for Enhancing Reasoning about Clinical Guidelines: A case-study on Comorbidity
Conformance analysis	Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology
COPD	Exploiting the Relation between Environmental Factors and Diseases: A Case Study on COPD
D
Description logic	Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology
Diagnosis of Arterial Hypertension causes	Training residents in the application of clinical guidelines for differential diagnosis of the most frequent causes of arterial hypertension with decision tables
digital repository	Development of Digital Repositories of Multimedia Learning Modules and Guideline-Driven Interactive Case Simulation Tools for New York State HIV/HCV/STD Clinical Education Initiative
E
e-Health	Exploiting the Relation between Environmental Factors and Diseases: A Case Study on COPD
evaluation of clinical guideline models	Assessment of Clinical Guideline Models Based on Metrics for Business Process Models
F
first-order logic	Using First-Order Logic to Represent Clinical Practice Guidelines and to Mitigate Adverse Interactions
formalisation of clinical guidelines	Assessment of Clinical Guideline Models Based on Metrics for Business Process Models
formalization of medical processes and knowledge-based health-care models	META-GLARE: a meta-system for defining your own CIG system: Architecture and Acquisition
Fuzzy logic for medical knowledge	A Logic-Based Framework for Medical Assessment Questionnaires
G
GLEE	Development of Digital Repositories of Multimedia Learning Modules and Guideline-Driven Interactive Case Simulation Tools for New York State HIV/HCV/STD Clinical Education Initiative
GLIF	Development of Digital Repositories of Multimedia Learning Modules and Guideline-Driven Interactive Case Simulation Tools for New York State HIV/HCV/STD Clinical Education Initiative
Guideline representation	An Algorithm for Guideline Transformation: from BPMN to PROforma
guideline transformation	An Algorithm for Guideline Transformation: from BPMN to PROforma
H
HCV	Development of Digital Repositories of Multimedia Learning Modules and Guideline-Driven Interactive Case Simulation Tools for New York State HIV/HCV/STD Clinical Education Initiative
Health Care	Real Rules, Real Data -- Addressing Challenges of Reasoning HIPAA Privacy Rule in Health Information Exchange (HIE)
health histories	Towards Linked Vital Registration Data for Reconstituting Families and Creating Longitudinal Health Histories
HIV	Development of Digital Repositories of Multimedia Learning Modules and Guideline-Driven Interactive Case Simulation Tools for New York State HIV/HCV/STD Clinical Education Initiative
I
interactive case simulation tools	Development of Digital Repositories of Multimedia Learning Modules and Guideline-Driven Interactive Case Simulation Tools for New York State HIV/HCV/STD Clinical Education Initiative
IT support	Process Information and Guidance Systems in the Hospital
K
Knowledge Representation	Preliminary Result on Finding Treatments for Patients with Comorbidity Semantic Representation of Evidence-based Clinical Guidelines
Knowledge representation and ontologies for health-care processes	Real Rules, Real Data -- Addressing Challenges of Reasoning HIPAA Privacy Rule in Health Information Exchange (HIE)
Knowledge-based training	Training residents in the application of clinical guidelines for differential diagnosis of the most frequent causes of arterial hypertension with decision tables
L
Linked Data	Real Rules, Real Data -- Addressing Challenges of Reasoning HIPAA Privacy Rule in Health Information Exchange (HIE)
Logic-based Knowledge Representation	A Logic-Based Framework for Medical Assessment Questionnaires
M
m-Health	Exploiting the Relation between Environmental Factors and Diseases: A Case Study on COPD
Medical Knowledge Representation	Towards a Conceptual Model for Enhancing Reasoning about Clinical Guidelines: A case-study on Comorbidity A Process-oriented Methodology for Modelling Cancer Treatment Trial Protocols
medical treatment processes	Process Information and Guidance Systems in the Hospital
Meta CIG system	META-GLARE: a meta-system for defining your own CIG system: Architecture and Acquisition
multimedia learning modules	Development of Digital Repositories of Multimedia Learning Modules and Guideline-Driven Interactive Case Simulation Tools for New York State HIV/HCV/STD Clinical Education Initiative
O
Ontologies	Real Rules, Real Data -- Addressing Challenges of Reasoning HIPAA Privacy Rule in Health Information Exchange (HIE)
ontologies and linked data	Towards Linked Vital Registration Data for Reconstituting Families and Creating Longitudinal Health Histories
P
Procedural knowledge Representation	A Process-oriented Methodology for Modelling Cancer Treatment Trial Protocols
Process Modelling	A Process-oriented Methodology for Modelling Cancer Treatment Trial Protocols
process visualization	Process Information and Guidance Systems in the Hospital
PROforma	An Algorithm for Guideline Transformation: from BPMN to PROforma
S
Semantic Web and Natural Language Processing	Semantic Representation of Evidence-based Clinical Guidelines
Smart Cities	Exploiting the Relation between Environmental Factors and Diseases: A Case Study on COPD
Smart Health	Exploiting the Relation between Environmental Factors and Diseases: A Case Study on COPD
STD	Development of Digital Repositories of Multimedia Learning Modules and Guideline-Driven Interactive Case Simulation Tools for New York State HIV/HCV/STD Clinical Education Initiative
System Architecture	META-GLARE: a meta-system for defining your own CIG system: Architecture and Acquisition
T
theorem proving	Using First-Order Logic to Represent Clinical Practice Guidelines and to Mitigate Adverse Interactions
Training of HC professionals in differential diagnosis	Training residents in the application of clinical guidelines for differential diagnosis of the most frequent causes of arterial hypertension with decision tables
U
Use cases and deployments of computerized guidelines and protocols with EPRs	Real Rules, Real Data -- Addressing Challenges of Reasoning HIPAA Privacy Rule in Health Information Exchange (HIE)
W
Workflow	A Process-oriented Methodology for Modelling Cancer Treatment Trial Protocols

Disclaimer | Powered by EasyChair Smart Program