Anthony G. Cohn

Orcid: 0000-0002-7652-8907

Affiliations:
  • University of Leeds, School of Computing


According to our database1, Anthony G. Cohn authored at least 214 papers between 1979 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Semi-Supervised Multiview Feature Selection With Adaptive Graph Learning.
IEEE Trans. Neural Networks Learn. Syst., March, 2024

Extension of RCC*-9 to Complex and Three-Dimensional Features and Its Reasoning System.
ISPRS Int. J. Geo Inf., January, 2024

Graph-enhanced Large Language Models in Asynchronous Plan Reasoning.
CoRR, 2024

Code Simulation Challenges for Large Language Models.
CoRR, 2024

Advancing Spatial Reasoning in Large Language Models: An In-Depth Evaluation and Enhancement Using the StepGame Benchmark.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
Real-time robot topological localization and mapping with limited visual sampling in simulated buried pipe networks.
Frontiers Robotics AI, October, 2023

City infrastructure ontologies.
Comput. Environ. Urban Syst., September, 2023

Hierarchical Graph Neural Network Based on Semi-Implicit Variational Inference.
IEEE Trans. Cogn. Dev. Syst., 2023

A Hierarchical Framework for Collaborative Artificial Intelligence.
IEEE Pervasive Comput., 2023

Object-agnostic Affordance Categorization via Unsupervised Learning of Graph Embeddings.
J. Artif. Intell. Res., 2023

A Logic of East and West.
J. Artif. Intell. Res., 2023

The ARRT of Language-Models-as-a-Service: Overview of a New Paradigm and its Challenges.
CoRR, 2023

An Evaluation of ChatGPT-4's Qualitative Spatial Reasoning Capabilities in RCC-8.
CoRR, 2023

Dialectical language model evaluation: An initial appraisal of the commonsense spatial reasoning abilities of LLMs.
CoRR, 2023

Identifying and modelling polysemous senses of spatial prepositions in referring expressions.
Cogn. Syst. Res., 2023

Online Human Capability Estimation Through Reinforcement Learning and Interaction.
IROS, 2023

A Music Labeling Model Based on Traditional Chinese Music Characteristics for Emotional Regulation.
Proceedings of the 12th International Conference on Software and Computer Applications, 2023

Understanding the Spatial Complexity in Landscape Narratives Through Qualitative Representation of Space (Short Paper).
Proceedings of the 12th International Conference on Geographic Information Science, 2023

Towards an Extensible Framework for Understanding Spatial Narratives.
Proceedings of the 7th ACM SIGSPATIAL International Workshop on Geospatial Humanities, 2023

2022
Editor's Note.
Int. J. Interact. Multim. Artif. Intell., 2022

Exploring the GLIDE model for Human Action-effect Prediction.
CoRR, 2022

Location retrieval using visible landmarks based qualitative place signatures.
CoRR, 2022

Online perceptual learning and natural language acquisition for autonomous robots.
Artif. Intell., 2022

Reducing the Planning Horizon Through Reinforcement Learning.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2022

Conditional Domain Adaptation Based on Initial Distribution Discrepancy for EEG Emotion Recognition.
Proceedings of the Clinical Image-Based Procedures - 11th Workshop, 2022

A Framework for Categorising AI Evaluation Instruments.
Proceedings of the Workshop on AI Evaluation Beyond Metrics co-located with the 31st International Joint Conference on Artificial Intelligence (IJCAI-ECAI 2022), 2022

Using Graph Representation Learning with Schema Encoders to Measure the Severity of Depressive Symptoms.
Proceedings of the Tenth International Conference on Learning Representations, 2022

Towards Explainable Action Recognition by Salient Qualitative Spatial Object Relation Chains.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

Automated Common-sense Spatial Reasoning: Still a Huge Challenge.
Proceedings of the Human-Like Machine Intelligence., 2022

2021
Refactoring the Whitby Intelligent Tutoring System for Clean Architecture.
Theory Pract. Log. Program., 2021

GPRInvNet: Deep Learning-Based Ground-Penetrating Radar Data Inversion for Tunnel Linings.
IEEE Trans. Geosci. Remote. Sens., 2021

Human Comfortability: Integrating Ergonomics and Muscular-Informed Metrics for Manipulability Analysis During Human-Robot Collaboration.
IEEE Robotics Autom. Lett., 2021

