Publications

2023
  1. Sotirios Batsakis, Emmanuel Papadakis, Ilias Tachmazidis, Tianhua Chen, Grigoris Antoniou, Marios Adamou: "Neuro Intel: A System for Clinical Diagnosis of Attention Deficit Hyperactivity Disorder (ADHD) Using Artificial Intelligence". ISCC 2023: 1-6
  2. 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. "Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies". Artificial Intelligence and Law, 2023
  3. Tianhua Chen, Ilias Tachmazidis, Sotiris Batsakis, Marios Adamou, Emmanuel Papadakis, Grigoris Antoniou. "Diagnosing attention-deficit hyperactivity disorder (ADHD) using artificial intelligence: a clinical study in the UK". Frontiers in Psychiatry 14:1164433
2022
  1. Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis. "Taking stock of available technologies for compliance checking on first-order knowledge". CILC 2022: 1-16
  2. Grigoris Antoniou, Katie Atkinson, George Baryannis, Sotiris Batsakis, Luigi Di Caro, Guido Governatori, Livio Robaldo, Giovanni Siragusa, Ilias Tachmazidis. "Explainable Reasoning with Legal Big Data: A Layered Framework". IfCoLoG Journal of Logics and their Applications 9 (4), 1155-1170
  3. Sotirios Batsakis, Marios Adamou, Ilias Tachmazidis, Sarah Jones, Sofya Titarenko, Grigoris Antoniou, Thanasis Kehagias. "Data-Driven Decision Support for Adult Autism Diagnosis Using Machine Learning". Digital 2 (2), 224-243
2021
  1. Sotiris Batsakis, Marios Adamou, Ilias Tachmazidis, Grigoris Antoniou, Thanasis Kehagias. "Data-Driven Decision Support for Autism Diagnosis using Machine Learning". MEDES 2021: 30-34
  2. Ilias Tachmazidis, Tianhua Chen, Marios Adamou, Grigoris Antoniou. "A hybrid AI approach for supporting clinical diagnosis of attention deficit hyperactivity disorder (ADHD) in adults". Health Inf. Sci. Syst. 9(1): 1 (2021)
  3. Tianhua Chen, Grigoris Antoniou, Marios Adamou, Ilias Tachmazidis, Pan Su. "Automatic Diagnosis of Attention Deficit Hyperactivity Disorder Using Machine Learning". Appl. Artif. Intell. 35(9): 657-669 (2021)
  4. Grigoris Antoniou, George Baryannis, Sotiris Batsakis, Guido Governatori, Mohammad Badiul Islam, Qing Liu, Livio Robaldo, Giovanni Siragusa, Ilias Tachmazidis. "Large-scale Legal Reasoning with Rules and Databases". FLAP 8(4): 911-940 (2021)
2020
  1. George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Emmanuel Papadakis. "A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming". TPLP 20(5): 687-702 (2020)
  2. Michael J. Maher, Ilias Tachmazidis, Grigoris Antoniou, Stephen Wade, Long Cheng. "Rethinking Defeasible Reasoning: A Scalable Approach". TPLP 20(4): 552-586 (2020)
  3. Sotirios Batsakis, Ilias Tachmazidis, George Baryannis, Grigoris Antoniou. "Semantic Artificial Neural Networks". Extended Semantic Web Conference 2020. Springer, Cham, 2020
2019
  1. Zaheer-Ud-Din Babar, Sara Ramzan, Faris El-Dahiyat, Ilias Tachmazidis, Adeola Adebisi, Syed Shahzad Hasan. "The availability, pricing and affordability of essential diabetes medicines in 17 low-, middle-and high-income countries". Frontiers in Pharmacology 10, 1375
  2. Michalis Georgiou, Ilias Tachmazidis, Grigoris Antoniou. "Hypercat JSON-LD: A Semantically Enriched Catalogue Format for IoT". WIMS 2019: 13:1-13:12.
  3. Grigoris Antoniou, Sotiris Batsakis, John Davies, Alistair Duke, Thomas L McCluskey, Evtim Peytchev, Ilias Tachmazidis, Mauro Vallati. "Enabling the use of a planning agent for urban traffic management via enriched and integrated urban data". Transportation Research Part C: Emerging Technologies 98 (2019): 284-297.
