Items where Author is "Mantle, M"

Article

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