Emotion Regulation Music Recommendation Based on Feature Selection.
Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2021

Scribble-Supervised Semantic Segmentation by Uncertainty Reduction on Neural Representation and Self-Supervision on Neural Eigenspace.
Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021

2020
Pavement Crack Detection from Hyperspectral Images Using a Novel Asphalt Crack Index.
Remote. Sens., 2020

Online Replanning With Human-in-the-Loop for Non-Prehensile Manipulation in Clutter - A Trajectory Optimization Based Approach.
IEEE Robotics Autom. Lett., 2020

A decision support system for urban infrastructure inter-asset management employing domain ontologies and qualitative uncertainty-based reasoning.
Expert Syst. Appl., 2020

An ontological approach for pathology assessment and diagnosis of tunnels.
Eng. Appl. Artif. Intell., 2020

Defect segmentation: Mapping tunnel lining internal defects with ground penetrating radar data using a convolutional neural network.
CoRR, 2020

Modelling the Polysemy of Spatial Prepositions in Referring Expressions.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

A Logic of Directions.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Human-like Planning for Reaching in Cluttered Environments.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Automatic Generation of Typicality Measures for Spatial Language in Grounded Settings.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Contingent Scaffolding for System Safety Analysis.
Proceedings of the Artificial Intelligence in Education - 21st International Conference, 2020

2019
GPRInvNet: Deep Learning-Based Ground Penetrating Radar Data Inversion for Tunnel Lining.
CoRR, 2019

Unsupervised human activity analysis for intelligent mobile robots.
Artif. Intell., 2019

Investigating the Dimensions of Spatial Language.
Proceedings of the Workshop on Speaking of Location 2019: Communicating about Space co-located with 14th International Conference on Spatial Information Theory (COSIT 2019), 2019

2018
Latent Topic Text Representation Learning on Statistical Manifolds.
IEEE Trans. Neural Networks Learn. Syst., 2018

Learning Hierarchical Models of Complex Daily Activities from Annotated Videos.
Proceedings of the 2018 IEEE Winter Conference on Applications of Computer Vision, 2018

Automated Reasoning for City Infrastructure Maintenance Decision Support.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

ViTac: Feature Sharing Between Vision and Tactile Sensing for Cloth Texture Recognition.
Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018

ATU-DSS: Knowledge-Driven Data Integration and Reasoning for Sustainable Subsurface Inter-asset Management.
Proceedings of the Semantic Web: ESWC 2018 Satellite Events, 2018

2017
Representing Regions with Indeterminate Boundaries.
Proceedings of the Encyclopedia of GIS., 2017

Mereotopology.
Proceedings of the Encyclopedia of GIS., 2017

Conceptual Neighborhood.
Proceedings of the Encyclopedia of GIS., 2017

Real-Time Hyperbola Recognition and Fitting in GPR Data.
IEEE Trans. Geosci. Remote. Sens., 2017

The STRANDS Project: Long-Term Autonomy in Everyday Environments.
IEEE Robotics Autom. Mag., 2017

CLAD: A Complex and Long Activities Dataset with Rich Crowdsourced Annotations.
CoRR, 2017

Grounding of Human Environments and Activities for Autonomous Robots.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Uncertainty Management for Rule-Based Decision Support Systems.
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

The Role of Pragmatics in Solving the Winograd Schema Challenge.
Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, 2017

Natural Language Grounding and Grammar Induction for Robotic Manipulation Commands.
Proceedings of the First Workshop on Language Grounding for Robotics, 2017

Learning of Object Properties, Spatial Relations, and Actions for Embodied Agents from Language and Vision.
Proceedings of the 2017 AAAI Spring Symposia, 2017

Latent Dirichlet Allocation for Unsupervised Activity Analysis on an Autonomous Mobile Robot.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

Natural Language Acquisition and Grounding for Embodied Robotic Systems.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
3D Buried Utility Location Using A Marching-Cross-Section Algorithm for Multi-Sensor Data Fusion.
Sensors, 2016

Weakly supervised activity analysis with spatio-temporal localisation.
Neurocomputing, 2016

An Ontology of Soil Properties and Processes.
Proceedings of the Semantic Web - ISWC 2016, 2016

