Research output per year
Research output per year
Search results
-
2025
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 Access -
2024
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
-
Querying large-scale knowledge graphs using Qualitative Spatial Reasoning
Mantle, M., Batsakis, S. & Antoniou, G., 15 Dec 2024, In: Expert Systems with Applications. 258, 14 p., 125115.Research output: Contribution to journal › Article › peer-review
Open Access -
2019
Large scale distributed spatio-temporal reasoning using real-world knowledge graphs
Mantle, M., Batsakis, S. & Antoniou, G., 1 Jan 2019, In: Knowledge-Based Systems. 163, p. 214-226 13 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile20 Citations (Scopus) -
2017
Large Scale Reasoning Using Allen's Interval Algebra
Mantle, M., Batsakis, S. & Antoniou, G., 2 Aug 2017, Advances in Soft Computing: 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23–28, 2016, Proceedings, Part II. Pichardo-Lagunas, O. & Miranda-Jiménez, S. (eds.). Springer, Cham, Vol. LNCS 10062. p. 29-41 13 p. (Lecture Notes in Computer Science; vol. LNCS 10062).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access4 Citations (Scopus)