Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method

DOI10.1007/978-3-319-24312-2_5zbMath1471.03019OpenAlexW2260314130MaRDI QIDQ3455761

Jean-François Condotta, Michael Sioutis, Bertrand Mazure, Yakoub Salhi

Publication date: 11 December 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-24312-2_5

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44) Combined logics (03B62)

Uses Software

• TTM

Cites Work

• Maintaining knowledge about temporal intervals
• An automata-theoretic approach to constraint LTL
• A tableau algorithm for description logics with concrete domains and general TBoxes
• On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
• Weak Composition for Qualitative Spatial and Temporal Reasoning
• Logic in Computer Science
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method