Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study

2009 ◽  
pp. 158-167 ◽  
Author(s):  
Guido Sciavicco ◽  
Jose M. Juarez ◽  
Manuel Campos
Keyword(s):  
Temporal Logics ◽  
Medical Guidelines ◽  
Interval Temporal Logics

Verification of Medical Guidelines by Model Checking – A Case Study

2006 ◽  
pp. 219-233 ◽  
Author(s):  
Simon Bäumler ◽  
Michael Balser ◽  
Andriy Dunets ◽  
Wolfgang Reif ◽  
Jonathan Schmitt
Keyword(s):  
Model Checking ◽  
Medical Guidelines

scholarly journals Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture

2012 ◽  
Vol 96 ◽  
pp. 155-168 ◽  
Author(s):  
Davide Bresolin ◽  
Dario Della Monica ◽  
Angelo Montanari ◽  
Pietro Sala ◽  
Guido Sciavicco
Keyword(s):  
Complete Picture ◽  
Linear Orders ◽  
Temporal Logics ◽  
Interval Temporal Logics

Relational dual tableaux for interval temporal logics ★

2006 ◽  
Vol 16 (3-4) ◽  
pp. 251-277 ◽  
Author(s):  
Davide Bresolin ◽  
Joanna Golińska-Pilarek ◽  
Ewa Orlowska
Keyword(s):  
Temporal Logics ◽  
Interval Temporal Logics

scholarly journals Guest editors’ preface to special issue on interval temporal logics

2014 ◽  
Vol 71 (1-3) ◽  
pp. 1-9 ◽  
Author(s):  
Ben Moszkowski ◽  
Dimitar Guelev ◽  
Martin Leucker
Keyword(s):  
Special Issue ◽  
Temporal Logics ◽  
Interval Temporal Logics

scholarly journals Two-sorted Point-Interval Temporal Logics

2011 ◽  
Vol 278 ◽  
pp. 31-45 ◽  
Author(s):  
Philippe Balbiani ◽  
Valentin Goranko ◽  
Guido Sciavicco
Keyword(s):  
Temporal Logics ◽  
Interval Temporal Logics
Sign in / Sign up

Export Citation Format

Share Document