Ilias Tachmazidis - Publications, H-index & Citations

Ilias Tachmazidis

University of Huddersfield

14H指数

52论文数

642被引数

收录论文 6

发表时间

Model Checking Using Large Language Models-Evaluation and Future Directions 基于大型语言模型的模型检测——评估与未来方向

ELECTRONICS

IF2.6

2025-01-20

OAAI

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

Diagnosing attention-deficit hyperactivity disorder (ADHD) using artificial intelligence: a clinical study in the UK

FRONTIERS IN PSYCHIATRY

IF3.2

2023-06-09

OAAI

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

Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies 具有冲突和补偿性规范的一阶知识的合规性检查: 当前可用技术之间的比较

artificial intelligence in agriculture

IF3.1

2023-06-02

OAAI

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

Enabling the use of a planning agent for urban traffic management via enriched and integrated urban data

TRANSPORTATION RESEARCH PART C-EMERGING TECHNOLOGIES

IF7.9

2019-01-01

OAAI

Antoniou, Grigoris; Batsakis, Sotiris; Davies, John; Duke, Alistair; McCluskey, Thomas L.; Peytchev, Evtim; Tachmazidis, Ilias; Vallati, Mauro

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

JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING

IF4

2017-12-01

OAAI

Cheng, Long; Tachmazidis, Ilias; Kotoulas, Spyros; Antoniou, Grigoris

Temporal representation and reasoning in OWL 2

SEMANTIC WEB

IF2.9

2017-08-07

PREAI

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

研究方向