Follow
Giulia Sindoni
Giulia Sindoni
Verified email at leeds.ac.uk
Title
Cited by
Cited by
Year
The logic of discrete qualitative relations
G Sindoni, JG Stell
13th International Conference on Spatial Information Theory (COSIT 2017), 2017
92017
Axiomatizing discrete spatial relations
G Sindoni, K Sano, JG Stell
International Conference on Relational and Algebraic Methods in Computer …, 2018
72018
Expressing discrete spatial relations under granularity
G Sindoni, K Sano, JG Stell
Journal of Logical and Algebraic Methods in Programming 122, 100682, 2021
42021
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
12019
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
13th International Conference on Spatial Information Theory (COSIT 2017)
G Sindoni, JG Stell, M Grüninger, B Aameri, Z Falomir, C Angulo, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2017
2017
Ontology as Structure, Domain and Definition
B BENNETT, G SINDONI
The system can't perform the operation now. Try again later.
Articles 1–8