Projects per year
Personal profile
Research Degree Supervision
If you are interested in studying for a PhD in this research subject area click here
For more details about the research topics, expertise and interests of this academic, click on the fingerprint icon
Google Scholar h-Index
17 from 893 citations
Last updated 8th June 2026
Biography
Ilias Tachmazidis is currently a Senior Lecturer at the University of Huddersfield, UK and a member of Centre for Autonomous and Intelligent Systems as well as Centre of Artificial Intelligence for Mental Health. His research interests fall in: Knowledge Representation and Reasoning, Semantic Web, Artificial Intelligence in Medicine, Artificial Intelligence in Law, High performance Computing and Distributed Computing.
He graduated from the University of Crete, Greece receiving both M.Sc. and B.Sc. in 2012 and 2010, respectively. As a PhD Candidate at the University of Huddersfield, UK he investigated whether, how and to what extent large-scale reasoning can be achieved through mass parallelization, while being supervised by Prof. Grigoris Antoniou. Upon graduation in 2015, he took up a position of Research Fellow within PARK and was promoted to Senior Research Fellow in 2019. He took up an academic position of Senior Lecturer in 2020.
Research Expertise and Interests
- Knowledge Representation
- Nonmonotonic Reasoning
- Semantic Web
- High Performance Computing
- Distributed Computing
- Artificial Intelligence in Medicine
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
-
SDG 3 Good Health and Well-being -
SDG 9 Industry, Innovation, and Infrastructure -
SDG 11 Sustainable Cities and Communities -
SDG 16 Peace, Justice and Strong Institutions
Fingerprint
Dive into the research topics where Ilias Tachmazidis is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 1 Finished
-
MIREL: MIning and REasoning with Legal texts
Antoniou, G. (CoI), Vallati, M. (CoI), Tachmazidis, I. (CoI), Mantle, M. (CoI) & Bargiannis, G. (CoI)
1/01/16 → 31/12/19
Project: Research
-
Benchmarking Defeasible Reasoning with Large Language Models
Tachmazidis, I., Batsakis, S., Antoniou, G., Cohn, A. G., Routsis, V., Bikakis, A. & Vidal, M.-E., 25 Jun 2026, (Accepted/In press) 14th EETN Conference on Artificial Intelligence (SETN 2026). Association for Computing Machinery (ACM)Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Model Checking Using Large Language Models—Evaluation and Future Directions
Batsakis, S., Tachmazidis, I., Mantle, M., Papadakis, N. & Antoniou, G., 20 Jan 2025, In: Electronics (Switzerland). 14, 2, 34 p., 401.Research output: Contribution to journal › Article › peer-review
Open Access5 Link opens in a new tab Citations (Scopus) -
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies
Robaldo, L., Batsakis, S., Calegari, R., Calimeri, F., Fujita, M., Governatori, G., Morelli, M. C., Pacenza, F., Pisano, G., Satoh, K., Tachmazidis, I. & Zangari, J., 1 Jun 2024, In: Artificial Intelligence and Law. 32, 2, p. 505-555 51 p.Research output: Contribution to journal › Article › peer-review
Open Access28 Link opens in a new tab Citations (Scopus) -
Model Checking with Large Language Models - Initial Experiments and Future Directions
Batsakis, S., Tachmazidis, I., Mantle, M., Papadakis, N. & Antoniou, G., 18 Dec 2024, 15th International Conference on Information, Intelligence, Systems and Applications, IISA 2024. Institute of Electrical and Electronics Engineers Inc., 8 p. 10786718Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Diagnosing attention-deficit hyperactivity disorder (ADHD) using artificial intelligence: a clinical study in the UK
Chen, T., Tachmazidis, I., Batsakis, S., Adamou, M., Papadakis, E. & Antoniou, G., 9 Jun 2023, In: Frontiers in Psychiatry. 14, 13 p., 1164433.Research output: Contribution to journal › Article › peer-review
Open Access46 Link opens in a new tab Citations (Scopus)
-
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
Bargiannis, G. (Speaker), Tachmazidis, I. (Contributor to Paper or Presentation), Batsakis, S. (Contributor to Paper or Presentation), Antoniou, G. (Contributor to Paper or Presentation), Alviano, M. (Contributor to Paper or Presentation) & Papadakis, E. (Contributor to Paper or Presentation)
20 Sept 2020Activity: Talk or presentation types › Oral presentation
-
17th IEEE International Conference on e-Business Engineering (Event)
Tachmazidis, I. (Programme Committee Member)
Jun 2020 → Oct 2020Activity: Publication peer-review and editorial work types › Conference Peer-review
-
11th IEEE International Conference on Knowledge Graph (Event)
Tachmazidis, I. (Programme Committee Member)
Jun 2020 → Aug 2020Activity: Publication peer-review and editorial work types › Conference Peer-review
-
16th International Conference on Information and Communication Technologies in Education, Research and Industrial Applications (Event)
Tachmazidis, I. (Programme Committee Member)
Jun 2020 → Oct 2020Activity: Publication peer-review and editorial work types › Conference Peer-review
-
Semantic Artificial Neural Networks
Batsakis, S. (Speaker), Tachmazidis, I. (Contributor to Paper or Presentation), Bargiannis, G. (Contributor to Paper or Presentation) & Antoniou, G. (Contributor to Paper or Presentation)
Jun 2020Activity: Talk or presentation types › Poster presentation