Ilias Tachmazidis

According to our database, Ilias Tachmazidis authored at least 42 papers between 2012 and 2024.

Collaborative distances:

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

2024

Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies.

Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Francesco Pacenza, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis, Jessica Zangari

Artif. Intell. Law, June, 2024

Benchmarking Defeasible Reasoning with Large Language Models - Initial Experiments and Future Directions.

Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou

CoRR, 2024

Model Checking with Large Language Models - Initial Experiments and Future Directions.

Sotiris Batsakis, Ilias Tachmazidis, Matthew Mantle, Nikolaos Papadakis, Grigoris Antoniou

Proceedings of the 15th International Conference on Information, 2024

2023

Neuro Intel: A System for Clinical Diagnosis of Attention Deficit Hyperactivity Disorder (ADHD) Using Artificial Intelligence.

Sotirios Batsakis, Emmanuel Papadakis, Ilias Tachmazidis, Tianhua Chen, Grigoris Antoniou, Marios Adamou

Proceedings of the IEEE Symposium on Computers and Communications, 2023

2022

Data-Driven Decision Support for Adult Autism Diagnosis Using Machine Learning.

Sotirios Batsakis, Marios Adamou, Ilias Tachmazidis, Sarah Jones, Sofya Titarenko, Grigoris Antoniou, Thanasis Kehagias

Digit., March, 2022

Explainable Reasoning with Legal Big Data: A Layered Framework.

Grigoris Antoniou, Katie Atkinson, George Baryannis, Sotiris Batsakis, Luigo Di Caro, Guido Governatori, Livio Robaldo, Giovanni Siragusa, Ilias Tachmazidis

FLAP, 2022

Taking stock of available technologies for compliance checking on first-order knowledge.

Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis

Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022

2021

A hybrid AI approach for supporting clinical diagnosis of attention deficit hyperactivity disorder (ADHD) in adults.

Ilias Tachmazidis, Tianhua Chen, Marios Adamou, Grigoris Antoniou

Health Inf. Sci. Syst., 2021

Large-scale Legal Reasoning with Rules and Databases.

Grigoris Antoniou, George Baryannis, Sotiris Batsakis, Guido Governatori, Mohammad Badiul Islam, Qing Liu, Livio Robaldo, Giovanni Siragusa, Ilias Tachmazidis

FLAP, 2021

Automatic Diagnosis of Attention Deficit Hyperactivity Disorder Using Machine Learning.

Tianhua Chen, Grigoris Antoniou, Marios Adamou, Ilias Tachmazidis, Pan Su

Appl. Artif. Intell., 2021

Data-Driven Decision Support for Autism Diagnosis using Machine Learning.

Sotiris Batsakis, Marios Adamou, Ilias Tachmazidis, Grigoris Antoniou, Thanasis Kehagias

Proceedings of the MEDES '21: Proceedings of the 13th International Conference on Management of Digital EcoSystems, Virtual Event, Tunisia, November 1, 2021

2020

Rethinking Defeasible Reasoning: A Scalable Approach.

Michael J. Maher, Ilias Tachmazidis, Grigoris Antoniou, Stephen J. Wade, Long Cheng

Theory Pract. Log. Program., 2020

A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming.

George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Emmanuel Papadakis

Theory Pract. Log. Program., 2020

Semantic Artificial Neural Networks.

Sotirios Batsakis, Ilias Tachmazidis, George Baryannis, Grigoris Antoniou

Proceedings of the Semantic Web: ESWC 2020 Satellite Events - ESWC 2020 Satellite Events, Heraklion, Crete, Greece, May 31, 2020

2019

Hypercat JSON-LD: A Semantically Enriched Catalogue Format for IoT.

Michalis Georgiou, Ilias Tachmazidis, Grigoris Antoniou

Proceedings of the 9th International Conference on Web Intelligence, Mining and Semantics, 2019

2018

A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming.

George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Timos Sellis, Pei-Wei Tsai

Theory Pract. Log. Program., 2018

A survey of large-scale reasoning on the Web of data.

Grigoris Antoniou, Sotiris Batsakis, Raghava Mutharaju, Jeff Z. Pan, Guilin Qi, Ilias Tachmazidis, Jacopo Urbani, Zhangquan Zhou

Knowl. Eng. Rev., 2018

Optimizing a Semantically Enriched Hypercat-enabled Internet of Things Data Hub.

Ilias Tachmazidis, Sotiris Batsakis, John Davies, Alistair Duke, Grigoris Antoniou, Sandra Stincic Clarke

Proceedings of the 9th International Semantic Sensor Networks Workshop co-located with 17th International Semantic Web Conference, 2018

Legal Representation and Reasoning in Practice: A Critical Comparison.

