3 citations · 3 across the 1 of their papers we have counts for
2 papers
cs.IR2019★ 3 cited
Dermtrainer: A Decision Support System for Dermatological Diseases
Gernot Salzer, Agata Ciabattoni, Christian Fermüller +6
Dermtrainer is a medical decision support system that assists general practitioners in diagnosing skin diseases and serves as a training platform for dermatologists. Its key compon…
cs.LO2019
A Game Model for Proofs with Costs
Timo Lang, Carlos Olarte, Elaine Pimentel +1
We look at substructural calculi from a game semantic point of view, guided by certain intuitions about resource conscious and, more specifically, cost conscious reasoning. To this…