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
4 from 50 citations
Last updated 4th June 2026
Biography
After working for several years in the area of web design and development I have worked as a lecturer in interactive media since 2000. I teach a variety of modules all related in some way to the design and development of web applications.
Research Expertise and Interests
- Real-World Knowledge
- Algebra
- Graph
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
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
-
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 Access4 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
-
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 Access4 Link opens in a new tab Citations (Scopus) -
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 AccessFile21 Link opens in a new tab Citations (Scopus) -
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 Link opens in a new tab Citations (Scopus)
Activities
- 1 Conference Peer-review
-
11th IEEE International Conference on Knowledge Graph (Event)
Mantle, M. (Programme Committee Member)
Jun 2020 → Aug 2020Activity: Publication peer-review and editorial work types › Conference Peer-review