Sotiris Batsakis, George Baryannis, Guido Governatori, Ilias Tachmazidis, Grigoris Antoniou

Proceedings of the Legal Knowledge and Information Systems, 2018

2017

Temporal representation and reasoning in OWL 2.

Sotiris Batsakis, Euripides G. M. Petrakis, Ilias Tachmazidis, Grigoris Antoniou

Semantic Web, 2017

Design and evaluation of small-large outer joins in cloud computing environments.

Long Cheng, Ilias Tachmazidis, Spyros Kotoulas, Grigoris Antoniou

J. Parallel Distributed Comput., 2017

Representing Time and Space for the Semantic Web.

Sotiris Batsakis, Ilias Tachmazidis, Grigoris Antoniou

Int. J. Artif. Intell. Tools, 2017

A Hypercat-enabled Semantic Internet of Things Data Hub: Technical Report.

Ilias Tachmazidis, Sotiris Batsakis, John Davies, Alistair Duke, Mauro Vallati, Grigoris Antoniou, Sandra Stincic Clarke

CoRR, 2017

A Semantically Enriched Hypercat-enabled Internet of Things Data Hub.

Ilias Tachmazidis, John Davies, Sotiris Batsakis, Alistair Duke, Grigoris Antoniou, Sandra Stincic Clarke

Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 23rd - to, 2017

A Hypercat-Enabled Semantic Internet of Things Data Hub.

Ilias Tachmazidis, Sotiris Batsakis, John Davies, Alistair Duke, Mauro Vallati, Grigoris Antoniou, Sandra Stincic Clarke

Proceedings of the Semantic Web - 14th International Conference, 2017

2016

Hypercat RDF: Semantic Enrichment for IoT.

Ilias Tachmazidis, John Davies, Sotiris Batsakis, Grigoris Antoniou, Alistair Duke, Sandra Stincic Clarke

Proceedings of the Semantic Technology - 6th Joint International Conference, 2016

2015

Large-scale reasoning with nonmonotonic and imperfect knowledge through mass parallelization.

Ilias Tachmazidis

PhD thesis, 2015

Representing Time for the Semantic Web.

Sotiris Batsakis, Ilias Tachmazidis, Grigoris Antoniou

Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2015

Exploiting Parallelism for Hard Problems in Abstract Argumentation.

Federico Cerutti, Ilias Tachmazidis, Mauro Vallati, Sotirios Batsakis, Massimiliano Giacomin, Grigoris Antoniou

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Efficient Computation of the Well-Founded Semantics over Big Data.

Ilias Tachmazidis, Grigoris Antoniou, Wolfgang Faber

Theory Pract. Log. Program., 2014

Exploiting Parallelism for Hard Problems in Abstract Argumentation: Technical Report.

Federico Cerutti, Ilias Tachmazidis, Mauro Vallati, Sotiris Batsakis, Massimiliano Giacomin, Grigoris Antoniou

CoRR, 2014

Representing and Reasoning over Topological Relations in OWL.

Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis

Proceedings of the 4th International Conference on Web Intelligence, 2014

Large-Scale Reasoning with (Semantic) Data.

Grigoris Antoniou, Sotiris Batsakis, Ilias Tachmazidis

Proceedings of the 4th International Conference on Web Intelligence, 2014

Integrated Representation of Spatial Topological and Size Relations for the Semantic Web.

Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis

Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2014

Massively Parallel Reasoning under the Well-Founded Semantics Using X10.

Ilias Tachmazidis, Long Cheng, Spyros Kotoulas, Grigoris Antoniou, Tomas E. Ward

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Integrated Representation of Temporal Intervals and Durations for the Semantic Web.

Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis

Proceedings of the New Trends in Database and Information Systems II, 2014

Reasoning over Spatial Orientation Relations Using Rules.

Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis

Proceedings of the New Trends in Database and Information Systems II, 2014

2013

Large-Scale Complex Reasoning with Semantics: Approaches and Challenges.

Grigoris Antoniou, Jeff Z. Pan, Ilias Tachmazidis

Proceedings of the Web Information Systems Engineering - WISE 2013 Workshops, 2013

Computing the Stratified Semantics of Logic Programs over Big Data through Mass Parallelization.

Ilias Tachmazidis, Grigoris Antoniou

Proceedings of the Theory, Practice, and Applications of Rules on the Web, 2013

2012

Scalable Nonmonotonic Reasoning over RDF Data Using MapReduce.

Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas

Proceedings of the Joint Workshop on Scalable and High-Performance Semantic Web Systems, 2012

Towards Parallel Nonmonotonic Reasoning with Billions of Facts.

Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Large-scale Parallel Stratified Defeasible Reasoning.

Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas, Lee McCluskey

Proceedings of the ECAI 2012, 2012