Theodoros Mitsikas

According to our database, Theodoros Mitsikas authored at least 11 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Modeling a GDPR Compliant Data Wallet Application in Prova and AspectOWL.

Theodoros Mitsikas, Ralph Schäfermeier, Adrian Paschke

Rev. Socionetwork Strateg., October, 2023

Multi-agent Online Planning Architecture for Real-time Compliance.

Hisashi Hayashi, Theodoros Mitsikas, Yousef Taheri, Kanae Tsushima, Ralph Schäfermeier, Gauvain Bourgne, Jean-Gabriel Ganascia, Adrian Paschke, Ken Satoh

Proceedings of the 17th International Rule Challenge and 7th Doctoral Consortium @ RuleML+RR 2023 co-located with 19th Reasoning Web Summer School (RW 2023) and 15th DecisionCAMP 2023 as part of Declarative AI 2023, Oslo, Norway, 18, 2023

2021

cl-psoatransrun: An Efficiently Executable Specification of PSOA RuleML in Common Lisp.

Mark Thom, Harold Boley, Theodoros Mitsikas

Proceedings of the Rules and Reasoning - 5th International Joint Conference, 2021

2020

ExosCE: A legal-based computational system for compliance with exoskeletons' CE marking.

Sofia Almpani, Theodoros Mitsikas, Petros S. Stefaneas, Panayiotis Frangos

Paladyn J. Behav. Robotics, 2020

From Legal Documents to Legal Document Management Systems; The Case of LegiCrowd (short paper).

Alexandros Nousias, Alain Couillault, Sofia Almpani, Theodoros Mitsikas, Petros S. Stefaneas

Proceedings of the Workshops of the 11th EETN Conference on Artificial Intelligence 2020 co-located with the 11th EETN Conference on Artificial Intelligence (SETN 2020), 2020

Invertible Bidirectional Metalogical Translation Between Prolog and RuleML for Knowledge Representation and Querying.

Mark Thom, Harold Boley, Theodoros Mitsikas

Proceedings of the Rules and Reasoning - 4th International Joint Conference, 2020

2019

Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP.

Marjolein Deryck, Theodoros Mitsikas, Sofia Almpani, Petros S. Stefaneas, Panayiotis Frangos, Iakovos Ouranos, Harold Boley, Joost Vennekens

Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019

2018

Formalizing Air Traffic Control Regulations in PSOA RuleML.

Theodoros Mitsikas, Sofia Almpani, Petros S. Stefaneas, Panayiotis Frangos, Iakovos Ouranos

Proceedings of the Doctoral Consortium and Challenge @ RuleML+RR 2018 hosted by 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), 2018

Computational Regulation of Medical Devices in PSOA RuleML.

Sofia Almpani, Petros S. Stefaneas, Harold Boley, Theodoros Mitsikas, Panayiotis Frangos

Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

Object-Relational Rules for Medical Devices: Classification and Conformity.

Sofia Almpani, Petros S. Stefaneas, Harold Boley, Theodoros Mitsikas, Panayiotis Frangos

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

2017

From Natural Language to Argumentation and Cognitive Systems.

Theodoros Mitsikas, Nikolaos I. Spanoudakis, Petros S. Stefaneas, Antonis C. Kakas

Proceedings of the 5th International Workshop on Artificial Intelligence and Cognition, 2017