Diagnosis of benign and malign skin lesions is currently mostly relying on visual assessment and frequent biopsies performed by dermatologists. As the timely and correct diagnosis ...
Asad Safi, Victor Castaneda, Tobias Lasser, Nassir...
This paper generalises and complements the work on combining temporal logics started by Finger and Gabbay [11, 10]. We present proofs of transference of soundness, completeness an...
We introduce TOQL, a query language for querying time information in ontologies. TOQL is a high level query language that handles ontologies almost like relational databases. Queri...
Evdoxios Baratis, Euripides G. M. Petrakis, Sotiri...
: Clinical guidelines reuse existing clinical procedural knowledge while leaving room for flexibility by the care provider applying that knowledge. Guidelines can be viewed as gene...
We describe in this article an abductive procedure based on a constrained resolution principle. The choice of constrained resolution is motivated by the whish to gain full advanta...