Antony Galton: List of Publications

My Google Scholar profile

2018

• Processes as Patterns of Occurrence (book chapter)

• The Dynamic Present (book chapter)
• Are Objects Ontologically Dependent on Processes? (CAOS 2017)
• Epithelium and Stroma Identification in Histopathological Images using Unsupervised and Semi-supervised Superpixel-based Segmentation (with Shereen Fouad et al., Journal of Imaging)
• Mereotopological Correction of Segmentation Errors in Histological Imaging (with David Randell et al., Journal of Imaging)
• Unsupervised morphological segmentation of tissue compartments in histopathological images (with Shereen Fouad et al., PLOS-ONE)
• Unsupervised Superpixel-Based Segmentation of Histopathological Images with Consensus Clustering (with Shereen Fouad et al., MIUA 2017) PDF
• Model-Based Correction of Segmentation Errors in Digitised Histological Images (with David Randell et al., MIUA 2017) PDF
• Shape (GIST Body of Knowledge)

• Extensional and intensional collectives and the de re / de dicto distinction (with Zena Wood, Applied Ontology)
• Automatic thresholding from the gradients of region boundaries (with Gabriel Landini, Dave Randell, and Shereen Fouad, Journal of Microscopy)
• Morphological Separation of Clustered Nuclei in Histological Images (with Shereen Fouad, Gabriel Landini, and David Randell, ICIAR 2016)
• Ontological Levels in Histological Imaging (with Gabriel Landini, David Randell, and Shereen Fouad, FOIS 2016)

• Families of Roles: A New Theory of Occurrent-dependent Roles (with Riichiro Mizoguchi, Yoshinobu Kitamura, and Kouji Kozaki, Applied Ontology)
• Outline of a Formal Theory of Processes and Events, and Why GIScience Needs One (COSIT 2015)
• Extracting Causal Rules from Spatio-temporal Data (with Matt Duckham and Alan Both, COSIT 2015)

• On Generically Dependent Entities (Applied Ontology)
• Discrete Mereotopology (book chapter)
• Mining candidate causal relationships in movement patterns (with Susanne Bleisch, Matt Duckham, Patrick Laube and Jarod Lyon, IGJIS)
• Artificial Development of Biologically Plausible Neural-Symbolic Networks (with Joe Townsend and Ed Keedwell, Cognitive Computation)

• Discrete Mereotopology for Spatial Reasoning in Automated Histological Image Analysis (with Dave Randell and Gabriel Landini, IEEE TPAMI)
• Discrete Mereotopology in Histological Imaging (with Dave Randell and Gabriel Landini, MIUA 2013)
• Prolegomena to an Ontology of Shape (Shapes 2.0)
• Selection of reference objects for locative expressions: The importance of knowledge and perception (with Michael Barclay, book chapter)

• States, Process and Events, and the Ontology of Causal Relations (FOIS 2012)
• The Ontology of States, Processes, and Events (InterOntology 2012)
• The Logic of Time and Tense (Routledge Companion to Philosophy of Language)

• The distance between shape centroids is less than a quarter of the shape perimeter (with Jovisa Zunic et al, Pattern Recognition)
• An Ontology of Information for Emergency Management (with Mike Worboys, ISCRAM 2011)
• Time flies but space doesn't: Limits to the spatialisation of time (Journal of Pragmatics)

• The Formalities of Affordance (Workshop on Spatio-Temporal Dynamics, ECAI2010)
• The Use of Change Identifiers to Update Footprints of Dot Patterns in Real Time (with Max Dupenois, Workshop on Spatio-Temporal Dynamics, ECAI2010)
• Zooming In on Collective Motion (with Zena Wood, Workshop on Spatio-Temporal Dynamics, ECAI2010)
• Identifying Characteristics of Collective Motion from GPS Running Data (with Zena Wood, MPA 2010)
• How is a Collection Related to its Members? (InterOntology 2010)
• Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010) (edited conference proceedings, with Riichiro Mizoguchi)

