Qualitative spatiotemporal representation and reasoning: a computational perspective

Authors:
Frank Wolter;Michael Zakharyaschev
Affiliations:
Institut für Informatik, Universität Leipzig, Augustus-Platz 10-11, 04109 Leipzig, Germany;Department of Computer Science, King's College, Strand, London WC2R 2LS, United Kingdom
Venue:
Exploring artificial intelligence in the new millennium
Year:
2003

Citing 35
Cited 19

Towards a general theory of action and time

Artificial Intelligence
The complexity of propositional linear temporal logics

Journal of the ACM (JACM)
Computational geometry: an introduction

Computational geometry: an introduction
“Sometimes” and “not never” revisited: on branching versus linear time temporal logic

Journal of the ACM (JACM) - The MIT Press scientific computation series
Representations of commonsense knowledge

Representations of commonsense knowledge
Readings in qualitative reasoning about physical systems

Readings in qualitative reasoning about physical systems
A propositional modal logic of time intervals

Journal of the ACM (JACM)
The temporal logic of reactive and concurrent systems

The temporal logic of reactive and concurrent systems
Model checking vs. theorem proving: a manifesto

Artificial intelligence and mathematical theory of computation
Temporal logic (vol. 1): mathematical foundations and computational aspects

Temporal logic (vol. 1): mathematical foundations and computational aspects
Artificial intelligence: a modern approach

Artificial intelligence: a modern approach
Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra

Journal of the ACM (JACM)
Temporal verification of reactive systems: safety

Temporal verification of reactive systems: safety
Introduction to knowledge systems

Introduction to knowledge systems
Temporal logic

Handbook of logic in artificial intelligence and logic programming (Vol. 4)
Artificial intelligence: a computational perspective

Principles of knowledge representation
On the complexity of qualitative spatial reasoning: a maximal tractable fragment of the region connection calculus

Artificial Intelligence
Model checking

Model checking
Boolean connection algebras: a new approach to the Region-Connection Calculus

Artificial Intelligence
Maintaining knowledge about temporal intervals

Communications of the ACM
Spatial and Temporal Reasoning

Spatial and Temporal Reasoning
"Sometime" is sometimes "not never": on the temporal logic of programs

POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Computers and Intractability: A Guide to the Theory of NP-Completeness

Computers and Intractability: A Guide to the Theory of NP-Completeness
Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning

Applied Intelligence
Maximal Tractable Fragments of the Region Connection Calculus: A Complete Analysis

IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal Reasoning

FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
MSPASS: Modal Reasoning by Translation and First-Order Resolution

TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Reasoning about Binary Topological Relations

SSD '91 Proceedings of the Second International Symposium on Advances in Spatial Databases
Qualitative Spatial Representation and Reasoning Techniques

KI '97 Proceedings of the 21st Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Towards First-Order Temporal Resolution

KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic

Logic of Programs, Workshop
The Algebraic Structure of Sets of Regions

COSIT '97 Proceedings of the International Conference on Spatial Information Theory: A Theoretical Basis for GIS
Toward a geometry of common sense: a semantics and a complete axiomatization of mereotopology

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Topological inference

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Qualitative Spatial Representation and Reasoning: An Overview

Fundamenta Informaticae - Qualitative Spatial Reasoning

Monodic fragments of first-order temporal logics: 2000-2001 A.D

LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
An Automata-Theoretic Approach to Constraint LTL

FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
ε-connections of abstract description systems

Artificial Intelligence
Mechanising first-order temporal resolution

Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Monodic temporal resolution

ACM Transactions on Computational Logic (TOCL)
An automata-theoretic approach to constraint LTL

Information and Computation
A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations

Fundamenta Informaticae
Andrzej Grzegorczyk's Contribution to Computer Science

Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance

Current Topics in Artificial Intelligence
A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning

IBERAMIA '08 Proceedings of the 11th Ibero-American conference on AI: Advances in Artificial Intelligence
An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance

PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Combining spatial and temporal logics: expressiveness vs. complexity

Journal of Artificial Intelligence Research
Mechanising first-order temporal resolution

Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Towards an architecture for cognitive vision using qualitative spatio-temporal representations and abduction

Spatial cognition III
Magnitude qualitative reasoning via PDL

CAEPIA'09 Proceedings of the Current topics in artificial intelligence, and 13th conference on Spanish association for artificial intelligence
Order of magnitude qualitative reasoning with bidirectional negligibility

CAEPIA'05 Proceedings of the 11th Spanish association conference on Current Topics in Artificial Intelligence
Reasoning the spatiotemporal relations between time evolving indeterminate regions

ICMLC'05 Proceedings of the 4th international conference on Advances in Machine Learning and Cybernetics
Andrzej Grzegorczyk's Contribution to Computer Science

Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

Although there has always been a temptation in KR to set the sights either too low (and provide only a data structuring facility with little or no inference) or too high (and provide a full theorem proving facility), this paper argues for the rich world of representation that lies between these two extremes.