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

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

Recommendations

• scientific article; zbMATH DE number 2086598
• 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

• 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 2086598 (Why is no real title available?)
• scientific article; zbMATH DE number 2243382 (Why is no real title available?)
• A tableau algorithm for description logics with concrete domains and general TBoxes
• An automata-theoretic approach to constraint LTL
• 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)

• Qualitative reasoning
• Axiomatic and tableau-based reasoning for \(Kt (H, R)\)
• scientific article; zbMATH DE number 2044734 (Why is no real title available?)
• scientific article; zbMATH DE number 2086598 (Why is no real title available?)
• scientific article; zbMATH DE number 6747939 (Why is no real title available?)

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)