Qualitative Temporal and Spatial Reasoning Revisited

DOI10.1093/logcom/exp025zbMath1185.68663OpenAlexW2156215965MaRDI QIDQ5902567

Manuel Bodirsky, Hubie Chen

Publication date: 14 January 2010

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exp025

zbMATH Keywords

computational complexityconsistencytemporal reasoningspatial reasoningconstraint satisfactionnearunanimity operations

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (3)

Relation algebras of Sugihara, Belnap, Meyer, and Church ⋮ Constants and finite unary relations in qualitative constraint reasoning ⋮ Decomposing Quantified Conjunctive (or Disjunctive) Formulas

This page was built for publication: Qualitative Temporal and Spatial Reasoning Revisited