VSL 2014: VIENNA SUMMER OF LOGIC 2014

KR4HC ON MONDAY, JULY 21ST: TALK VIEW

View: with abstractssession overviewside by side with other conferences

9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
18:30
19:00
19:30
20:00
08:45-09:00 Opening
09:00-09:25
Preliminary Result on Finding Treatments for Patients with Comorbidity
Yuanlin Zhang, Zhizheng Zhang
09:25-09:50
Towards a Conceptual Model for Enhancing Reasoning about Clinical Guidelines: A case-study on
V. Zamborlini, M. Da Silveira, C. Pruski, A. Ten Teije, F. Van Harmelen
09:50-10:15
Using First-Order Logic to Represent Clinical Practice Guidelines and to Mitigate Adverse
Szymon Wilk, Martin Michalowski, Xing Tan, Wojtek Michalowski
10:45-11:10
Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical
Matteo Spiotta, Alessio Bottrighi, Laura Giordano, Daniele Theseider Dupre'
11:10-11:35
Semantic Representation of Evidence-based Clinical Guidelines
Zhisheng Huang, Annette Ten Teije, Frank Van Harmelen, Salah Ait-Mokhtar
11:35-12:00
Real Rules, Real Data -- Addressing Challenges of Reasoning HIPAA Privacy Rule in Health Information Exchange
Daniela Miao, K. Krasnow Waterman
12:00-12:15
META-GLARE: a meta-system for defining your own CIG system: Architecture and Acquisition
Paolo Terenziani, Alessio Bottrighi, Irene Lovotti, Stefania Rubrichi
12:15-12:30
Assessment of Clinical Guideline Models Based on Metrics for Business Process Models
Mar Marcos, Joaquín Torres-Sospedra, Begoña Martínez-Salvador
12:30-12:45
An Algorithm for Guideline Transformation: from BPMN to PROforma
Begoña Martínez-Salvador, Mar Marcos, Anderson Sánchez
12:45-13:00
A Process-oriented Methodology for Modelling Cancer Treatment Trial Protocols
Aisan Maghsoodi, Paul De Bra, Anca Bucur
14:30-15:30
Knowledge-Intensive Medical Process Similarity
Stefania Montani
15:30-15:45
Development of Digital Repositories of Multimedia Learning Modules and Guideline-Driven Interactive Case Simulation Tools for New York State HIV/HCV/STD Clinical Education
Dongwen Wang, Xuan Hung Le, Amneris Luque
15:45-16:00
Training residents in the application of clinical guidelines for differential diagnosis of the most frequent causes of arterial hypertension with decision
Francis Real, David Riaño, Jose-Ramon Alonso
16:30-16:55
Exploiting the Relation between Environmental Factors and Diseases: A Case Study on COPD
David Riaño, Agusti Solanas
16:55-17:10
Towards Linked Vital Registration Data for Reconstituting Families and Creating Longitudinal Health
Beyan, Breathnach, Collins, Debruyne, Decker, Grant, Grant, Gurrin
17:10-17:25
A Logic-Based Framework for Medical Assessment Questionnaires
Thomas Vetterlein, Anna Zamansky
17:25-17:40
Process Information and Guidance Systems in the Hospital
Marcin Hewelt
17:40-18:00 Wrap-Up, Conclusion, and Next Steps
08:45-09:45
VSL Keynote Talk: Ontology-Based Monitoring of Dynamic Systems
Franz Baader
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break
16:30-18:00
FLoC Olympic Games Award Ceremony 2
Floc Olympic Games
18:00-18:10
Lifetime Achievement Award
Werner Depauli-Schimanovich
18:10-18:20
Lifetime Achievement Award
Mingyi Zhang
18:20-18:30
EMCL Distinguished Alumni Award
European Masters Program In Computational Logic
18:30-18:45
FLoC Closing Week 2
Helmut Veith
19:00-20:00
VSL Public Lecture: Vienna Circle(s) - Between Philosophy and Science in Cultural Context
Friedrich Stadler
Disclaimer | Powered by EasyChair Smart Program