John G. Stell

dblp:41/4282 · DBLP profile ↗
← Back
25ranked-venue papers
11as first author
5since 2021 · last 2026
0000-0001-9644-1908ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 9 · 4 first-author · 2 since 2021Applied, interdisciplinary, general and emerging computing · 9 · 5 first-author · 1 since 2021Artificial intelligence and machine learning · 4 · 3 first-authorDatabases, data management, data science and information retrieval · 2 · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 first-authorHuman-computer interaction and ubiquitous computing · 1
YearPublicationVenuePosition
2026 Weak Converse and Complement for Quantale-Enriched Profunctors
Ignacio Bellas Acosta, John G. Stell
RAMICS2
2026 A semantic and context-dependent approach to the interpretation of ' near ' in historical English Lake District narratives
abstract
A common and intuitive way of identifying the proximity relationship between two entities is to use the preposition ‘near’ (e.g. ‘near (inn, village)’). However, the ‘near’ relation is vague, often asymmetric and context-dependent, and hence incorporating factors such as the effect of type, size and scale of reference object and associated features is required for cognitive modeling. In this work, we interpreted spatial proximity as described in the historic Corpus of Lake District Writing comprising travel narratives as early as the 16th century. At a time when modern transportation modes were not available, it is interesting to explore how proximity has been perceived and recounted with various context factors explicit or implied. We utilized pre-trained BERT and its variants to first identify the broader semantics of ‘near’ and generate contextual embeddings. We further identified the contextual factors of spatial nearness. Finally, we used quantitative distances between entities to measure the departure of context-dependent proximities from objective notions of distance.
Erum Haris, Anthony G. Cohn 0001, John G. Stell
Int. J. Geogr. Inf. Sci.3
2024 Monotone $\varOmega $-Sup-Fuzzy Relations: Converse and Complementation
Ignacio Bellas Acosta, John G. Stell
RAMiCS2
2024 Semantic Perspectives on the Lake District Writing: Spatial Ontology Modeling and Relation Extraction for Deeper Insights
abstract
Abstract—Large Language Models (LLMs) suffer from inherent stochasticity, limiting their utility in high-stakes enterprise environments where determinism and auditability are required. This paper introduces the MFOUR Vibe Framework (MVF), a platform-agnostic architectural standard that transforms probabilistic natural language intent into deterministic software artifacts. We define a five-layer topology, comprising the Kernel Identity, Synaptic Routing, Interface Contracts, Context Anchoring, and the Mirror Test. Furthermore, we introduce The Vibe Integrity Score (VIS), a quantitative metric for evaluating the structural adherence of generative outputs. This specification provides the foundational schema and logic protocols for building "Glass Box" AI systems that are observable, secure, and commercially viable.
Erum Haris, Anthony G. Cohn 0001, John G. Stell
COSIT3
2021 Expressing discrete spatial relations under granularity
Giulia Sindoni, Katsuhiko Sano, John G. Stell
J. Log. Algebraic Methods Program.3
2019 Graphical Partitions and Graphical Relations
abstract
We generalize the well-known correspondence between partitions and equivalence relations on a set to the case of graphs and hypergraphs. This is motivated by the role that partitions and equivalence relations play in Rough Set Theory and the results provide some of the foundations needed to develop a theory of rough graphs. We use one notion of a partition of a hypergraph, which we call a graphical partition, and we show how these structures correspond to relations on a hypergraph having additional properties. In the case of a hypergraph with only nodes and no edges these properties are exactly the usual reflexivity, symmetry and transitivity properties required for equivalence relations on a set. We present definitions for upper and lower approximations of a subgraph with respect to a graphical partition. These generalize the well-known approximations in Rough Set Theory. We establish fundamental properties of our generalized approximations and provide examples of these constructions on some graphs.
Tanzeela Shaheen, John G. Stell
Fundam. Informaticae2
2018 Axiomatizing Discrete Spatial Relations
Giulia Sindoni, Katsuhiko Sano, John G. Stell
RAMiCS3
2017 Enabling Hand-Crafted Visual Markers at Scale
abstract
As locative media and augmented reality spread into the everyday world so it becomes important to create aesthetic visual markers at scale. We explore a designer-centred approach in which skilled designers handcraft seed designs that are automatically recombined to create many markers as subtle variants of a common theme. First, we extend the d-touch topological approach to creating visual markers that has previously been shown to support creative design with two new techniques: area order codes and visual checksums. We then show how the topological structure of such markers provides the basis for recombining designs to generate many variations. We demonstrate our approach through the creation of beautiful, personalized and interactive wallpaper. We reflect on how technologies must enable designers to balance goals of scalability, aesthetics and reliability in creating beautiful interactive decoration.
William Preston, Steve Benford, Emily-Clare Thorn, Boriana Koleva, Stefan Rennick Egglestone, Richard Mortier, Anthony Quinn, John G. Stell, Michael F. Worboys
Conference on Designing Interactive Systems8
2017 The Logic of Discrete Qualitative Relations
abstract
We consider a modal logic based on mathematical morphology which allows the expression of mereotopological relations between subgraphs in the setting of the discrete space. A specific form of topological closure for graphs can be expressed in the logic, as a combination of the negation and its bi-intuitionistic dual, as well as a modality, using the stable relation Q, which describes the incidence structure of the graph. By working in this context we have been able to define qualitative spatial relations between discrete regions, and to compare them with earlier works in mereotopology, both in the discrete and in the continuous space.
Giulia Sindoni, John G. Stell
COSIT2
2014 Tableau Development for a Bi-intuitionistic Tense Logic
John G. Stell, Renate A. Schmidt, David E. Rydeheard
RAMiCS1
2014 Axiomatic and Tableau-Based Reasoning for Kt(H, R)
Renate A. Schmidt, John G. Stell, David E. Rydeheard
Advances in Modal Logic2
2013 Granular Description of Qualitative Change
John G. Stell
IJCAI1
2012 Relations on Hypergraphs
John G. Stell
RAMiCS1
2011 Spatio-temporal Evolution as Bigraph Dynamics
John G. Stell, Géraldine Del Mondo, Rémy Thibaud, Christophe Claramunt
COSIT1
2011 Relations between adjacency trees
John G. Stell, Michael F. Worboys
Theor. Comput. Sci.1
2009 To Be and Not To Be: 3-Valued Relations on Graphs
John G. Stell
COSIT1
2007 Relations in Mathematical Morphology with Applications to Graphs and Rough Sets
John G. Stell
COSIT1
2003 Stratified Rough Sets and Vagueness
Thomas Bittner, John G. Stell
COSIT2
2003 Convexity in Discrete Space
Anthony J. Roy, John G. Stell
COSIT2
2002 Vagueness and Rough Location
Thomas Bittner, John G. Stell
GeoInformatica2
2001 Spatial relations between indeterminate regions
Anthony J. Roy, John G. Stell
Int. J. Approx. Reason.2
2000 The Representation of Discrete Multi-resolution Spatial Knowledge
John G. Stell
KR1
2000 Boolean connection algebras: A new approach to the Region-Connection Calculus
John G. Stell
Artif. Intell.1
1999 Granulation for Graphs
John G. Stell
COSIT1
1997 The Algebraic Structure of Sets of Regions
John G. Stell, Michael F. Worboys
COSIT1