Modelling Dynamic Spatial Systems in the Situation Calculus

No abstract is available for this paper.

• Publication year

  2008

• Venue

  Spatial Cogn. Comput.

• Publication date

  2008-05-22

• Fields of study

  Geography, Computer Science, Mathematics

• Identifiers
  DOI 10.1080/13875860801926884
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Qualitative Self-Localization using a Spatio-Temporal Ontology: A Preliminary Report

  2007cited by this paper
• Event‐oriented approaches to geographic phenomena

  2005cited by this paper
• Nonmonotonic causal theories

  2004cited by this paper
• A unifying semantics for time and events

  2004cited by this paper
• Combining topological and size information for spatial reasoning

  2002cited by this paper
• Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems

  2002influential reference
• Qualitative Spatial Representation and Reasoning: An Overview

  2001cited by this paper
• Qualitative Spatio-Temporal Continuity

  2001cited by this paper
• Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)

  2000cited by this paper
• Events and Event Talk: An Introduction

  2000cited by this paper
• cc-Golog: Towards More Realistic Logic-Based Robot Controllers

  2000cited by this paper
• ConGolog, a concurrent programming language based on the situation calculus

  2000influential reference
• Integrating actions and state constraints: a closed-form solution to the ramification problem (sometimes)

  2000cited by this paper
• Qualitative Spatial Reasoning about Line Segments

  2000influential reference
• Introduction to the Fluent Calculus

  1998cited by this paper
• Concurrent Actions and Interacting Effects

  1998cited by this paper
• A Qualitative Theory of Motion Based on Spatio-Temporal Primitives

  1998cited by this paper
• Space-Time as a Primitive for Space and Motion

  1998cited by this paper
• Causal Theories of Action and Change

  1997cited by this paper
• Solving the frame problem

  1997influential reference
• The Transition Calculus: a high-level formalism for reasoning about action and change

  1997cited by this paper
• Transition-based Qualitative Simulation

  1996cited by this paper
• Embracing Causality in Specifying the Indirect Effects of Actions

  1995cited by this paper
• Features and fluents (vol. 1): the representation of knowledge about dynamical systems

  1995cited by this paper
• Managing Time in GIS: An Event-Oriented Approach

  1995influential reference
• Default Reasoning about Spatial Occupancy

  1995influential reference
• Temporal reasoning in the situation calculus

  1994cited by this paper
• State Constraints Revisited

  1994influential reference
• Features and fluents : representation of knowledge about dynamical systems

  1994cited by this paper
• Actions and Events in Interval Temporal Logic

  1994cited by this paper
• Explanation in the Situation Calculus

  1993cited by this paper
• Proving Properties of States in the Situation Calculus

  1993cited by this paper
• Using Orientation Information for Qualitative Spatial Reasoning

  1992cited by this paper
• A Spatial Logic based on Regions and Connection

  1992influential reference
• Concurrent Actions in the Situation Calculus

  1992cited by this paper
• On the individuation of events

  1991cited by this paper
• Conceptual neighborhood and its role in temporal and spatial reasoning

  1991influential reference
• The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression

  1991cited by this paper
• Prediction is Deduction but Explanation is Abduction

  1989cited by this paper
• A logic-based calculus of events

  1989cited by this paper
• Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence

  1987cited by this paper
• Epistemological Problems of Artificial Intelligence

  1987cited by this paper
• SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE

  1987cited by this paper
• The Logic of Persistence

  1986cited by this paper
• Towards a General Theory of Action and Time

  1984cited by this paper
• A calculus of individuals based on "connection"

  1981cited by this paper
• Events as Property Exemplifications

  1976cited by this paper
• Causes and Events: Mackie on Causation

  1971cited by this paper
• Word and Object

  1960cited by this paper
• , Knowledge Representation and Reasoning Group

  year unknowncited by this paper
• Causal Relations

  year unknowncited by this paper

• ASP-Driven Visual Commonsense: A General Framework for Reasoning About Embodied Interaction in the Wild

  2025cites this paper
• Representing and solving spatial problems

  2024cites this paper
• Visual Sensemaking Needs Both Vision and Semantics On Logic-Based Declarative Neurosymbolism for Reasoning about Space and Motion

  2023cites this paper
• Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic

  2022cites this paper
• Pyramidal Framework: Guidance for the Next Generation of GIS Spatial-Temporal Models

  2021cites this paper
• Just-In-Time Constraint-Based Inference for Qualitative Spatial and Temporal Reasoning

  2020cites this paper
• Commonsense Visual Sensemaking for Autonomous Driving: On Generalised Neurosymbolic Online Abduction Integrating Vision and Semantics

  2020influential citation
