scientific article; zbMATH DE number 2044734

zbMATH Open1042.68767MaRDI QIDQ4448684FDOQ4448684

Authors: Gérard Ligozat 

Publication date: 18 February 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2205/22050060.htm

Title of this publication is not available (Why is that?)

Recommendations

• Generalized qualitative spatio-temporal reasoning: complexity and tableau method
• A tableau-based system for spatial reasoning about directional relations
• scientific article; zbMATH DE number 6747939
• 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
• An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning
• Semantic tableaux with ordering restrictions

zbMATH Keywords

temporal reasoningrelation algebraspatial reasoningcomplete theoryweak representation

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Cited In (5)

• Region connection calculus: Its models and composition table
• Qualitative reasoning
• Complexity classification transfer for CSPs via algebraic products
• Composing cardinal direction relations
• Spatial reasoning about qualitative shape compositions. Composing qualitative lengths and angles

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 Q4448684)