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

Guido Sciavicco José M. Juárez Manuel Campos

Published in: IWINAC (2) (2009)

Keyphrases

temporal logic
model checking
modal logic
mazurkiewicz traces
verification method
belief revision
medical knowledge
temporal knowledge
satisfiability problem
medical diagnosis
transition systems
concurrent systems
medical data
reactive systems
predicate logic
case study
expert systems