Frank Dylla, Jae Hee Lee, Till Mossakowski, Thomas Schneider, André Van Delden...
TL;DR文章综述了目前发展的定性演算,及其计算特性,并提供了按代数属性分类的计算方法概述。
Abstract
Qualitative Spatial and temporal reasoning (QSTR) is concerned with symbolic knowledge representation, typically over infinite domains. The motivations for employing QSTR techniques range from exploiting computat