Seguir
Giulia Sindoni
Título
Citado por
Citado por
Año
The logic of discrete qualitative relations
G Sindoni, JG Stell
13th International Conference on Spatial Information Theory (COSIT 2017), 2017
102017
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
Ontology as Structure, Domain and Definition
B BENNETT, G SINDONI
TBC, 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
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–8