Now showing items 1-2 of 2
Exploiting inductive logic programming techniques for declarative process mining
In the last few years, there has been a growing interest in the adoption of declarative paradigms for modeling and verifying process models. These paradigms provide an abstract and human understandable way of specifying ...
Compliance checking of cancer-screening careflows: An approach based on computational logic
(IOS Press, 2008)
Clinical guidelines and Careflow systems have been recently identified as a means to improve and standardize health care services. A number of ICT-based management solutions have been proposed, focussing on several aspects ...