In modern intensive care units (ICUs), the medical staff has to monitor a huge amount of high-dimensional and timeoriented data, which needs to be visualized user- and taskspecifi...
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
Realistic mechanical models of biological soft tissues are a key issue to allow the implementation of reliable systems to aid on orthopedic diagnosis and surgery planning. We are w...
We describe a formal framework for diagnosis and repair problems that shares elements of the well known partially observable MDP and cost-sensitive classification models. Our cost...
Michael L. Littman, Nishkam Ravi, Eitan Fenson, Ri...
In this paper we describe our work on representing and constructing ontologies for breast mammography, which is part of planned set of comprehensive breast imaging and pathology o...