Unsupervised Grounding of Textual Descriptions of Object Features and Actions in Video.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Feature Space Analysis for Human Activity Recognition in Smart Environments.
Proceedings of the 12th International Conference on Intelligent Environments, 2016

Defining Relations: A General Incremental Approach with Spatial Temporal Case Studies.
Proceedings of the Formal Ontology in Information Systems, 2016

Learning the Repair Urgency for a Decision Support System for Tunnel Maintenance.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Unsupervised Activity Recognition Using Latent Semantic Analysis on a Mobile Robot.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Unsupervised Learning of Qualitative Motion Behaviours by a Mobile Robot.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015
Airborne LiDAR for the Detection of Archaeological Vegetation Marks Using Biomass as a Proxy.
Remote. Sens., 2015

A survey of qualitative spatial representations.
Knowl. Eng. Rev., 2015

Learning Relational Event Models from Video.
J. Artif. Intell. Res., 2015

Model Metric Co-Learning for Time Series Classification.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

PADTUN - Using Semantic Technologies in Tunnel Diagnosis and Maintenance Domain.
Proceedings of the Semantic Web. Latest Advances and New Domains, 2015

Joint Tracking and Event Analysis for Carried Object Detection.
Proceedings of the British Machine Vision Conference 2015, 2015

2014
The RACE Project - Robustness by Autonomous Competence Enhancement.
Künstliche Intell., 2014

Reasoning about Topological and Cardinal Direction Relations Between 2-Dimensional Spatial Objects.
J. Artif. Intell. Res., 2014

Robots Learning from Experiences (Dagstuhl Seminar 14081).
Dagstuhl Reports, 2014

Egocentric Activity Recognition using Histograms of Oriented Pairwise Relations.
Proceedings of the VISAPP 2014, 2014

Invited Talks.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Context Aware Detection and Tracking.
Proceedings of the 22nd International Conference on Pattern Recognition, 2014

RCC*-9 and CBM.
Proceedings of the Geographic Information Science - 8th International Conference, 2014

Real-time Activity Recognition by Discerning Qualitative Relationships Between Randomly Chosen Visual Features.
Proceedings of the British Machine Vision Conference, 2014

Qualitative and Quantitative Spatio-temporal Relations in Daily Living Activity Recognition.
Proceedings of the Computer Vision - ACCV 2014, 2014

Grounding Language in Perception for Scene Conceptualization in Autonomous Robots.
Proceedings of the 2014 AAAI Spring Symposia, 2014

2013
Hyperspectral detection dynamics of archaeological vegetation marks and enhancement using full waveform LiDAR data.
Proceedings of the 2013 IEEE International Geoscience and Remote Sensing Symposium, 2013

Carried Object Detection and Tracking Using Geometric Shape Models and Spatio-temporal Consistency.
Proceedings of the Computer Vision Systems - 9th International Conference, 2013


An Effective Approach for Imbalanced Classification: Unevenly Balanced Bagging.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012
Building semantic scene models from unconstrained video.
Comput. Vis. Image Underst., 2012

Reasoning with Topological and Directional Spatial Information.
Comput. Intell., 2012

Workflow Activity Monitoring Using Dynamics of Pair-Wise Qualitative Spatial Relations.
Proceedings of the Advances in Multimedia Modeling - 18th International Conference, 2012

Thinking Inside the Box: A Comprehensive Spatial Representation for Video Analysis.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Learning about Activities and Objects from Video.
Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 1, 2012

Interactive Semantic Feedback for Intuitive Ontology Authoring.
Proceedings of the Formal Ontology in Information Systems, 2012

Egocentric Activity Monitoring and Recovery.
Proceedings of the Computer Vision - ACCV 2012, 2012

2011
Supporting domain experts to construct conceptual ontologies: A holistic approach.
J. Web Semant., 2011

Inferring additional knowledge from QTC<sub>N</sub> relations.
Inf. Sci., 2011

Implementing a qualitative calculus to analyse moving point objects.
Expert Syst. Appl., 2011

Interleaved Inductive-Abductive Reasoning for Learning Complex Event Models.
Proceedings of the Inductive Logic Programming - 21st International Conference, 2011

Buried Utility Pipeline Mapping Based on Multiple Spatial Data Sources: A Bayesian Data Fusion Approach.
Proceedings of the IJCAI 2011, 2011

