Notice: The reproducibility variables underlying each score are classified using an automated LLM-based pipeline, validated against a manually labeled dataset. LLM-based classification introduces uncertainty and potential bias; scores should be interpreted as estimates. Full accuracy metrics and methodology are described in Coakley et alK. L. Coakley, T. Snelleman, H. Hoos, and O. E. Gundersen, "The embrace of open science: An analysis of a decade of AI research and 56 800 conference papers," Under Review, 2026..
Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable
Authors: Heshan Du, Natasha Alechina2776-2783
AAAI 2019 | Venue PDF | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | We answer this question negatively by showing that the axiomatisations presented in (Du et al. 2013; Du and Alechina 2016) are not complete for 2D Euclidean spaces and, moreover, the logics are not ๏ฌnitely axiomatisable. |
| Researcher Affiliation | Academia | Heshan Du University of Nottingham Ningbo China Ningbo, China EMAIL Natasha Alechina University of Nottingham Nottingham, UK EMAIL |
| Pseudocode | No | The paper provides formal definitions, axioms, and proofs, but no pseudocode or algorithm blocks are present. |
| Open Source Code | No | The paper mentions using and evaluating third-party tools like Redlog and QEPCAD B, but it does not provide source code for the theoretical work presented in the paper itself. |
| Open Datasets | No | The paper is theoretical and does not involve training models on datasets. The mention of 'geospatial data' refers to the application domain, not experimental data used in this paper. |
| Dataset Splits | No | The paper is theoretical and does not involve empirical validation on datasets, thus no dataset split information for training, validation, or testing is provided. |
| Hardware Specification | Yes | We experimented with Redlog (a part of the computer algebra system Reduce, Free PSL version, revision 4726, 16 August 2018) and QEPCAD B (v.1.69, 16 March 2012) on a 2.4 GHz Intel Core i7, 8 GB 1600 MHz DDR3 Mac Book Pro. |
| Software Dependencies | Yes | We experimented with Redlog (a part of the computer algebra system Reduce, Free PSL version, revision 4726, 16 August 2018) and QEPCAD B (v.1.69, 16 March 2012) on a 2.4 GHz Intel Core i7, 8 GB 1600 MHz DDR3 Mac Book Pro. |
| Experiment Setup | No | The paper describes testing existing tools with a 'simple formula with 3 names' but does not provide specific experimental setup details like hyperparameters, training configurations, or system-level settings for its own research. |