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 [1].
Relations Between Spatial Calculi About Directions and Orientations
Authors: Till Mossakowski, Reinhard Moratz
JAIR 2015 | Venue PDF | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | Viewing relation algebras as universal algebras and applying and modifying standard tools from universal algebra in this work, we (re)define notions of qualitative constraint calculus, of homomorphism between calculi, and of quotient of calculi.Based on this method we derive important properties for spatial calculi from corresponding properties of related calculi. |
| Researcher Affiliation | Academia | Till Mossakowski EMAIL Otto-von-Guericke-University of Magdeburg, Faculty of Computer Science Universitätsplatz 2 39106 Magdeburg Reinhard Moratz EMAIL University of Maine, National Center for Geographic Information and Analysis, School of Computing and Information Science, 348 Boardman Hall, Orono, 04469 Maine, USA. |
| Pseudocode | No | The paper describes algorithms verbally (e.g., path consistency algorithm in Section 2) but does not present any pseudocode or algorithm blocks. |
| Open Source Code | Yes | We have published Haskell tools used for finding and checking homomorphisms between calculi in a public repository.15 15. See https://github.com/spatial-reasoning/homer |
| Open Datasets | No | The paper is theoretical and defines formal concepts and calculi. It does not conduct experiments that would require datasets. |
| Dataset Splits | No | The paper does not describe experimental evaluation on datasets, therefore no dataset split information is provided. |
| Hardware Specification | No | The paper is theoretical and does not report on experimental results, therefore no hardware specifications are provided. |
| Software Dependencies | No | The paper mentions Haskell tools and other tools like GQR and SparQ, but does not specify their version numbers or the version numbers of any other software dependencies. |
| Experiment Setup | No | The paper is theoretical and focuses on mathematical definitions and properties of spatial calculi. It does not describe any experimental setup or hyperparameters. |