default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJohn G. Stell
Person information
- affiliation: University of Leeds, School of Computing, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c34]Ignacio Bellas Acosta, John G. Stell
:
Monotone $\varOmega $-Sup-Fuzzy Relations: Converse and Complementation. RAMiCS 2024: 65-82- [c33]Erum Haris, Anthony G. Cohn, John G. Stell:
Semantic Perspectives on the Lake District Writing: Spatial Ontology Modeling and Relation Extraction for Deeper Insights. COSIT 2024: 11:1-11:20 - [c32]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: 63-73 - [i1]Erum Haris, Anthony G. Cohn, John G. Stell:
Exploring Spatial Representations in the Historical Lake District Texts with LLM-based Relation Extraction. CoRR abs/2406.14336 (2024) - 2023
- [c31]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: 1-10 - [c30]Erum Haris, Anthony G. Cohn, John G. Stell:
Understanding the Spatial Complexity in Landscape Narratives Through Qualitative Representation of Space (Short Paper). GIScience 2023: 37:1-37:6 - 2022
- [e2]Michael Sioutis, Zhiguo Long, John G. Stell, Jochen Renz:
Proceedings of the 1st International Workshop on Spatio-Temporal Reasoning and Learning (STRL 2022) co-located with the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI 2022, ECAI 2022), Vienna, Austria, July 24, 2022. CEUR Workshop Proceedings 3190, CEUR-WS.org 2022 [contents] - 2021
- [j17]Giulia Sindoni, Katsuhiko Sano, John G. Stell:
Expressing discrete spatial relations under granularity. J. Log. Algebraic Methods Program. 122: 100682 (2021)
2010 – 2019
- 2019
- [j16]Tanzeela Shaheen, John G. Stell:
Graphical Partitions and Graphical Relations. Fundam. Informaticae 165(1): 75-98 (2019) - [j15]John G. Stell:
Qualitative Spatial Representation for the Humanities. Int. J. Humanit. Arts Comput. 13(1-2): 2-27 (2019) - 2018
- [c29]Giulia Sindoni, Katsuhiko Sano, John G. Stell:
Axiomatizing Discrete Spatial Relations. RAMiCS 2018: 113-130 - 2017
- [c28]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: 1227-1237 - [c27]Giulia Sindoni, John G. Stell:
The Logic of Discrete Qualitative Relations. COSIT 2017: 1:1-1:15 - [c26]Katsuhiko Sano, John G. Stell:
Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics. M4M@ICLA 2017: 105-121 - [r2]Thomas Bittner, John G. Stell:
Approximation. Encyclopedia of GIS 2017: 71-77 - 2016
- [j14]John G. Stell, Renate A. Schmidt, David E. Rydeheard:
A bi-intuitionistic modal logic: Foundations and automation. J. Log. Algebraic Methods Program. 85(4): 500-519 (2016) - [c25]John G. Stell:
Ordered Information Systems and Graph Granulation. IJCRS 2016: 131-142 - 2015
- [j13]John G. Stell:
Symmetric Heyting relation algebras with applications to hypergraphs. J. Log. Algebraic Methods Program. 84(3): 440-455 (2015) - 2014
- [c24]John G. Stell, Renate A. Schmidt, David E. Rydeheard:
Tableau Development for a Bi-intuitionistic Tense Logic. RAMiCS 2014: 412-428 - [c23]Renate A. Schmidt, John G. Stell, David E. Rydeheard:
Axiomatic and Tableau-Based Reasoning for Kt(H, R). Advances in Modal Logic 2014: 478-497 - 2013
- [c22]John G. Stell:
Formal Concept Analysis over Graphs and Hypergraphs. GKR 2013: 165-179 - [c21]John G. Stell:
Granular Description of Qualitative Change. IJCAI 2013: 1111-1117 - [e1]Thora Tenbrink, John G. Stell, Antony Galton, Zena Wood:
Spatial Information Theory - 11th International Conference, COSIT 2013, Scarborough, UK, September 2-6, 2013. Proceedings. Lecture Notes in Computer Science 8116, Springer 2013, ISBN 978-3-319-01789-1 [contents] - 2012
- [c20]John G. Stell:
Relations on Hypergraphs. RAMiCS 2012: 326-341 - 2011
- [j12]John G. Stell, Michael F. Worboys:
Relations between adjacency trees. Theor. Comput. Sci. 412(34): 4452-4468 (2011) - [c19]John G. Stell, Géraldine Del Mondo, Rémy Thibaud, Christophe Claramunt:
Spatio-temporal Evolution as Bigraph Dynamics. COSIT 2011: 148-167 - 2010
- [j11]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): 1452-1477 (2010) - [c18]Matt Duckham, John G. Stell, Maria Vasardani, Michael F. Worboys:
Qualitative Change to 3-Valued Regions. GIScience 2010: 249-263 - [c17]John G. Stell:
Relational Granularity for Hypergraphs. RSCTC 2010: 267-276
2000 – 2009
- 2009
- [c16]John G. Stell:
To Be and Not To Be: 3-Valued Relations on Graphs. COSIT 2009: 263-279 - 2008
- [c15]John G. Stell, Michael F. Worboys:
A Theory of Change for Attributed Spatial Entities. GIScience 2008: 308-319 - [r1]Thomas Bittner, John G. Stell:
Approximation. Encyclopedia of GIS 2008: 21-25 - 2007
- [j10]John G. Stell, Julian Webster:
Oriented matroids as a foundation for space in GIS. Comput. Environ. Urban Syst. 31(4): 379-392 (2007) - [c14]John G. Stell:
Relations in Mathematical Morphology with Applications to Graphs and Rough Sets. COSIT 2007: 438-454 - 2004
- [j9]John G. Stell:
Part and Complement: Fundamental Concepts in Spatial Relations. Ann. Math. Artif. Intell. 41(1): 1-17 (2004) - 2003
- [j8]John G. Stell:
Qualitative Extents for Spatio-Temporal Granularity. Spatial Cogn. Comput. 3(2-3): 119-136 (2003) - [c13]Anthony J. Roy, John G. Stell:
Convexity in Discrete Space. COSIT 2003: 253-269 - [c12]Thomas Bittner, John G. Stell:
Stratified Rough Sets and Vagueness. COSIT 2003: 270-286 - [p1]John G. Stell:
Granularity in Change over Time. Foundations of Geographic Information Science 2003: 95-115 - 2002
- [j7]Thomas Bittner, John G. Stell:
Vagueness and Rough Location. GeoInformatica 6(2): 99-121 (2002) - [j6]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): 495-526 (2002) - [c11]John G. Stell:
A Framework for Order-Sorted Algebra. AMAST 2002: 396-410 - [c10]Anthony J. Roy, John G. Stell:
A Qualitative Account of Discrete Space. GIScience 2002: 276-290 - [c9]John G. Stell:
Part and Complement: Fundamental Concepts in Spatial Relations. AI&M 2002 - 2001
- [j5]Anthony J. Roy, John G. Stell:
Spatial relations between indeterminate regions. Int. J. Approx. Reason. 27(3): 205-234 (2001) - [c8]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: 118-123 - 2000
- [j4]John G. Stell:
Boolean connection algebras: A new approach to the Region-Connection Calculus. Artif. Intell. 122(1-2): 111-136 (2000) - [j3]Thomas Bittner, John G. Stell:
Approximate qualitative spatial reasoning. Spatial Cogn. Comput. 2(4): 435-466 (2000) - [c7]John G. Stell:
The Representation of Discrete Multi-resolution Spatial Knowledge. KR 2000: 38-49 - [c6]Thomas Bittner, John G. Stell:
Rough Sets in Approximate Spatial Reasoning. Rough Sets and Current Trends in Computing 2000: 445-453
1990 – 1999
- 1999
- [c5]John G. Stell:
Granulation for Graphs. COSIT 1999: 417-432 - [c4]John G. Stell, Michael F. Worboys:
Generalizing Graphs Using Amalgamation and Selection. SSD 1999: 19-32 - 1998
- [j2]Thomas Bittner, John G. Stell:
A Boundary-Sensitive Approach to Qualitative Location. Ann. Math. Artif. Intell. 24(1-4): 93-114 (1998) - 1997
- [j1]Barbara A. Kitchenham, John G. Stell:
The danger of using axioms in software metrics. IEE Proc. Softw. Eng. 144(5-6): 279-285 (1997) - [c3]John G. Stell, Michael F. Worboys:
The Algebraic Structure of Sets of Regions. COSIT 1997: 163-174 - 1990
- [c2]John G. Stell:
Unique-Sort Order-Sorted Theories: A Description as Monad Morphisms. CTRS 1990: 389-400
1980 – 1989
- 1987
- [c1]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: 114-139
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-11 00:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
