Generalized qualitative spatio-temporal reasoning: complexity and tableau method

DOI10.1007/978-3-319-24312-2_5MaRDI QIDQ3455761zbMATH OpenOpenAlexFDO

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

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

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

Recommendations

• Computational complexity of propositional linear temporal logics based on qualitative spatial or temporal reasoning
• Axiomatic and tableau-based reasoning for Kt (H, R)
• A general tableau method for propositional interval temporal logics: theory and implementation
• A tableau for temporal logic over the reals
• scientific article; zbMATH DE number 6747939

Cites work

• A tableau algorithm for description logics with concrete domains and general TBoxes
• An automata-theoretic approach to constraint LTL
• Computational complexity of propositional linear temporal logics based on qualitative spatial or temporal reasoning
• scientific article; zbMATH DE number 3919830 (Why is no real title available?)
• scientific article; zbMATH DE number 3937153 (Why is no real title available?)
• scientific article; zbMATH DE number 2243382 (Why is no real title available?)
• Logic in Computer Science
• Maintaining knowledge about temporal intervals
• On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
• Systematic semantic tableaux for PLTL
• Weak Composition for Qualitative Spatial and Temporal Reasoning

Cited in

(5)

• When tables tell it all: Qualitative spatial and temporal reasoning based on linear orderings
• Axiomatic and tableau-based reasoning for Kt (H, R)
• Computational complexity of propositional linear temporal logics based on qualitative spatial or temporal reasoning
• scientific article; zbMATH DE number 6747939 (Why is no real title available?)
• Qualitative reasoning

Describes a project that uses

Uses Software

• TTM

This page was built for publication: Generalized qualitative spatio-temporal reasoning: complexity and tableau method

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3455761)