Exploiting petri-net structure for activity classification and user instruction within an industrial setting.
Proceedings of the 13th International Conference on Multimodal Interfaces, 2011

From Video to RCC8: Exploiting a Distance Based Semantics to Stabilise the Interpretation of Mereotopological Relations.
Proceedings of the Spatial Information Theory - 10th International Conference, 2011

Temporal Structure Models for Event Recognition.
Proceedings of the British Machine Vision Conference, 2011

2010
Relational Graph Mining for Learning Events from Video.
Proceedings of the STAIRS 2010, 2010

Mining Video Data: Learning about Activities.
Proceedings of the Knowledge Science, 2010

Probabilistic robust hyperbola mixture model for interpreting ground penetrating radar data.
Proceedings of the International Joint Conference on Neural Networks, 2010

Psychophysical Evaluation for a Qualitative Semantic Image Categorisation and Retrieval Approach.
Proceedings of the Trends in Applied Intelligent Systems, 2010

Engineering Time in an Ontology for Power Systems through the Assembling of Modular Ontologies.
Proceedings of the ICINCO 2010, 2010

FONTE: A Protégé Plug-in for Engineering Complex Ontologies.
Proceedings of the Enterprise Information Systems - 12th International Conference, 2010

FONTE - A Protégé Plugin for Engineering Complex Ontologies by Assembling Modular Ontologies of Space, Time and Domain Concepts.
Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 2, AIDSS, Funchal, Madeira, Portugal, June 8, 2010

Discovering an Event Taxonomy from Video using Qualitative Spatio-temporal Graphs.
Proceedings of the ECAI 2010, 2010

Event Model Learning from Complex Videos using ILP.
Proceedings of the ECAI 2010, 2010

Buried Utility Pipeline Mapping based on Street Survey and Ground Penetrating Radar.
Proceedings of the ECAI 2010, 2010

10131 Executive Summary and Abstracts Collection - Spatial Representation and Reasoning in Language: Ontologies and Logics of Space.
Proceedings of the Spatial Representation and Reasoning in Language: Ontologies and Logics of Space, 28.03., 2010

10412 Summary and Abstracts Collection - QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning.
Proceedings of the QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning, 10.10., 2010

Unsupervised Learning of Event Classes from Video.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009
Editorial.
Spatial Cogn. Comput., 2009

Object Tracking and Primitive Event Detection by Spatio-Temporal Tracklet Association.
Proceedings of the Fifth International Conference on Image and Graphics, 2009

Scene Modelling and Classification Using Learned Spatial Relations.
Proceedings of the Spatial Information Theory, 9th International Conference, 2009

Rabbit to OWL: Ontology Authoring with a CNL-Based Tool.
Proceedings of the Controlled Natural Language, Workshop on Controlled Natural Language, 2009

2008
Representing Regions with Indeterminate Boundaries.
Proceedings of the Encyclopedia of GIS., 2008

Mereotopology.
Proceedings of the Encyclopedia of GIS., 2008

Conceptual Neighborhood.
Proceedings of the Encyclopedia of GIS., 2008

Qualitative Spatial Representation and Reasoning.
Proceedings of the Handbook of Knowledge Representation, 2008

Enhanced tracking and recognition of moving objects by reasoning about spatio-temporal continuity.
Image Vis. Comput., 2008

Modelling Scenes Using the Activity within Them.
Proceedings of the Spatial Cognition VI. Learning, 2008

Involving Domain Experts in Authoring OWL Ontologies.
Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008

ROO: Involving Domain Experts in Authoring OWL Ontologies.
Proceedings of the Poster and Demonstration Session at the 7th International Semantic Web Conference (ISWC2008), 2008

Supporting the Construction of Conceptual Ontologies with the ROO Tool (Demo Description).
Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions, 2008

Motion segmentation by consensus.
Proceedings of the 19th International Conference on Pattern Recognition (ICPR 2008), 2008

Learning Spatial Grammars for Drawn Documents Using Genetic Algorithms.
Proceedings of the 8th International Conference on Hybrid Intelligent Systems (HIS 2008), 2008

Utility Ontology Development with Formal Concept Analysis.
Proceedings of the Formal Ontology in Information Systems, 2008

