Items where Author is "Antoniou, G"

Batsakis, S and Tachmazidis, I and Mantle, M and Papadakis, N and Antoniou, G (2025) Model Checking Using Large Language Models—Evaluation and Future Directions. Electronics, 14 (2). pp. 1-34. ISSN 2079-9292 DOI: https://doi.org/10.3390/electronics14020401

Mantle, M and Batsakis, S and Antoniou, G (2024) Querying large-scale knowledge graphs using Qualitative Spatial Reasoning. Expert Systems with Applications, 258. pp. 1-14. ISSN 0957-4174 DOI: https://doi.org/10.1016/j.eswa.2024.125115

Peppas, P and Williams, M-A and Antoniou, G (2024) Revision operators with compact representations. Artificial Intelligence, 329. pp. 1-21. ISSN 0004-3702 DOI: https://doi.org/10.1016/j.artint.2024.104080