Research Data Leeds Repository

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 science
Divisions:	Faculty of Engineering and Physical Sciences > School of Computing
Related resources:	Location Type https://doi.org/10.1007/978-3-030-02149-8_8 Publication http://eprints.whiterose.ac.uk/137857/ 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/450
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-2317 University of Leeds https://ror.org/024mrxd33 ror Sano, Katsuhiko https://orcid.org/0000-0002-7780-423X Hokkaido University https://ror.org/02e16g702 ror Stell, John G. https://orcid.org/0000-0001-9644-1908 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.uk Last Modified: 30 Jul 2024 13:39

Files

Documentation

Read Me [1kB] Read Me [1kB] Read Me [1kB] Security: Anyone File name: readme.txt 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] Axiomatizing Discrete Spatial Relations [604kB] Axiomatizing Discrete Spatial Relations [604kB] Security: Anyone File name: full-version-axiomatizing-discrete-spatial-relations-ramics2018.pdf 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] Tableau prover [2MB] Tableau prover [2MB] Security: Anyone File name: tableau-prover.zip Content type: Program Mime-Type: application/zip File size: 2MB