A Reasoner for the RCC-5 and RCC-8 Calculi Extended with Constants.

Stella Giannakopoulou, Charalampos Nikolaou, Manolis Koubarakis

Browse the full AAAI paper archive.