ROO: A Tool to Assist Domain Experts with Ontology Construction.
Proceedings of the Poster Track of the 5th European Semantic Web Conference (ESWC2008) Tenerife (Spain), 01, 2008

Learning Functional Object-Categories from a Relational Spatio-Temporal Representation.
Proceedings of the ECAI 2008, 2008

08091 Abstracts Collection - Logic and Probability for Scene Interpretation.
Proceedings of the Logic and Probability for Scene Interpretation, 24.02. - 29.02.2008, 2008

2007
Gary L. Allen: In Memoriam.
Spatial Cogn. Comput., 2007

How to Handle Incomplete Knowledge Concerning Moving Objects.
Proceedings of the Workshop on Behaviour Monitoring and Interpretation BMI 2007, 2007

Knowledge-Based Recognition of Utility Map Sub-Diagrams.
Proceedings of the 9th International Conference on Document Analysis and Recognition (ICDAR 2007), 2007

Topological maps from signals.
Proceedings of the 15th ACM International Symposium on Geographic Information Systems, 2007

Image Retrieval through Qualitative Representations over Semantic Features.
Proceedings of the British Machine Vision Conference 2007, 2007

2006
The Qualitative Trajectory Calculus on Networks.
Proceedings of the Spatial Cognition V: Reasoning, 2006

Qualitative Approaches to Semantic Scene Modelling and Retrieval.
Proceedings of the Research and Development in Intelligent Systems XXIII, 2006

Efficient Storage of Interactions Between Multiple Moving Point Objects.
Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006

Cognitive Vision: Integrating Symbolic Qualitative Representations with Computer Vision.
Proceedings of the Cognitive Vision Systems, 2006

2005
Representing moving objects in computer-based expert systems: the overtake event example.
Expert Syst. Appl., 2005

Protocols from perceptual observations.
Artif. Intell., 2005

05491 Abstracts Collection -- Spatial Cognition: Specialization and Integration.
Proceedings of the Spatial Cognition: Specialization and Integration, 04.12. - 09.12.2005, 2005

2004
A Qualitative Representation of Trajectory Pairs.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Combining Multiple Answers for Learning Mathematical Structures from Visual Observation.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Using Spatio-Temporal Continuity Constraints to Enhance Visual Tracking of Moving Objects.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003
Editorial.
Spatial Cogn. Comput., 2003

Mereotopological Connection.
J. Philos. Log., 2003

Towards an Architecture for Cognitive Vision Using Qualitative Spatio-temporal Representations and Abduction.
Proceedings of the Spatial Cognition III, Routes and Navigation, Human Memory and Learning, 2003

Reasoning about Qualitative Representations of Space and Time.
Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003

2002
SpaceML: A Mark-up Language for Spatial Knowledge.
J. Vis. Lang. Comput., 2002

Enhanced Presence in Driving Simulators Using Autonomous Traffic with Virtual Personalities.
Presence Teleoperators Virtual Environ., 2002

Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning.
Appl. Intell., 2002

Abducing Qualitative Spatio-Temporal Histories from Partial Observations.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

Modeling Interaction Using Learnt Qualitative Spatio-Temporal Relations and Variable Length Markov Models.
Proceedings of the 15th European Conference on Artificial Intelligence, 2002

2001
Qualitative Spatial Representation and Reasoning: An Overview.
Fundam. Informaticae, 2001

"Field Reviews": A new style of review article for Artificial Intelligence.
Artif. Intell., 2001

Editorial.
Artif. Intell., 2001

Formalising bio-spatial knowledge.
Proceedings of the 2nd International Conference on Formal Ontology in Information Systems, 2001

Qualitative Spatio-Temporal Continuity.
Proceedings of the Spatial Information Theory: Foundations of Geographic Information Science, 2001

2000
Constructing qualitative event models automatically from video input.
Image Vis. Comput., 2000

A new approach to cyclic ordering of 2D orientations using ternary relation algebras.
Artif. Intell., 2000

Spatial Locations via Morpho-Mereology.
Proceedings of the KR 2000, 2000

A Foundation for Region-based Qualitative Geometry.
Proceedings of the ECAI 2000, 2000

Describing Rigid Body Motions in a Qualitative Theory of Spatial Regions.
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999
Constraint Networks of Topological Relations and Convexity.
Constraints An Int. J., 1999