• Out of Sight But Not Out of Mind: An Answer Set Programming Based Online Abduction Framework for Visual Sensemaking in Autonomous Driving

  2019cites this paper
• Deep Semantics for Explainable Visuospatial Intelligence: Perspectives on Integrating Commonsense Spatial Abstractions and Low-Level Neural Features

  2019cites this paper
• Answer Set Programming Modulo 'Space-Time'

  2018cites this paper
• Do You See What I See? Effects of POV on Spatial Relation Specifications

  2017cites this paper
• Deep Semantic Abstractions of Everyday Human Activities - On Commonsense Representations of Human Interactions

  2017influential citation
• A Review of Situation Identification Techniques in Pervasive Computing

  2017cites this paper
• Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning about Moving Objects

  2017cites this paper
• A Survey of Qualitative Spatial and Temporal Calculi

  2016cites this paper
• Multimodal Semantic Simulations of Linguistically Underspecified Motion Events

  2016cites this paper
• Non-monotonic spatial reasoning with answer set programming modulo theories* †

  2016influential citation
• Reasoning about Space and Change with Answer Set Programming Modulo Theories

  2016cites this paper
• imulating the impact of urban development pathways on the local limate : A scenario-based analysis in the greater Dublin region , reland

  2016cites this paper
• Reasoning about Change with Domain-specific Process Ontologies

  2016cites this paper
• Deeply Semantic Inductive Spatio-Temporal Learning

  2016cites this paper
• Integrating Qualitative Reasoning and Human-Robot Interaction in Domestic Service Robotics

  2016cites this paper
• VoxSim: A Visual Platform for Modeling Motion Language

  2016cites this paper
• ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories

  2015cites this paper
• Learning Relational Event Models from Video

  2015cites this paper
• Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning

  2015cites this paper
• Logic-Based Modeling Approaches for Qualitative and Hybrid Reasoning in Dynamic Spatial Systems

  2015influential citation
• Reasoning about Space, Actions, and Change: A Paradigm for Applications of Spatial Reasoning

  2014cites this paper
• The ‘Space’ in Spatial Assistance Systems : Conception, Formalisation and Computation

  2014cites this paper
• ExpCog : Experiments in Commonsense Cognitive Robotics

  2014cites this paper
• From Object Recognition to Activity Interpretation and Back, Based on Point Cloud Data

  2013cites this paper
• Geospatial Narratives and their Spatio-Temporal Dynamics: Commonsense Reasoning for High-level Analyses in Geographic Information Systems

  2013influential citation
• Formalising the Fisherman's Folly puzzle

  2011cites this paper
• Interleaved Inductive-Abductive Reasoning for Learning Complex Event Models

  2011cites this paper
• Qualitative Spatial and Temporal Reasoning: Emerging Applications, Trends, and Directions

  2011cites this paper
• Rule-Compliant Navigation with Qualitative Spatial Reasoning

  2011cites this paper
• An Architecture for Semantic Analysis in Geospatial Dynamics

  2011cites this paper
• Guiding the Generation of Manipulation Plans by Qualitative Spatial Reasoning

  2011cites this paper
• The Qualitative Spatial Dynamics of Motion in Language

  2011influential citation
• The ‘Space’ in Spatial Assistance Systems

  2011cites this paper
• Towards Modeling Dynamic Behavior with Integrated Qualitative Spatial Relations

  2011influential citation
• Interleaved Inductive-Abductive Reasoning for Learning Event-Based Activity Models

  2011cites this paper
• Draft R EASONING ABOUT S PACE , A CTIONS AND C HANGE

  2010cites this paper
• Commonsense Inference in Dynamic Spatial Systems: Epistemological Requirements

  2010cites this paper
• Spatio-Temporal Reasoning and Context Awareness

  2010cites this paper
• Commonsense Inference in Dynamic Spatial Systems “ Phenomenal and Reasoning Requirements

  2009cites this paper
• A Qualitative Model of Dynamic Scene Analysis and Interpretation in Ambient Intelligence Systems

  2009cites this paper
• TOWARD AN EXPERIMENTAL COGNITIVE ROBOTICS FRAMEWORK

  2009cites this paper
• ( Some ) Default and Non-Monotonic Aspects of Qualitative Spatial Reasoning A Preliminary Report

  2008cites this paper
• Qualitative Spatial Scene Modeling for Ambient Intelligence Environments

  2008cites this paper
• Under Consideration for Publication in Theory and Practice of Logic Programming (tplp) Non-monotonic Spatial Reasoning with Answer Set Programming modulo Theories * †

  year unknowncites this paper
• Pervasive and Mobile Computing

  year unknowncites this paper