Weak composition for qualitative spatial and temporal reasoning
It has now been clear for some time that for many qualitative spatial or temporal calculi, for instance the well-known RCC8 calculus, the operation of composition of relations which is used is actually only weak composition, which is defined as the strongest relation in the calculus that contains the real composition. An immediate consequence for qualitative calculi where weak composition is not equivalent to composition is that the well-known concept of pathconsistency is not applicable...[Show more]
|Collections||ANU Research Publications|
|Source:||Proceedings of International Conference on Principles and Practice of Constraint Programming (CP 2005)|
|01_Renz_Weak_composition_for_2005.pdf||430.19 kB||Adobe PDF|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.