Ilias Tachmazidis

ORCID

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 27

Top Venues

CoRR

Theory Pract. Log. Program.

WIMS

FLAP

University of Huddersfield, UK (PHD)

Education History

University of Huddersfield, UK

PHD

Publications

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. Artif. Intell. Law 32 (2) (2024)
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)
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)
Grigoris Antoniou, Katie Atkinson, George Baryannis, Sotiris Batsakis, Luigo Di Caro, Guido Governatori, Livio Robaldo, Giovanni Siragusa, Ilias Tachmazidis
Explainable Reasoning with Legal Big Data: A Layered Framework. FLAP 9 (4) (2022)
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. Digit. 2 (2) (2022)
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) (2021)
Sotiris Batsakis, Marios Adamou, Ilias Tachmazidis, Grigoris Antoniou, Thanasis Kehagias
Data-Driven Decision Support for Autism Diagnosis using Machine Learning. MEDES (2021)
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) (2021)
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) (2021)
Sotirios Batsakis, Ilias Tachmazidis, George Baryannis, Grigoris Antoniou
Semantic Artificial Neural Networks. ESWC (Satellite Events) (2020)
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. Theory Pract. Log. Program. 20 (5) (2020)
Michael J. Maher, Ilias Tachmazidis, Grigoris Antoniou, Stephen Wade, Long Cheng
Rethinking Defeasible Reasoning: A Scalable Approach. Theory Pract. Log. Program. 20 (4) (2020)
Michael J. Maher, Ilias Tachmazidis, Grigoris Antoniou, Stephen Wade, Long Cheng
Rethinking Defeasible Reasoning: A Scalable Approach. CoRR (2020)
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. CoRR (2020)
Michalis Georgiou, Ilias Tachmazidis, Grigoris Antoniou
Hypercat JSON-LD: A Semantically Enriched Catalogue Format for IoT. WIMS (2019)
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. CoRR (2018)
Grigoris Antoniou, Sotiris Batsakis, Raghava Mutharaju, Jeff Z. Pan, Guilin Qi, Ilias Tachmazidis, Jacopo Urbani, Zhangquan Zhou
A survey of large-scale reasoning on the Web of data. Knowl. Eng. Rev. 33 (2018)
Sotiris Batsakis, George Baryannis, Guido Governatori, Ilias Tachmazidis, Grigoris Antoniou
Legal Representation and Reasoning in Practice: A Critical Comparison. JURIX (2018)
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)
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. Theory Pract. Log. Program. 18 (3-4) (2018)
Ilias Tachmazidis, Sotiris Batsakis, John Davies, Alistair Duke, Mauro Vallati, Grigoris Antoniou, Sandra Stincic Clarke
A Hypercat-Enabled Semantic Internet of Things Data Hub. ESWC (2) (2017)
Sotiris Batsakis, Ilias Tachmazidis, Grigoris Antoniou
Representing Time and Space for the Semantic Web. Int. J. Artif. Intell. Tools 26 (3) (2017)
Ilias Tachmazidis, Sotiris Batsakis, John Davies, Alistair Duke, Mauro Vallati, Grigoris Antoniou, Sandra Stincic Clarke
A Hypercat-enabled Semantic Internet of Things Data Hub: Technical Report. CoRR (2017)
Long Cheng, Ilias Tachmazidis, Spyros Kotoulas, Grigoris Antoniou
Design and evaluation of small-large outer joins in cloud computing environments. J. Parallel Distributed Comput. 110 (2017)
Sotiris Batsakis, Euripides G. M. Petrakis, Ilias Tachmazidis, Grigoris Antoniou
Temporal representation and reasoning in OWL 2. Semantic Web 8 (6) (2017)
Ilias Tachmazidis, John Davies, Sotiris Batsakis, Alistair Duke, Grigoris Antoniou, Sandra Stincic Clarke
A Semantically Enriched Hypercat-enabled Internet of Things Data Hub. ISWC (Posters, Demos & Industry Tracks) (2017)
Ilias Tachmazidis, John Davies, Sotiris Batsakis, Grigoris Antoniou, Alistair Duke, Sandra Stincic Clarke
Hypercat RDF: Semantic Enrichment for IoT. JIST (2016)
Federico Cerutti, Ilias Tachmazidis, Mauro Vallati, Sotirios Batsakis, Massimiliano Giacomin, Grigoris Antoniou
Exploiting Parallelism for Hard Problems in Abstract Argumentation. AAAI (2015)
Sotiris Batsakis, Ilias Tachmazidis, Grigoris Antoniou
Representing Time for the Semantic Web. MIWAI (2015)
Ilias Tachmazidis, Grigoris Antoniou, Wolfgang Faber
Efficient Computation of the Well-Founded Semantics over Big Data. Theory Pract. Log. Program. 14 (4-5) (2014)
Ilias Tachmazidis, Long Cheng, Spyros Kotoulas, Grigoris Antoniou, Tomas E. Ward
Massively Parallel Reasoning under the Well-Founded Semantics Using X10. ICTAI (2014)
Grigoris Antoniou, Sotiris Batsakis, Ilias Tachmazidis
Large-Scale Reasoning with (Semantic) Data. WIMS (2014)
Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis
Reasoning over Spatial Orientation Relations Using Rules. ADBIS (2) (2014)
Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis
Representing and Reasoning over Topological Relations in OWL. WIMS (2014)
Ilias Tachmazidis, Grigoris Antoniou, Wolfgang Faber
Efficient Computation of the Well-Founded Semantics over Big Data. CoRR (2014)
Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis
Integrated Representation of Spatial Topological and Size Relations for the Semantic Web. MIWAI (2014)
Federico Cerutti, Ilias Tachmazidis, Mauro Vallati, Sotiris Batsakis, Massimiliano Giacomin, Grigoris Antoniou
Exploiting Parallelism for Hard Problems in Abstract Argumentation: Technical Report. CoRR (2014)
Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis
Integrated Representation of Temporal Intervals and Durations for the Semantic Web. ADBIS (2) (2014)
Ilias Tachmazidis, Grigoris Antoniou
Computing the Stratified Semantics of Logic Programs over Big Data through Mass Parallelization. RuleML (2013)
Grigoris Antoniou, Jeff Z. Pan, Ilias Tachmazidis
Large-Scale Complex Reasoning with Semantics: Approaches and Challenges. WISE Workshops (2013)
Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas
Scalable Nonmonotonic Reasoning over RDF Data Using MapReduce. SSWS+HPCSW@ISWC (2012)
Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas
Towards Parallel Nonmonotonic Reasoning with Billions of Facts. KR (2012)
Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas, Lee McCluskey
Large-scale Parallel Stratified Defeasible Reasoning. ECAI (2012)

Ilias Tachmazidis.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ilias Tachmazidis