Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Theodoros Mitsikas"'
Publikováno v:
International Journal of Extreme Automation and Connectivity in Healthcare. 1:56-78
There is a growing producer and consumer interest in medical devices and the commensurate need for regulatory frameworks to ensure the quality of medical devices marketed locally and globally. This work focuses on formalizing the clauses enacted by R
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0ac45ac92c86ca1c0547112e0a363d54
https://doi.org/10.4018/ijeach.2019070104
https://doi.org/10.4018/ijeach.2019070104
Publikováno v:
Rules and Reasoning ISBN: 9783030911669
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f5d85c0d2b6515c701be539410c14596
https://doi.org/10.1007/978-3-030-91167-6_16
https://doi.org/10.1007/978-3-030-91167-6_16
Publikováno v:
Rules and Reasoning ISBN: 9783030579760
RuleML+RR
RuleML+RR
The paper presents BiMetaTrans(Prolog, RuleML), an invertible bidirectional metalogical translator across subsets of ISO Prolog and RuleML/XML 1.02 on the level of Negation-as-failure Horn logic with Equality. BiMetaTrans, itself written in Prolog, i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0b17205145aed02aa4400b38fab9a783
https://doi.org/10.1007/978-3-030-57977-7_8
https://doi.org/10.1007/978-3-030-57977-7_8
Autor:
Joost Vennekens, Harold Boley, Theodoros Mitsikas, Marjolein Deryck, Panayiotis Frangos, Iakovos Ouranos, Petros Stefaneas, Sofia Almpani
Publikováno v:
Rules and Reasoning ISBN: 9783030310943
RuleML+RR
RuleML+RR
This paper studies Knowledge Bases (KBs) in PSOA RuleML and IDP, aligning, interoperating, and co-executing them for a use case of Air Traffic Control (ATC) regulations. We focus on the common core of facts and rules in both languages, explaining bas
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0637e831ab9eb3f9a74dfe866d6fed28
https://lirias.kuleuven.be/handle/123456789/640163
https://lirias.kuleuven.be/handle/123456789/640163
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030026707
OTM Conferences (2)
OTM Conferences (2)
This work focuses on formalizing the rules enacted by Regulation (EU) 2017/745, for risk-based classification and for class-based conformity assessment options regarding medical devices marketability, in Positional-Slotted Object-Applicative (PSOA) R
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4305c1455d2fde3100016f8a8008ce24
https://doi.org/10.1007/978-3-030-02671-4_37
https://doi.org/10.1007/978-3-030-02671-4_37
Publikováno v:
Rules and Reasoning ISBN: 9783319999050
RuleML+RR
RuleML+RR
The registration and marketability of medical devices in Europe is governed by the Regulation (EU) 2017/745 and by guidelines published in terms thereof. This work focuses on formalizing the rules for risk-based classification of medical devices as w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::28ce663a5741399bcd169bb90d098d7b
https://doi.org/10.1007/978-3-319-99906-7_13
https://doi.org/10.1007/978-3-319-99906-7_13
Publikováno v:
Springer Proceedings in Mathematics & Statistics ISBN: 9783319681023
The constantly augmenting loads of the aviation industry inevitably define the evolutions in the field of Air Traffic Control. Relevant regulations are changing, in order to accommodate the increase in passenger, flight, and cargo numbers. This paper
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::81dfa1ef1d8a4d2cb8001d35c575a7fa
https://doi.org/10.1007/978-3-319-68103-0_20
https://doi.org/10.1007/978-3-319-68103-0_20