Follow
Theodoros Mitsikas
Theodoros Mitsikas
Verified email at central.ntua.gr
Title
Cited by
Cited by
Year
A rule-based model for compliance of medical devices applied to the European market
S Almpani, P Stefaneas, H Boley, T Mitsikas, P Frangos
International Journal of Extreme Automation and Connectivity in Healthcare …, 2019
102019
Formalizing Air Traffic Control Regulations in PSOA RuleML.
T Mitsikas, S Almpani, PS Stefaneas, P Frangos, I Ouranos
RuleML+ RR (Supplement), 2018
72018
Computational regulation of medical devices in PSOA RuleML
S Almpani, P Stefaneas, H Boley, T Mitsikas, P Frangos
Rules and Reasoning: Second International Joint Conference, RuleML+ RR 2018 …, 2018
62018
Aligning, interoperating, and co-executing air traffic control rules across PSOA RuleML and IDP
M Deryck, T Mitsikas, S Almpani, P Stefaneas, P Frangos, I Ouranos, ...
Rules and Reasoning: Third International Joint Conference, RuleML+ RR 2019 …, 2019
52019
Object-relational rules for medical devices: Classification and conformity
S Almpani, P Stefaneas, H Boley, T Mitsikas, P Frangos
On the Move to Meaningful Internet Systems. OTM 2018 Conferences …, 2018
52018
A rule-based approach for air traffic control in the vicinity of the airport
T Mitsikas, P Stefaneas, I Ouranos
Algebraic Modeling of Topological and Computational Structures and …, 2017
42017
From Natural Language to Argumentation and Cognitive Systems.
T Mitsikas, NI Spanoudakis, PS Stefaneas, AC Kakas
COMMONSENSE, 2017
32017
ExosCE: A legal-based computational system for compliance with exoskeletons’ CE marking
S Almpani, T Mitsikas, P Stefaneas, P Frangos
Paladyn, Journal of Behavioral Robotics 11 (1), 414-427, 2020
22020
Invertible bidirectional metalogical translation between prolog and ruleml for knowledge representation and querying
M Thom, H Boley, T Mitsikas
International Joint Conference on Rules and Reasoning, 112-128, 2020
22020
Multi-agent Online Planning Architecture for Real-time Compliance
H Hayashi, T Mitsikas, YS Taheri, K Tsushima, R Schäfermeier, ...
17th International Rule Challenge and 7th Doctoral Consortium@ RuleML+ RR 2023, 2023
12023
Modeling a GDPR Compliant Data Wallet Application in Prova and AspectOWL
T Mitsikas, R Schäfermeier, A Paschke
The Review of Socionetwork Strategies 17 (2), 319-340, 2023
2023
Modeling a GDPR Compliant Data Wallet Application in Prova and AspectOWL.
R Schäfermeier, T Mitsikas, A Paschke
RuleML+ RR (Companion), 2022
2022
cl-psoatransrun: An Efficiently Executable Specification of PSOA RuleML in Common Lisp
M Thom, H Boley, T Mitsikas
International Joint Conference on Rules and Reasoning, 234-249, 2021
2021
From Legal Documents to Legal Document Management Systems; The Case of LegiCrowd
A Nousias, A Couillault, S Almpani, T Mitsikas, P Stefaneas
2020
Ανάπτυξη βάσης κανόνων σε RuleML για τους κανονισμούς εναέριας κυκλοφορίας στην περιοχή του αεροδρομίου
Θ Μήτσικας
2016
The system can't perform the operation now. Try again later.
Articles 1–15