scientific article; zbMATH DE number 6747939

MaRDI QIDQ5283013zbMATH OpenFDO

Authors Arne Kreutzmann, Diedrich Wolter

Publication date 18 July 2017

Full work available at URL http://ebooks.iospress.nl/volumearticle/36989

Mathematics Subject Classification ID

Knowledge representation (68T30) Linear programming (90C05)

Recommendations

• scientific article; zbMATH DE number 5953014
• A general qualitative framework for temporal and spatial reasoning
• Qualitative temporal and spatial reasoning revisited
• Qualitative Temporal and Spatial Reasoning Revisited
• Decomposition and tractability in qualitative spatial and temporal reasoning
• scientific article; zbMATH DE number 5916930
• Computational complexity of propositional linear temporal logics based on qualitative spatial or temporal reasoning
• Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments
• Generalized qualitative spatio-temporal reasoning: complexity and tableau method

Cited in

(8)

• Constants and finite unary relations in qualitative constraint reasoning
• scientific article; zbMATH DE number 5916930 (Why is no real title available?)
• scientific article; zbMATH DE number 5953014 (Why is no real title available?)
• Generalized qualitative spatio-temporal reasoning: complexity and tableau method
• When tables tell it all: Qualitative spatial and temporal reasoning based on linear orderings
• scientific article; zbMATH DE number 2112347 (Why is no real title available?)
• Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments
• A general qualitative spatio-temporal model based on intervals

This page was built for publication:

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