John G. Stell

Proceedings of the 12th International Conference on Geographic Information Science, 2023

Towards an Extensible Framework for Understanding Spatial Narratives.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM SIGSPATIAL International Workshop on Geospatial Humanities, 2023

2021

Expressing discrete spatial relations under granularity.

[BibT_eX]

[DOI]

Giulia Sindoni

Katsuhiko Sano

J. Log. Algebraic Methods Program., 2021

2019

Qualitative Spatial Representation for the Humanities.

[BibT_eX]

[DOI]

Int. J. Humanit. Arts Comput., 2019

Graphical Partitions and Graphical Relations.

[BibT_eX]

[DOI]

Tanzeela Shaheen

Fundam. Informaticae, 2019

2018

Axiomatizing Discrete Spatial Relations.

[BibT_eX]

[DOI]

Giulia Sindoni

Katsuhiko Sano

Proceedings of the Relational and Algebraic Methods in Computer Science, 2018

2017

Approximation.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of GIS., 2017

Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics.

[BibT_eX]

[DOI]

Katsuhiko Sano

Proceedings of the Ninth Workshop on Methods for Modalities, 2017

The Logic of Discrete Qualitative Relations.

[BibT_eX]

[DOI]

Giulia Sindoni

Stefan Rennick Egglestone

Proceedings of the 13th International Conference on Spatial Information Theory, 2017

Enabling Hand-Crafted Visual Markers at Scale.

[BibT_eX]

[DOI]

Proceedings of the 2017 Conference on Designing Interactive Systems, 2017

2016

A bi-intuitionistic modal logic: Foundations and automation.

[BibT_eX]

[DOI]

Renate A. Schmidt

J. Log. Algebraic Methods Program., 2016

Ordered Information Systems and Graph Granulation.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets - International Joint Conference, 2016

2015

Symmetric Heyting relation algebras with applications to hypergraphs.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2015

2014

Axiomatic and Tableau-Based Reasoning for Kt(H, R).

[BibT_eX]

[DOI]

Renate A. Schmidt

Proceedings of the Advances in Modal Logic 10, 2014

Tableau Development for a Bi-intuitionistic Tense Logic.

[BibT_eX]

[DOI]

Renate A. Schmidt

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2013

Granular Description of Qualitative Change.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Formal Concept Analysis over Graphs and Hypergraphs.

[BibT_eX]

[DOI]

Proceedings of the Graph Structures for Knowledge Representation and Reasoning, 2013

2012

Relations on Hypergraphs.

[BibT_eX]

[DOI]

Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

2011

Relations between adjacency trees.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

Spatio-temporal Evolution as Bigraph Dynamics.

[BibT_eX]

[DOI]

Proceedings of the Spatial Information Theory - 10th International Conference, 2011

2010

A Graph Model for Spatio-temporal Evolution.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2010

Relational Granularity for Hypergraphs.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets and Current Trends in Computing, 2010

Qualitative Change to 3-Valued Regions.

[BibT_eX]

[DOI]

Proceedings of the Geographic Information Science, 6th International Conference, 2010

2009

To Be and Not To Be: 3-Valued Relations on Graphs.

[BibT_eX]

[DOI]

Proceedings of the Spatial Information Theory, 9th International Conference, 2009

2008

Approximation.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of GIS., 2008

A Theory of Change for Attributed Spatial Entities.

[BibT_eX]

[DOI]

Proceedings of the Geographic Information Science, 5th International Conference, 2008

2007

Oriented matroids as a foundation for space in GIS.

[BibT_eX]

[DOI]

Julian Webster

Comput. Environ. Urban Syst., 2007

Relations in Mathematical Morphology with Applications to Graphs and Rough Sets.

[BibT_eX]

[DOI]

Proceedings of the Spatial Information Theory, 8th International Conference, 2007

2004

Part and Complement: Fundamental Concepts in Spatial Relations.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2004

2003

Qualitative Extents for Spatio-Temporal Granularity.

[BibT_eX]

[DOI]

Spatial Cogn. Comput., 2003

Convexity in Discrete Space.

[BibT_eX]

[DOI]

Anthony J. Roy

Proceedings of the Spatial Information Theory. Foundations of Geographic Information Science, 2003

Stratified Rough Sets and Vagueness.

[BibT_eX]

[DOI]

Proceedings of the Spatial Information Theory. Foundations of Geographic Information Science, 2003

Granularity in Change over Time.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Geographic Information Science, 2003

2002

Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic.

[BibT_eX]

[DOI]

Paolo Torrini

Brandon Bennett

J. Appl. Non Class. Logics, 2002

Vagueness and Rough Location.

[BibT_eX]

[DOI]

GeoInformatica, 2002

A Qualitative Account of Discrete Space.

[BibT_eX]

[DOI]

Anthony J. Roy

Proceedings of the Geographic Information Science, Second International Conference, 2002

A Framework for Order-Sorted Algebra.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

Spatial relations between indeterminate regions.

[BibT_eX]

[DOI]

Anthony J. Roy

Int. J. Approx. Reason., 2001

Tripod: A Comprehensive System for the Management of Spatial and Aspatial Historical Objects.

[BibT_eX]

[DOI]

Tony Griffiths

Alvaro A. A. Fernandes

Proceedings of the ACM-GIS 2001, 2001

2000

Approximate qualitative spatial reasoning.

[BibT_eX]

[DOI]

Spatial Cogn. Comput., 2000

Boolean connection algebras: A new approach to the Region-Connection Calculus.

[BibT_eX]

[DOI]

Artif. Intell., 2000

Rough Sets in Approximate Spatial Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets and Current Trends in Computing, 2000

The Representation of Discrete Multi-resolution Spatial Knowledge.

[BibT_eX]

Proceedings of the KR 2000, 2000

1999

Generalizing Graphs Using Amalgamation and Selection.

[BibT_eX]

[DOI]

Proceedings of the Advances in Spatial Databases, 1999

Granulation for Graphs.

[BibT_eX]

[DOI]

Proceedings of the Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science, 1999

1998

A Boundary-Sensitive Approach to Qualitative Location.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1998

1997

The danger of using axioms in software metrics.

[BibT_eX]

[DOI]

Barbara A. Kitchenham

IEE Proc. Softw. Eng., 1997

The Algebraic Structure of Sets of Regions.

[BibT_eX]

[DOI]

Proceedings of the Spatial Information Theory: A Theoretical Basis for GIS, 1997

1990

Unique-Sort Order-Sorted Theories: A Description as Monad Morphisms.

[BibT_eX]

[DOI]

Proceedings of the Conditional and Typed Rewriting Systems, 1990

1987

Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms.

[BibT_eX]

[DOI]