Ilias Tachmazidis

48 papers A* 2A 1B 1C 3Journal 21Unranked 17
YearRankTypeTitle / Venue / Authors
2025 — ed.
Joint Proceedings of the Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming (ICLP-WS-DC 2025) co-located with 41st International Conference on Logic Programming (ICLP 2025), Rende, Italy, September 9-13, 2025.
ICLP Workshops
Damiano Azzolini, Sotirios Batsakis, Manuel Alejandro Borroto Santana, Pierangela Bruno, Laura Andrea Cecchi, Jorge Fandinno, Markus Hecher, Marco Maratea, José F. Morales, Brais Muñiz, Emmanuel Papadakis, Livio Robaldo, Luciano Serafini, Fabrizio Lo Scudo, Ilias Tachmazidis, Alice Tarzariol, Mauro Vallati, Adam Wyner
2024 J jnl
Benchmarking Defeasible Reasoning with Large Language Models - Initial Experiments and Future Directions.
CoRR
Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou
2024 J jnl
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies.
Artif. Intell. Law
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
2024 — conf
Model Checking with Large Language Models - Initial Experiments and Future Directions.
IISA
Sotiris Batsakis, Ilias Tachmazidis, Matthew Mantle, Nikolaos Papadakis, Grigoris Antoniou
2023 C conf
Neuro Intel: A System for Clinical Diagnosis of Attention Deficit Hyperactivity Disorder (ADHD) Using Artificial Intelligence.
ISCC
Sotirios Batsakis, Emmanuel Papadakis, Ilias Tachmazidis, Tianhua Chen, Grigoris Antoniou, Marios Adamou
2023 — ed.
Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), London, United Kingdom, July 9th and 10th, 2023.
ICLP Workshops
Joaquín Arias, Sotiris Batsakis, Wolfgang Faber, Gopal Gupta, Francesco Pacenza, Emmanuel Papadakis, Livio Robaldo, Kilian Rückschloß, Elmer Salazar, Zeynep G. Saribatur, Ilias Tachmazidis, Felix Weitkämper, Adam Z. Wyner
2022 J jnl
Data-Driven Decision Support for Adult Autism Diagnosis Using Machine Learning.
Digit.
Sotirios Batsakis, Marios Adamou, Ilias Tachmazidis, Sarah Jones, Sofya Titarenko, Grigoris Antoniou, Thanasis Kehagias
2022 J jnl
Explainable Reasoning with Legal Big Data: A Layered Framework.
FLAP
Grigoris Antoniou, Katie Atkinson, George Baryannis, Sotiris Batsakis, Luigo Di Caro, Guido Governatori, Livio Robaldo, Giovanni Siragusa, Ilias Tachmazidis
2022 — conf
Taking stock of available technologies for compliance checking on first-order knowledge.
CILC
Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis
2021 J jnl
A hybrid AI approach for supporting clinical diagnosis of attention deficit hyperactivity disorder (ADHD) in adults.
Health Inf. Sci. Syst.
Ilias Tachmazidis, Tianhua Chen, Marios Adamou, Grigoris Antoniou
2021 J jnl
Automatic Diagnosis of Attention Deficit Hyperactivity Disorder Using Machine Learning.
Appl. Artif. Intell.
Tianhua Chen, Grigoris Antoniou, Marios Adamou, Ilias Tachmazidis, Pan Su
2021 C conf
Data-Driven Decision Support for Autism Diagnosis using Machine Learning.
MEDES
Sotiris Batsakis, Marios Adamou, Ilias Tachmazidis, Grigoris Antoniou, Thanasis Kehagias
2021 J jnl
Large-scale Legal Reasoning with Rules and Databases.
FLAP
Grigoris Antoniou, George Baryannis, Sotiris Batsakis, Guido Governatori, Mohammad Badiul Islam, Qing Liu, Livio Robaldo, Giovanni Siragusa, Ilias Tachmazidis
2020 J jnl
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming.
CoRR
George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Emmanuel Papadakis
2020 J jnl
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming.
Theory Pract. Log. Program.
George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Emmanuel Papadakis
2020 J jnl
Rethinking Defeasible Reasoning: A Scalable Approach.
CoRR
Michael J. Maher, Ilias Tachmazidis, Grigoris Antoniou, Stephen J. Wade, Long Cheng
2020 J jnl
Rethinking Defeasible Reasoning: A Scalable Approach.
Theory Pract. Log. Program.
Michael J. Maher, Ilias Tachmazidis, Grigoris Antoniou, Stephen J. Wade, Long Cheng
2020 — conf
Semantic Artificial Neural Networks.
ESWC (Satellite Events)
Sotirios Batsakis, Ilias Tachmazidis, George Baryannis, Grigoris Antoniou
2019 — conf
Hypercat JSON-LD: A Semantically Enriched Catalogue Format for IoT.
WIMS
Michalis Georgiou, Ilias Tachmazidis, Grigoris Antoniou
2018 J jnl
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming.
CoRR
George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Timos Sellis, Pei-Wei Tsai
2018 J jnl
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming.
Theory Pract. Log. Program.
George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Timos Sellis, Pei-Wei Tsai
2018 J jnl
A survey of large-scale reasoning on the Web of data.
Knowl. Eng. Rev.
Grigoris Antoniou, Sotiris Batsakis, Raghava Mutharaju, Jeff Z. Pan, Guilin Qi, Ilias Tachmazidis, Jacopo Urbani, Zhangquan Zhou
2018 C conf
Legal Representation and Reasoning in Practice: A Critical Comparison.
JURIX
Sotiris Batsakis, George Baryannis, Guido Governatori, Ilias Tachmazidis, Grigoris Antoniou
2018 — conf
Optimizing a Semantically Enriched Hypercat-enabled Internet of Things Data Hub.
SSN@ISWC
Ilias Tachmazidis, Sotiris Batsakis, John Davies, Alistair Duke, Grigoris Antoniou, Sandra Stincic Clarke
2017 — conf
A Hypercat-Enabled Semantic Internet of Things Data Hub.
ESWC (2)
Ilias Tachmazidis, Sotiris Batsakis, John Davies, Alistair Duke, Mauro Vallati, Grigoris Antoniou, Sandra Stincic Clarke
2017 J jnl
A Hypercat-enabled Semantic Internet of Things Data Hub: Technical Report.
CoRR
Ilias Tachmazidis, Sotiris Batsakis, John Davies, Alistair Duke, Mauro Vallati, Grigoris Antoniou, Sandra Stincic Clarke
2017 — conf
A Semantically Enriched Hypercat-enabled Internet of Things Data Hub.
ISWC (Posters, Demos & Industry Tracks)
Ilias Tachmazidis, John Davies, Sotiris Batsakis, Alistair Duke, Grigoris Antoniou, Sandra Stincic Clarke
2017 J jnl
Design and evaluation of small-large outer joins in cloud computing environments.
J. Parallel Distributed Comput.
Long Cheng, Ilias Tachmazidis, Spyros Kotoulas, Grigoris Antoniou
2017 J jnl
Representing Time and Space for the Semantic Web.
Int. J. Artif. Intell. Tools
Sotiris Batsakis, Ilias Tachmazidis, Grigoris Antoniou
2017 J jnl
Temporal representation and reasoning in OWL 2.
Semantic Web
Sotiris Batsakis, Euripides G. M. Petrakis, Ilias Tachmazidis, Grigoris Antoniou
2016 — conf
Hypercat RDF: Semantic Enrichment for IoT.
JIST
Ilias Tachmazidis, John Davies, Sotiris Batsakis, Grigoris Antoniou, Alistair Duke, Sandra Stincic Clarke
2015 A* conf
Exploiting Parallelism for Hard Problems in Abstract Argumentation.
AAAI
Federico Cerutti, Ilias Tachmazidis, Mauro Vallati, Sotirios Batsakis, Massimiliano Giacomin, Grigoris Antoniou
2015 — —
Large-scale reasoning with nonmonotonic and imperfect knowledge through mass parallelization.
Ilias Tachmazidis
2015 — conf
Representing Time for the Semantic Web.
MIWAI
Sotiris Batsakis, Ilias Tachmazidis, Grigoris Antoniou
2014 J jnl
Efficient Computation of the Well-Founded Semantics over Big Data.
CoRR
Ilias Tachmazidis, Grigoris Antoniou, Wolfgang Faber
2014 J jnl
Efficient Computation of the Well-Founded Semantics over Big Data.
Theory Pract. Log. Program.
Ilias Tachmazidis, Grigoris Antoniou, Wolfgang Faber
2014 J jnl
Exploiting Parallelism for Hard Problems in Abstract Argumentation: Technical Report.
CoRR
Federico Cerutti, Ilias Tachmazidis, Mauro Vallati, Sotiris Batsakis, Massimiliano Giacomin, Grigoris Antoniou
2014 — conf
Integrated Representation of Spatial Topological and Size Relations for the Semantic Web.
MIWAI
Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis
2014 — conf
Integrated Representation of Temporal Intervals and Durations for the Semantic Web.
ADBIS (2)
Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis
2014 — conf
Large-Scale Reasoning with (Semantic) Data.
WIMS
Grigoris Antoniou, Sotiris Batsakis, Ilias Tachmazidis
2014 B conf
Massively Parallel Reasoning under the Well-Founded Semantics Using X10.
ICTAI
Ilias Tachmazidis, Long Cheng, Spyros Kotoulas, Grigoris Antoniou, Tomas E. Ward
2014 — conf
Reasoning over Spatial Orientation Relations Using Rules.
ADBIS (2)
Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis
2014 — conf
Representing and Reasoning over Topological Relations in OWL.
WIMS
Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis
2013 — conf
Computing the Stratified Semantics of Logic Programs over Big Data through Mass Parallelization.
RuleML
Ilias Tachmazidis, Grigoris Antoniou
2013 — conf
Large-Scale Complex Reasoning with Semantics: Approaches and Challenges.
WISE Workshops
Grigoris Antoniou, Jeff Z. Pan, Ilias Tachmazidis
2012 A conf
Large-scale Parallel Stratified Defeasible Reasoning.
ECAI
Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas, Lee McCluskey
2012 — conf
Scalable Nonmonotonic Reasoning over RDF Data Using MapReduce.
SSWS+HPCSW@ISWC
Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas
2012 A* conf
Towards Parallel Nonmonotonic Reasoning with Billions of Facts.
KR
Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas