| The logic of discrete qualitative relations G Sindoni, JG Stell LIPIcs: Leibniz International Proceedings in Informatics 86, 2017 | 11 | 2017 |
| Axiomatizing discrete spatial relations G Sindoni, K Sano, JG Stell International Conference on Relational and Algebraic Methods in Computer …, 2018 | 7 | 2018 |
| Expressing discrete spatial relations under granularity G Sindoni, K Sano, JG Stell Journal of Logical and Algebraic Methods in Programming 122, 100682, 2021 | 4 | 2021 |
| Ubiskt-prolog: an automated theorem prover for a bi-intuitionistic modal logic with universal modalities G Sindoni, B Bennett Proceeding of Automated Reasoning Workshop, 21, 2019 | 1 | 2019 |
| Ontology as Structure, Domain and Definition B Bennett, G Sindoni Formal Ontology in Information Systems, 105-118, 2024 | | 2024 |
| Graph Granularity through Bi-intuitionistic Modal Logic G Sindoni University of Leeds, 2020 | | 2020 |
| Axiomatizing Discrete Spatial Relations (extended version with omitted proofs and automated theorem prover) G Sindoni, K Sano, JG Stell University of Leeds, 2018 | | 2018 |
| LIPIcs, Volume 86, COSIT'17, Complete Volume}} E Clementini, M Donnelly, M Yuan, C Kray, P Fogliaroni, A Ballatore, ... 13th International Conference on Spatial Information Theory (COSIT 2017) 86, 0, 2017 | | 2017 |