scientific article; zbMATH DE number 2044734
From MaRDI portal
Publication:4448684
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
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)
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)