John G. Stell

Affiliations:
  • University of Leeds, School of Computing, UK


According to our database1, John G. Stell authored at least 48 papers between 1987 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Expressing discrete spatial relations under granularity.
J. Log. Algebraic Methods Program., 2021

2019
Qualitative Spatial Representation for the Humanities.
Int. J. Humanit. Arts Comput., 2019

Graphical Partitions and Graphical Relations.
Fundam. Informaticae, 2019

2018
Axiomatizing Discrete Spatial Relations.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2018

2017
Approximation.
Proceedings of the Encyclopedia of GIS., 2017

Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics.
Proceedings of the Ninth Workshop on Methods for Modalities, 2017

The Logic of Discrete Qualitative Relations.
Proceedings of the 13th International Conference on Spatial Information Theory, 2017

Enabling Hand-Crafted Visual Markers at Scale.
Proceedings of the 2017 Conference on Designing Interactive Systems, 2017

2016
A bi-intuitionistic modal logic: Foundations and automation.
J. Log. Algebraic Methods Program., 2016

Ordered Information Systems and Graph Granulation.
Proceedings of the Rough Sets - International Joint Conference, 2016

2015
Symmetric Heyting relation algebras with applications to hypergraphs.
J. Log. Algebraic Methods Program., 2015

2014
Axiomatic and Tableau-Based Reasoning for Kt(H, R).
Proceedings of the Advances in Modal Logic 10, 2014

Tableau Development for a Bi-intuitionistic Tense Logic.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2013
Granular Description of Qualitative Change.
Proceedings of the IJCAI 2013, 2013

Formal Concept Analysis over Graphs and Hypergraphs.
Proceedings of the Graph Structures for Knowledge Representation and Reasoning, 2013

2012
Relations on Hypergraphs.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

2011
Relations between adjacency trees.
Theor. Comput. Sci., 2011

Spatio-temporal Evolution as Bigraph Dynamics.
Proceedings of the Spatial Information Theory - 10th International Conference, 2011

2010
A Graph Model for Spatio-temporal Evolution.
J. Univers. Comput. Sci., 2010

Relational Granularity for Hypergraphs.
Proceedings of the Rough Sets and Current Trends in Computing, 2010

Qualitative Change to 3-Valued Regions.
Proceedings of the Geographic Information Science, 6th International Conference, 2010

2009
To Be and Not To Be: 3-Valued Relations on Graphs.
Proceedings of the Spatial Information Theory, 9th International Conference, 2009

2008
Approximation.
Proceedings of the Encyclopedia of GIS., 2008

A Theory of Change for Attributed Spatial Entities.
Proceedings of the Geographic Information Science, 5th International Conference, 2008

2007
Oriented matroids as a foundation for space in GIS.
Comput. Environ. Urban Syst., 2007

Relations in Mathematical Morphology with Applications to Graphs and Rough Sets.
Proceedings of the Spatial Information Theory, 8th International Conference, 2007

2004
Part and Complement: Fundamental Concepts in Spatial Relations.
Ann. Math. Artif. Intell., 2004

2003
Qualitative Extents for Spatio-Temporal Granularity.
Spatial Cogn. Comput., 2003

Convexity in Discrete Space.
Proceedings of the Spatial Information Theory. Foundations of Geographic Information Science, 2003

Stratified Rough Sets and Vagueness.
Proceedings of the Spatial Information Theory. Foundations of Geographic Information Science, 2003

Granularity in Change over Time.
Proceedings of the Foundations of Geographic Information Science, 2003

2002
Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic.
J. Appl. Non Class. Logics, 2002

Vagueness and Rough Location.
GeoInformatica, 2002

A Qualitative Account of Discrete Space.
Proceedings of the Geographic Information Science, Second International Conference, 2002

A Framework for Order-Sorted Algebra.
Proceedings of the Algebraic Methodology and Software Technology, 2002

2001
Spatial relations between indeterminate regions.
Int. J. Approx. Reason., 2001

Tripod: A Comprehensive System for the Management of Spatial and Aspatial Historical Objects.
Proceedings of the ACM-GIS 2001, 2001

2000
Approximate qualitative spatial reasoning.
Spatial Cogn. Comput., 2000

Boolean connection algebras: A new approach to the Region-Connection Calculus.
Artif. Intell., 2000

Rough Sets in Approximate Spatial Reasoning.
Proceedings of the Rough Sets and Current Trends in Computing, 2000

The Representation of Discrete Multi-resolution Spatial Knowledge.
Proceedings of the KR 2000, 2000

1999
Generalizing Graphs Using Amalgamation and Selection.
Proceedings of the Advances in Spatial Databases, 1999

Granulation for Graphs.
Proceedings of the Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science, 1999

1998
A Boundary-Sensitive Approach to Qualitative Location.
Ann. Math. Artif. Intell., 1998

1997
The danger of using axioms in software metrics.
IEE Proc. Softw. Eng., 1997

The Algebraic Structure of Sets of Regions.
Proceedings of the Spatial Information Theory: A Theoretical Basis for GIS, 1997

1990
Unique-Sort Order-Sorted Theories: A Description as Monad Morphisms.
Proceedings of the Conditional and Typed Rewriting Systems, 1990

1987
Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms.
Proceedings of the Category Theory and Computer Science, 1987


  Loading...