Modelling Dynamic Spatial Systems in the Situation Calculus-Reference-Cited by-同舟云学术

Modelling Dynamic Spatial Systems in the Situation Calculus

Published:2008-05-22 Issue:1-2 Volume:8 Page:86-130
ISSN:1387-5868
Container-title:Spatial Cognition & Computation
language:en
Short-container-title:Spatial Cognition & Computation

Author:

Bhatt Mehul¹,Loke Seng¹

Affiliation:

1. a Department of Computer Science , La Trobe University

Publisher

Informa UK Limited

Subject

Computer Graphics and Computer-Aided Design,Earth-Surface Processes,Computer Vision and Pattern Recognition,Experimental and Cognitive Psychology,Modelling and Simulation

Link

https://www.tandfonline.com/doi/pdf/10.1080/13875860801926884

Reference53 articles.

1. Towards a general theory of action and time

2. Actions and Events in Interval Temporal Logic

3. A unifying semantics for time and events

Cited by 29 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic;The International Journal of Robotics Research;2024-01-24

2. Proceedings 39th International Conference on Logic Programming;Electronic Proceedings in Theoretical Computer Science;2023-09-12

3. Artificial Visual Intelligence;Human-Centered Artificial Intelligence;2023

4. Commonsense visual sensemaking for autonomous driving – On generalised neurosymbolic online abduction integrating vision and semantics;Artificial Intelligence;2021-10

5. Pyramidal Framework: Guidance for the Next Generation of GIS Spatial-Temporal Models;ISPRS International Journal of Geo-Information;2021-03-22