Large Scale Reasoning Using Allen's Interval Algebra. - Matthew Mantle; Sotirios Batsakis; Grigoris Antoniou (MICAI (2), 2016)

Large scale distributed spatio-temporal reasoning using real-world knowledge graphs. - Matthew Mantle; Sotirios Batsakis; Grigoris Antoniou (Knowl. Based Syst., 2019)

Large scale qualitative spatio-temporal reasoning. - Matthew Mantle (2021)

Model Checking with Large Language Models - Initial Experiments and Future Directions. - Sotiris Batsakis; Ilias Tachmazidis; Matthew Mantle; Nikolaos Papadakis; Grigoris Antoniou (IISA, 2024)

Querying large-scale knowledge graphs using Qualitative Spatial Reasoning. - Matthew Mantle; Sotirios Batsakis; Grigoris Antoniou (Expert Syst. Appl., 2024)