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 > School of Computing
Related resources:
LocationType
https://doi.org/10.1007/978-3-030-02149-8_8Publication
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

Files

Documentation

Program

Research Data Leeds Repository is powered by EPrints
Copyright © 2021 University of Leeds