Sciweavers

12 search results - page 3 / 3
» Knowledge-Based Constraint Satisfaction for Spatial Reasonin...
Sort
View
SPATIALCOGNITION
2000
Springer
13 years 8 months ago
Interactive Layout Generation with a Diagrammatic Constraint Language
The paper analyzes a diagrammatic reasoning problem that consists in finding a graphical layout which simultaneously satisfies a set of constraints expressed in a formal language a...
Christoph Schlieder, Cornelius Hagen
SPATIALCOGNITION
2004
Springer
13 years 9 months ago
Branching Allen
Allen’s interval calculus is one of the most prominent formalisms in the domain of qualitative spatial and temporal reasoning. Applications of this calculus, however, are restric...
Marco Ragni, Stefan Wölfl