Three New Publication Categories for the Artificial Intelligence Journal.
Artif. Intell., 1999

Modes of Connection.
Proceedings of the Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science, 1999

1998
A System Handling RCC-8 Queries on 2D Regions Representable in the Closure algebra of Half-Planes.
Proceedings of the Methodology and Tools in Knowledge-Based Systems, 1998

Building Qualitative Event Models Automatically from Visual Input.
Proceedings of the Sixth International Conference on Computer Vision (ICCV-98), 1998

Connection Relations in Mereotopology.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998

An Algebra for Cyclic Ordering of 2D Orientations.
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997
Qualitative Spatial Representation and Reasoning with the Region Connection Calculus.
GeoInformatica, 1997

Qualitative Spatial Representation and Reasoning Techniques.
Proceedings of the KI-97: Advances in Artificial Intelligence, 1997

Combining Multiple Representations in a Spatial Reasoning System.
Proceedings of the 9th International Conference on Tools with Artificial Intelligence, 1997

A Logical Approach to Incorporating Qualitative Spatial Reasoning into GIS (Extended Abstract).
Proceedings of the Spatial Information Theory: A Theoretical Basis for GIS, 1997

1996
Using Spatial Logic to Describe Visual Languages.
Artif. Intell. Rev., 1996

Representing Spatial Vagueness: A Mereological Approach.
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

Generation of Semantic Regions from Image Sequences.
Proceedings of the Computer Vision, 1996

Calculi for Qualitative Spatial Reasoning.
Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1996

1995
Taxonomies of logically defined qualitative spatial relations.
Int. J. Hum. Comput. Stud., 1995

The Challenge of Qualitative Spatial Reasoning.
ACM Comput. Surv., 1995

A Logical Approach to Representing and Reasoning About Space.
Artif. Intell. Rev., 1995

A Hierarchical Representation of Qualitative Shape based on Connection and Convexity.
Proceedings of the Spatial Information Theory: A Theoretical Basis for GIS, 1995

1994
The EGG/YOLK Reliability Hierarchy : Semantic Data Integration Using Sorts with Prototypes.
Proceedings of the Third International Conference on Information and Knowledge Management (CIKM'94), Gaithersburg, Maryland, USA, November 29, 1994

1993
Qualitative and Topological Relationships in Spatial Databases.
Proceedings of the Advances in Spatial Databases, 1993

1992
A Spatial Logic based on Regions and Connection.
Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

An Interval Logic for Space Based on "Connection".
Proceedings of the 10th European Conference on Artificial Intelligence, 1992

Automatically Synthesising Domain Constraints from Operator Descriptions.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992

Computing Transivity Tables: A Challenge For Automated Theorem Provers.
Proceedings of the Automated Deduction, 1992

An Abstract View of Sorted Unification.
Proceedings of the Automated Deduction, 1992

A Many Sorted Logic with Possibly Empty Sorts.
Proceedings of the Automated Deduction, 1992

Qualitative Simulation Based on a Logical Formalism of Space and Time.
Proceedings of the 10th National Conference on Artificial Intelligence, 1992

1991
Thoughts and Afterthoughts on the 1988 Workshop on Principles of Hybrid Reasoning.
AI Mag., 1991

1989
Approaches to qualitative reasoning.
Artif. Intell. Rev., 1989

Taxonomic reasoning with many-sorted logics.
Artif. Intell. Rev., 1989

Modelling Topological and Metrical Properties in Physical Processes.
Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, 1989

On the Appearance of Sortal Literals: a Non Substitutional Framework for Hybrid Reasoning.
Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, 1989

1987
A More Expressive Formulation of Many Sorted Logic.
J. Autom. Reason., 1987

Qualitative Reasoning.
Proceedings of the Advanced Topics in Artificial Intelligence, 2nd Advanced Course, 1987

1985
On the Solution of Schubert's Steamroller in Many-Sorted Logic.
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1983
Mechanising a particularly expressive many sorted logic.
PhD thesis, 1983

Improving the Expressiveness of Many Sorted Logic.
Proceedings of the National Conference on Artificial Intelligence, 1983

1979
Mechanizing a Particularly Expressive Many Sorted Logic.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979


  Loading...