Research Data Leeds Repository

Axiomatizing Discrete Spatial Relations (extended version with omitted proofs and automated theorem prover)

Citation

Sindoni, Giulia and Sano, Katsuhiko and Stell, John G. (2018) Axiomatizing Discrete Spatial Relations (extended version with omitted proofs and automated theorem prover). University of Leeds. [Dataset] https://doi.org/10.5518/427¹

Dataset description

An automated theorem prover for a class of logics. A set of axioms and propositions valid in the logic.

Subjects:	I000 - Computer sciences > I100 - Computer science2
Divisions:	Faculty of Engineering and Physical Sciences > School of Computing3
Related resources:	Location Type https://doi.org/10.1007/978-3-030-02149-8_84 Publication https://eprints.whiterose.ac.uk/137857/5 Publication
License:	Creative Commons Attribution 4.0 International (CC BY 4.0)
Date deposited:	12 Nov 2018 18:28
URI:	https://archive.researchdata.leeds.ac.uk/id/eprint/4506
Additional details Additional details Creators or authors: Creators ORCID Other ID Email Primary affiliation Primary affiliation ID Primary affiliation ID type Secondary affiliation Secondary affiliation ID Secondary affiliation ID type Sindoni, Giulia https://orcid.org/0000-0003-4003-23177 University of Leeds https://ror.org/024mrxd33 ror Sano, Katsuhiko https://orcid.org/0000-0002-7780-423X8 Hokkaido University https://ror.org/02e16g702 ror Stell, John G. https://orcid.org/0000-0001-9644-19089 University of Leeds https://ror.org/024mrxd33 ror Type of data: Dataset Publication date: 2018 Resource language: English Metadata language: English Publisher: University of Leeds Contact email: g.sindoni@leeds.ac.uk10 Last Modified: 28 Jan 2025 09:15

Files

Documentation

Read Me [1kB] 11 Read Me [1kB] 12 Read Me [1kB] 13 Security: Anyone File name: readme.txt14 Content type: Documentation Mime-Type: text/plain License: Creative Commons Attribution 4.0 International (CC BY 4.0) File size: 1kB

Axiomatizing Discrete Spatial Relations [604kB] 15 Axiomatizing Discrete Spatial Relations [604kB] 16 Axiomatizing Discrete Spatial Relations [604kB] 17 Security: Anyone File name: full-version-axiomatizing-discrete-spatial-relations-ramics2018.pdf18 Content type: Documentation Description: Extended version of the paper with omitted proofs. The final publication is available at Springer via https://doi.org/10.1007/978-3-030-02149-8_8 Mime-Type: application/pdf File size: 604kB

Program

Tableau prover [2MB] 19 Tableau prover [2MB] 20 Tableau prover [2MB] 21 Security: Anyone File name: tableau-prover.zip22 Content type: Program Mime-Type: application/zip File size: 2MB

• 1. https://doi.org/10.5518/427
• 2. https://archive.researchdata.leeds.ac.uk/view/subjects/I100.html
• 3. https://archive.researchdata.leeds.ac.uk/view/divisions/SC/
• 4. https://doi.org/10.1007/978-3-030-02149-8_8
• 5. https://eprints.whiterose.ac.uk/137857/
• 6. https://archive.researchdata.leeds.ac.uk/id/eprint/450
• 7. https://orcid.org/0000-0003-4003-2317
• 8. https://orcid.org/0000-0002-7780-423X
• 9. https://orcid.org/0000-0001-9644-1908
• 10. mailto:g.sindoni@leeds.ac.uk
• 11. https://archive.researchdata.leeds.ac.uk/450/1/readme.txt
• 12. https://archive.researchdata.leeds.ac.uk/450/1/readme.txt
• 13. https://archive.researchdata.leeds.ac.uk/450/1/readme.txt
• 14. https://archive.researchdata.leeds.ac.uk/450/1/readme.txt
• 15. https://archive.researchdata.leeds.ac.uk/450/2/full-version-axiomatizing-discrete-spatial-relations-ramics2018.pdf
• 16. https://archive.researchdata.leeds.ac.uk/450/2/full-version-axiomatizing-discrete-spatial-relations-ramics2018.pdf
• 17. https://archive.researchdata.leeds.ac.uk/450/2/full-version-axiomatizing-discrete-spatial-relations-ramics2018.pdf
• 18. https://archive.researchdata.leeds.ac.uk/450/2/full-version-axiomatizing-discrete-spatial-relations-ramics2018.pdf
• 19. https://archive.researchdata.leeds.ac.uk/450/3/tableau-prover.zip
• 20. https://archive.researchdata.leeds.ac.uk/450/3/tableau-prover.zip
• 21. https://archive.researchdata.leeds.ac.uk/450/3/tableau-prover.zip
• 22. https://archive.researchdata.leeds.ac.uk/450/3/tableau-prover.zip