Research Data Leeds Repository

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

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:	http://archive.researchdata.leeds.ac.uk/id/eprint/450
Additional details Additional details Creators: 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://doi.org/10.13039/501100000777 Crossref Sano, Katsuhiko Stell, John G. Type of data: Dataset Publication date: 2018 Resource language: English Metadata language: English Publisher: University of Leeds Contact Email Address: g.sindoni@leeds.ac.uk Last Modified: 16 Nov 2018 12:42

Files

Documentation

Read Me [1kB] Read Me [1kB] Read Me [1kB] Visible to: 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] Visible to: 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] Visible to: Anyone File name: tableau-prover.zip Content type: Program Mime-Type: application/zip File size: 2MB