Qualitative Spatial and Temporal Reasoning with AND/OR Linear Programming.

Arne Kreutzmann, Diedrich Wolter

Browse the full ECAI paper archive.