John G. Stell

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 14

Top Topics

Dependency Trees

Ordered Information Systems

Spatial Relations

Top Venues

J. Log. Algebraic Methods Program.

Fundam. Informaticae

Publications

Ignacio Bellas Acosta, John G. Stell
Monotone $\varOmega $-Sup-Fuzzy Relations: Converse and Complementation. RAMiCS (2024)
Erum Haris, Anthony G. Cohn, John G. Stell
Exploring Spatial Representations in the Historical Lake District Texts with LLM-based Relation Extraction. GeoExT@ECIR (2024)
Erum Haris, Anthony G. Cohn, John G. Stell
Exploring Spatial Representations in the Historical Lake District Texts with LLM-based Relation Extraction. CoRR (2024)
Erum Haris, Anthony G. Cohn, John G. Stell
Understanding the Spatial Complexity in Landscape Narratives Through Qualitative Representation of Space (Short Paper). GIScience (2023)
Ignatius Ezeani, Paul Rayson, Ian N. Gregory, Erum Haris, Anthony G. Cohn, John G. Stell, Tim Cole, Joanna E. Taylor, David J. Bodenhamer, Neil Devadasan, Erik Steiner, Zephyr Frank, Jackie Olson
Towards an Extensible Framework for Understanding Spatial Narratives. GeoHumanities@SIGSPATIAL (2023)
Giulia Sindoni, Katsuhiko Sano, John G. Stell
Expressing discrete spatial relations under granularity. J. Log. Algebraic Methods Program. 122 (2021)
John G. Stell
Qualitative Spatial Representation for the Humanities. Int. J. Humanit. Arts Comput. 13 (1-2) (2019)
Tanzeela Shaheen, John G. Stell
Graphical Partitions and Graphical Relations. Fundam. Informaticae 165 (1) (2019)
Giulia Sindoni, Katsuhiko Sano, John G. Stell
Axiomatizing Discrete Spatial Relations. RAMiCS (2018)
Katsuhiko Sano, John G. Stell
Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics. M4M@ICLA (2017)
Giulia Sindoni, John G. Stell
The Logic of Discrete Qualitative Relations. COSIT (2017)
William Preston, Steve Benford, Emily-Clare Thorn, Boriana Koleva, Stefan Rennick Egglestone, Richard Mortier, Anthony Quinn, John G. Stell, Michael F. Worboys
Enabling Hand-Crafted Visual Markers at Scale. Conference on Designing Interactive Systems (2017)
John G. Stell, Renate A. Schmidt, David E. Rydeheard
A bi-intuitionistic modal logic: Foundations and automation. J. Log. Algebraic Methods Program. 85 (4) (2016)
John G. Stell
Ordered Information Systems and Graph Granulation. IJCRS (2016)
John G. Stell
Symmetric Heyting relation algebras with applications to hypergraphs. J. Log. Algebraic Methods Program. 84 (3) (2015)
Renate A. Schmidt, John G. Stell, David E. Rydeheard
Axiomatic and Tableau-Based Reasoning for Kt(H, R). Advances in Modal Logic (2014)
John G. Stell, Renate A. Schmidt, David E. Rydeheard
Tableau Development for a Bi-intuitionistic Tense Logic. RAMiCS (2014)
John G. Stell
Formal Concept Analysis over Graphs and Hypergraphs. GKR (2013)
John G. Stell
Granular Description of Qualitative Change. IJCAI (2013)
John G. Stell
Relations on Hypergraphs. RAMiCS (2012)
John G. Stell, Géraldine Del Mondo, Rémy Thibaud, Christophe Claramunt
Spatio-temporal Evolution as Bigraph Dynamics. COSIT (2011)
John G. Stell, Michael F. Worboys
Relations between adjacency trees. Theor. Comput. Sci. 412 (34) (2011)
Matt Duckham, John G. Stell, Maria Vasardani, Michael F. Worboys
Qualitative Change to 3-Valued Regions. GIScience (2010)
John G. Stell
Relational Granularity for Hypergraphs. RSCTC (2010)
Géraldine Del Mondo, John G. Stell, Christophe Claramunt, Rémy Thibaud
A Graph Model for Spatio-temporal Evolution. J. Univers. Comput. Sci. 16 (11) (2010)
John G. Stell
To Be and Not To Be: 3-Valued Relations on Graphs. COSIT (2009)
John G. Stell, Michael F. Worboys
A Theory of Change for Attributed Spatial Entities. GIScience (2008)
John G. Stell, Julian Webster
Oriented matroids as a foundation for space in GIS. Comput. Environ. Urban Syst. 31 (4) (2007)
John G. Stell
Relations in Mathematical Morphology with Applications to Graphs and Rough Sets. COSIT (2007)
John G. Stell
Part and Complement: Fundamental Concepts in Spatial Relations. Ann. Math. Artif. Intell. 41 (1) (2004)
Anthony J. Roy, John G. Stell
Convexity in Discrete Space. COSIT (2003)
Thomas Bittner, John G. Stell
Stratified Rough Sets and Vagueness. COSIT (2003)
John G. Stell
Qualitative Extents for Spatio-Temporal Granularity. Spatial Cogn. Comput. 3 (2-3) (2003)
John G. Stell
Part and Complement: Fundamental Concepts in Spatial Relations. AI&M (2002)
Paolo Torrini, John G. Stell, Brandon Bennett
Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic. J. Appl. Non Class. Logics 12 (3-4) (2002)
John G. Stell
A Framework for Order-Sorted Algebra. AMAST (2002)
Anthony J. Roy, John G. Stell
A Qualitative Account of Discrete Space. GIScience (2002)
Thomas Bittner, John G. Stell
Vagueness and Rough Location. GeoInformatica 6 (2) (2002)
Anthony J. Roy, John G. Stell
Spatial relations between indeterminate regions. Int. J. Approx. Reason. 27 (3) (2001)
Tony Griffiths, Alvaro A. A. Fernandes, Norman W. Paton, Keith T. Mason, Bo Huang, Michael F. Worboys, Chris Johnson, John G. Stell
Tripod: A Comprehensive System for the Management of Spatial and Aspatial Historical Objects. ACM-GIS (2001)
John G. Stell
The Representation of Discrete Multi-resolution Spatial Knowledge. KR (2000)
John G. Stell
Boolean connection algebras: A new approach to the Region-Connection Calculus. Artif. Intell. 122 (1-2) (2000)
Thomas Bittner, John G. Stell
Rough Sets in Approximate Spatial Reasoning. Rough Sets and Current Trends in Computing (2000)
Thomas Bittner, John G. Stell
Approximate qualitative spatial reasoning. Spatial Cogn. Comput. 2 (4) (2000)
John G. Stell, Michael F. Worboys
Generalizing Graphs Using Amalgamation and Selection. SSD (1999)
John G. Stell
Granulation for Graphs. COSIT (1999)
Thomas Bittner, John G. Stell
A Boundary-Sensitive Approach to Qualitative Location. Ann. Math. Artif. Intell. 24 (1-4) (1998)
Barbara A. Kitchenham, John G. Stell
The danger of using axioms in software metrics. IEE Proc. Softw. Eng. 144 (5-6) (1997)
John G. Stell, Michael F. Worboys
The Algebraic Structure of Sets of Regions. COSIT (1997)
John G. Stell
Unique-Sort Order-Sorted Theories: A Description as Monad Morphisms. CTRS (1990)
David E. Rydeheard, John G. Stell
Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms. Category Theory and Computer Science (1987)