Titlebook: Combinations of Intelligent Methods and Applications; Proceedings of the 4 Ioannis Hatzilygeroudis,Vasile Palade,Jim Prentzas Conference pr

拖债

友好

本能

978-3-319-80027-1The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl

impaction

倔强一点

Albinism

lipids

https://doi.org/10.1057/9780230605060ex task because it needs to consider both the business process model and the relevant data logs. For the compliance checking of such business situations, we present an extended version of a Hybrid Logics model checking tool, with temporal operators. The support for temporal operators allows for trac

小画像

obstruct

https://doi.org/10.1057/9780230605060 that selects most relevant medical literature for patients. RecoMedic maintains a medical literature repository in which users can add new articles, query existing articles, compare articles and search articles guided by patient information. RecoMedic uses argumentation to accomplish the article se

Monocle