• A Taxonomy of Collective Phenomena (with Zena Wood, Applied Ontology)
• The Water Falls but the Waterfall does not Fall: New Perspectives on Objects, Processes and Events (with Riichiro Mizoguchi, Applied Ontology)
• Spatial and Temporal Knowledge Representation (Journal of Earth Science Informatics)
• Assigning Footprints to Dot Sets: An Analytical Survey (with Max Dupenois, COSIT 2009)
• Classifying Collective Motion (with Zena Wood, book chapter)

2008

• Efficient generation of simple polygons for characterizing the shape of a set of points in the plane (with Matt Duckham, Lars Kulik, and Mike Worboys, Pattern Recognition)
• Experience and History: Processes and their Relation to Events (Journal of Logic and Computation)
• Comparison of region approximation techniques based on Delaunay triangulations and Voronoi diagrams (with Michael Barclay, Computers, Environment and Urban Systems)
• A New Classification of Collectives (with Zena Wood, FOIS 2008)
• Pareto-Optimality of Cognitively Preferred Polygonal Hulls for Dot Patterns (Spatial Cognition 2008)
• An Influence Model for Reference Object Selection in Spatially Locative Phrases (with Michael Barclay, Spatial Cognition 2008)
• Collectives and How they Move: A Tale of Two Classifications (with Zena Wood, BMI'08)
• A Scene Corpus for Training and Testing Spatial Communications (with Michael Barclay, AISB'08)
• Processes and Events (entry in Encyclopedia of Geographical Information Science)

2007

• On the Paradoxical Nature of Surfaces: Ontology at the Physics/Geometry Interface (The Monist)
• Comparison of region approximation techniques based on Delaunay Triangulations and Voronoi Diagrams (with Michael Barclay, GISRUK 2007)
• Temporal Logic (In Handbook of Dynamic System Modeling)

2006

• Operators vs Arguments: The Ins and Outs of Reification (Synthese)
• The Church-Turing Thesis: Still valid after all these years? (Applied Mathematics and Computation)
• On the Process of Coming into Existence (The Monist)
• On what goes on: The ontology of processes and events (FOIS 2006 keynote talk)
• What is the Region Occupied by a Set of Points? (with Matt Duckham, GIScience 2006)
• Implementing Anchoring (with James Hood, GIScience 2006)
• Causal Reasoning for Alert Generation in Smart Homes (book chapter)
• Temporal Logic (entry in Encyclopaedia of Language and Linguistics, 2nd edition)

2005

• Ontology is not just about objects: Poorly individuated phenomena in geo-ontology (Applied Ontology)
• Anchoring: A new approach to handling indeterminate location in GIS (with James Hood, COSIT'05)
• Dynamic Collectives and their Collective Dynamics (COSIT'05)
• Processes and Events in Dynamic Geo-networks (with Mike Worboys, GeoS 2005)
• Eventualities (handbook chapter)
• The QSS Framework for Modelling Qualitative Change: Prospects and Problems (book chapter)

2004

• A Unifying Semantics for Time and Events (with Brandon Bennett, Artificial Intelligence)
  
• Fields and Objects in Space, Time, and Space-time (Spatial Cognition and Computation)
• Multidimensional Mereotopology (KR'04)
• Qualitative Interpolation for Environmental Knowledge Representation (with James Hood, ECAI2004)

2003

• Granularity-sensitive Spatial Attributes (Spatial Cognition and Computation)
• A Generalized Topological View of Motion in Discrete Space (Theoretical Computer Science)
• Desiderata for a Spatio-temporal Geo-Ontology (COSIT'03)
• On the Ontological Status of Geographical Boundaries (book chapter)

2002

• Stratified Causal Theories for Reasoning about Deterministic Devices and Protocols (with Juan Carlos Augusto, TIME-02)
• Two Approaches to Event Definition (with Juan Carlos Augusto, DEXA 2002)

2001

• Space, Time, and the Representation of Geographical Reality (Topoi)
• Dominance Diagrams: A Tool for Qualitative Reasoning About Continuous Systems (Fundamenta Informaticae)
• A Hierarchy of Boundary-based Shape Descriptors (with Richard Meathrel, IJCAI'01)
• A Formal Theory of Objects and Fields (COSIT'01)
• A Versatile Representation of Time and Events (with Brandon Bennett, Commonsense'01)
• Testing an Event-Specification Language (with Rodolfo Gómez and Juan Carlos Augusto, SEKE'01)

2000

• Transitions in Continuous Time, with an Application to Qualitative Changes in Spatial Relations (ICTL'97)
• Continuous Motion in Discrete Space (KR2000)
• Qualitative Representation of Planar Outlines (with Richard Meathrel, ECAI2000)
• Qualitative Spatial Change (Book)

1999

• Qualitative Outline Theory (with Richard Meathrel, IJCAI'99)
• The Mereotopology of Discrete Space (COSIT'99)
• Temporal Logic (entry in the Stanford Encyclopedia of Philosophy)

1998

• Modes of Overlap (Journal of Visual Languages and Computing)
• Some Correspondences between Spatial and Temporal Representations (AI*IA98 keynote talk)

1997

• The Transition Calculus: A High-Level Formalism for Reasoning about Action and Change (with John Gooday, Journal of Experimental and Theoretical Artificial Intelligence)
• Continuous Change in Spatial Regions (COSIT'97)
• Space, Time, and Movement (book chapter)
• Review of D. M. Gabbay et al., Temporal Logic: Mathematical Foundations and Computational Aspects (Logic Journal of the IGPL, 5,6: 853-7)

• Note on a Lemma of Ladkin (Journal of Logic and Computation)
• An Investigation of "Non-intermingling" Principles in Temporal Logic (Journal of Logic and Computation)
• Time and Continuity in Philosophy, Mathematics, and Artificial Intelligence (Kodikas)
• Taking Dimension Seriously in Qualitative Spatial Reasoning (ECAI'96)
• Multi-layer Thinking in Logic and Probability (with Rashmi Pandya, ISIS'96)
• The Church-Turing Thesis: Its Nature and Status (book chapter)

• Time and Change for AI (handbook chapter)
• The Specification of "Specification" (with Derek Partridge, Minds and Machines)
• Logic and Uncertainty: Steps Towards a Theory of Higher-Order Probabilities (with Rashmi Pandya, ADT'95)
• Verb Aspect and Prototype Theory (ECCS'95)
• A Qualitative Approach to Continuity (TSM'95)
• Towards a Qualitative Theory of Movement (COSIT'95)

• Instantaneous Events (ICTL'94 workshop)
• Nonmonotonic Reasoning about Action and Change (with John Gooday, ICTL'94 workshop)
• Lines of Sight (AICS'94)
• Review of D. Thanassas, The Phenomenon of Common-sense Reasoning: Nonmonotonicity, Action and Information (Knowledge Engineering Review, 9,3: 312-15)
• Review of J.-J. Ch. Meyer and R. J. Wieringa, Deontic Logic in Computer Science: Normative System Specification (Law, Computers, and AI, 3,1: 91-4)

• Towards an Integrated Logic of Space, Time, and Motion (IJCAI'93)
• On the Notions of Specification and Implementation (book chapter)
• QSQR: Quantitatively Scoped Qualitative Reasoning (with C. MacNish and John Gooday, SCAI'93)

• Classical Logic: A Crash Course for Beginners (The Computer Journal)
• Logic as a Formal Method (The Computer Journal)
• Failure Analysis in Constructive Matching Methodology: A Step Towards Autonomous Program Synthesis (with Marta Franová, Cybernetics and Systems Research '92)

• A Critique of Yoav Shoham's Theory of Causal Reasoning (AAAI'91)
• Reified Temporal Theories and How to Unreify Them (IJCAI'91)
• Review of P. N. Johnson-Laird and Ruth Byrne, Deduction (AISB Quarterly, 78:52)

• The Church-Turing Thesis: Its Nature and Status (AISB Quarterly)
• Logic for Information Technology (book)
• A Critical Examination of Allen's Theory of Action and Time (Artificial Intelligence Journal)

• Formal Semantics: Is it Relevant to Artificial Intelligence? (AI Review)
• Review of Y. Shoham, Reasoning About Change (AI Review, 2: 285-288)

• Temporal Logics and their Applications (edited book)
• Temporal Logic and Computer Science: An Overview (introduction to edited book)
• The Logic of Occurrence (book chapter)

• The Logic of Aspect (book)

BACK to Antony Galton's home page.