2018
  1. Grigoris Antoniou, Sotiris Batsakis, Raghava Mutharaju, Jeff Z. Pan, Guilin Qi, Ilias Tachmazidis, Jacopo Urbani and Zhangquan Zhou, "A survey of large-scale reasoning on the Web of data", The Knowledge Engineering Review, vol. 33, p. e21, 2018. (Survey Paper).
  2. Sotiris Batsakis, George Baryannis, Guido Governatori, Ilias Tachmazidis, Grigoris Antoniou. "Legal Representation and Reasoning in Practice: A Critical Comparison". JURIX 2018: 31-40
  3. Ilias Tachmazidis, Sotiris Batsakis, John Davies, Alistair Duke, Grigoris Antoniou, Sandra Stincic Clarke. "Optimizing a Semantically Enriched Hypercat-enabled Internet of Things Data Hub". SSN@ISWC 2018: 64-71
  4. Grigoris Antoniou, George Baryannis, Sotiris Batsakis, Guido Governatori, Livio Robaldo, Giovanni Siragusa, Ilias Tachmazidis, "Legal Reasoning and Big Data: Opportunities and Challenges", in: MIREL 2018 Workshop, 2018.
  5. George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Timos Sellis, Pei-Wei Tsai. "A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming". TPLP 18(3-4): 355-371 (2018)
    2017
    1. Ilias Tachmazidis, John Davies, Sotiris Batsakis, Alistair Duke, Grigoris Antoniou, Sandra Stincic Clarke. "A Semantically Enriched Hypercat-enabled Internet of Things Data Hub". International Semantic Web Conference (Posters, Demos & Industry Tracks) 2017
    2. Sotiris Batsakis, Ilias Tachmazidis, Grigoris Antoniou. "Representing Time and Space for the Semantic Web". International Journal on Artificial Intelligence Tools 26(3): 1-30 (2017).
    3. Sotiris Batsakis, Euripides G. M. Petrakis, Ilias Tachmazidis, Grigoris Antoniou. "Temporal Representation and Reasoning in OWL 2". Semantic Web 8(6): 981-1000 (2017).
    4. Ilias Tachmazidis, Sotiris Batsakis, John Davies, Alistair Duke, Mauro Vallati, Grigoris Antoniou, and Sandra Stincic Clarke. "A Hypercat-Enabled Semantic Internet of Things Data Hub". ESWC (2) 2017: 125-137. (Presentation video: Videolectures ESWC 2017)
    5. Ilias Tachmazidis, Sotiris Batsakis, John Davies, Alistair Duke, Mauro Vallati, Grigoris Antoniou, and Sandra Stincic Clarke. "A Hypercat-enabled Semantic Internet of Things Data Hub: Technical Report". CoRR abs/1703.00391 (2017).
    6. Long Cheng, Ilias Tachmazidis, Spyros Kotoulas, Grigoris Antoniou. "Design and Evaluation of Small-Large Outer Joins in Cloud Computing Environments". Journal of Parallel and Distributed Computing, March 2017.
    2016
    1. Ilias Tachmazidis, John Davies, Sotiris Batsakis, Grigoris Antoniou, Alistair Duke, and Sandra Stincic Clarke. "Hypercat RDF: Semantic Enrichment for IoT". JIST 2016: 273-286.
    2015
    1. Ilias Tachmazidis. "Large-scale Reasoning with Nonmonotonic and Imperfect Knowledge Through Mass Parallelization". Doctoral thesis, University of Huddersfield, 2015.
    2. Sotiris Batsakis, Ilias Tachmazidis, Grigoris Antoniou. "Representing Time for the Semantic Web". MIWAI 2015: 3-15.
    3. Federico Cerutti, Ilias Tachmazidis, Mauro Vallati, Sotirios Batsakis, Massimiliano Giacomin, Grigoris Antoniou. "Exploiting Parallelism for Hard Problems in Abstract Argumentation". AAAI 2015: 1475-1481.
    2014
    1. Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis. "Integrated Representation of Spatial Topological and Size Relations for the Semantic Web". MIWAI 2014.
    2. Ilias Tachmazidis, Long Cheng, Spyros Kotoulas, Grigoris Antoniou and Tomas E. Ward. "Massively Parallel Reasoning under the Well-Founded Semantics using X10". ICTAI 2014. 
    3. Sotiris Batsakis, Grigoris Antoniou and Ilias Tachmazidis. "Integrated Representation of Temporal Intervals and Durations for the Semantic Web". ADBIS 2014.
    4. Sotiris Batsakis, Grigoris Antoniou and Ilias Tachmazidis. "Reasoning over Spatial Orientation Relations Using Rules". ADBIS 2014.
    5. Ilias Tachmazidis, Grigoris Antoniou, Wolfgang Faber. "Computing Answer Sets for Monadic Logic Programs via MapReduce". ASPOCP 2014.
    6. Ilias Tachmazidis, Grigoris Antoniou, Wolfgang Faber. "Efficient Computation of the Well-Founded Semantics over Big Data". TPLP 14(4-5): 445-459 (2014)
    7. Grigoris Antoniou, Sotiris Batsakis, Ilias Tachmazidis. "Large-Scale Reasoning with (Semantic) Data". WIMS 2014: 1.
    8. Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis. "Representing and Reasoning over Topological Relations in OWL". WIMS 2014: 29.
    2013
    1. Grigoris Antoniou, Jeff Z. Pan, Ilias Tachmazidis. "Large-Scale Complex Reasoning with Semantics: Approaches and Challenges". WISE Workshops 2013: 1–10.
    2. Ilias Tachmazidis, Grigoris Antoniou. "Computing the Stratified Semantics of Logic Programs over Big Data through Mass Parallelization". RuleML 2013: 188-202 (Best Paper Award).
    2012
    1. Ilias Tachmazidis. "Large Scale Nonmonotonic Reasoning". Master's thesis, University of Crete, 2012.
    2. Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas. "Scalable Nonmonotonic Reasoning over RDF Data Using MapReduce". SSWS+HPCSW 2012.
    3. Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas, Lee McCluskey. "Large-scale Parallel Stratified Defeasible Reasoning". ECAI 2012: 738-743.
    4. Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas. "Towards Parallel Nonmonotonic Reasoning with Billions of Facts". KR 2012.