Items where authors include "Stell, JG"

Article

Heath, CPR and Stell, JG orcid.org/0000-0001-9644-1908 (2022) Out of Sight, but Not Out of Mind: A Diagrammatic Conversation on Relational Drawing. Leonardo, 55 (4). pp. 408-413. ISSN 0024-094X

Sindoni, G, Sano, K and Stell, JG orcid.org/0000-0001-9644-1908 (2021) Expressing discrete spatial relations under granularity. Journal of Logical and Algebraic Methods in Programming, 122. 100682. p. 100682. ISSN 2352-2208

Stell, JG (2017) Mereotopology and Computational Representations of the Body. Computational Culture, 6. ISSN 2047-2390

Stell, JG, Schmidt, RA and Rydeheard, D (2016) A Bi-Intuitionistic Modal Logic: Foundations and Automation. Journal of Logical and Algebraic Methods in Programming, 85 (4). pp. 500-519. ISSN 2352-2208

Stell, JG (2015) Symmetric Heyting relation algebras with applications to hypergraphs. Journal of Logical and Algebraic Methods in Programming, 84 (3). pp. 440-455. ISSN 2352-2208

Stell, JG and Worboys, M (2011) Relations between adjacency trees. Theoretical Computer Science, 412 (34). 4452 - 4468 (17). ISSN 0304-3975

Conference or Workshop Item

Stell, JG (2011) Boundary Provenance Relations. In: Workshop on Identifying Objects Processes and Events in Spatio-Temporally Distributed Data (IOPE), 12th Sept 2011, Belfast, Maine, USA. (Unpublished)

Proceedings Paper

Sindoni, G, Sano, K and Stell, JG (2018) Axiomatizing Discrete Spatial Relations. In: RAMiCS 2018: Relational and Algebraic Methods in Computer Science. International Conference on Relational and Algebraic Methods in Computer Science, 29 Oct - 02 Nov 2018, Groningen. Springer, Cham , pp. 113-130. ISBN 978-3-030-02148-1

Sindoni, G and Stell, JG (2017) The Logic of Discrete Qualitative Relations. In: Clementini, E, Donnelly, M, Yuan, M, Kray, C, Fogliaroni, P and Ballatore, A, (eds.) LIPIcs : Leibniz International Proceedings in Informatics. 13th International Conference on Spatial Information Theory (COSIT2017), 04-08 Sep 2017, L’Aquila, Italy. Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik . ISBN 978-3-95977-043-9

Sano, K and Stell, JG (2017) Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics. In: Electronic Proceedings in Theoretical Computer Science. Ninth Workshop on Methods for Modalities (M4M9 2017), 08-09 Jan 2017, Indian Institute of Technology, Kanpur, India. Open Publishing Association , pp. 105-121.

Stell, JG (2016) Ordered Information Systems and Graph Granulation. In: Lecture Notes in Computer Science. International Joint Conference on Rough Sets, 07-11 Oct 2016, Santiago de Chile, Chile. Springer Verlag , pp. 131-142. ISBN 978-3-319-47160-0

Schmidt, RA, Stell, JG and Rydeheard, DE (2014) Axiomatic and tableau-based reasoning for Kt(H,R). In: Goré, R, Kooi, B and Kurucz, A, (eds.) Advances in Modal Logic. Advances In Modal Logic, 05-08 Aug 2014, Groningen, Netherlands. College Publications , 478 - 497. ISBN 978-1-84890-151-3

Stell, JG (2014) Formal concept analysis over graphs and hypergraphs. In: Croitoru, M, Rudolph, S, Woltran, S and Gonzales, C, (eds.) Graph Structures for Knowledge Representation and Reasoning. Lecture Notes in Computer Science. Third International Workshop, GKR 2013, August 3, 2013, Beijing, China. Springer , 165 - 179. ISBN 978-3-319-04533-7

Stell, JG, Schmidt, RA and Rydeheard, D (2014) Tableau development for a bi-intuitionistic tense logic. In: Höfner, P, Jipsen, P and Kahl, W, (eds.) Relational and Algebraic Methods in Computer Science. Lecture Notes in Computer Science. 14th International Conference, RAMiCS 2014, April 28–May 1, 2014, Marienstatt, Germany. Springer International Publishing , 412 - 428. ISBN 978-3-319-06250-1

Stell, JG, Del Mondo, G, Thibaud, R et al. (1 more author) (2011) Spatio-temporal Evolution as Bigraph Dynamics. In: Egenhofer, M, Giudice, N, Moratz, R and Worboys, M, (eds.) Spatial Information Theory, 10th International Conference, COSIT 2011.Proceedings. Conference on Spatial Information Theory, COSIT, 12-16 Sep 2011, Belfast, Maine, USA. Lecture Notes in Computer Science, 6899 (6899). Springer , 148 - 167 (20). ISBN 978-3-642-23195-7

Stell, JG (2009) Why mathematical morphology needs quantales. In: Wilkinson, MHF and Roerdink, JBTM, (eds.) Extended abstracts of posters at the International Symposium on Mathematical Morphology, ISMM09. International Symposium on Mathematical Morphology, ISMM09, 24-27 Aug 2009, Groningen, The Netherlands. Institute for Mathematics and Computing Science, University of Groningen , 13 - 16.

Beck, AR, Fu, G, Cohn, AG orcid.org/0000-0002-7652-8907 et al. (2 more authors) (2007) A framework for utility data integration in the UK. In: Rumor, M, Coors, V, Fendel, EM and Zlatanova, S, (eds.) Urban and Regional Data Management: UDMS 2007 Annual. Urban Data Management Society Symposium 2007, 10-12 Oct 2007, Stuttgart, Germany. CRC Press , pp. 261-276. ISBN 9780415440592