Author:
El-Geresy Baher,Abdelmoty Alia I.,Ware Andrew J.
Reference13 articles.
1. Bennett, B.: Logical representation for automated reasoning about spatial relationships. Ph.D. dissertation, University of Leeds (1998)
2. Bennett, B., Isli, A., Cohn, A.G.: When does a Composition Table provide a complete and tractable proof procedure for a relational constraint language? In: IJCAI-97 (1997)
3. Cohn, A., Bennett, B.: Qualitative Spatial Representation and Reasoning with the Region Connection Calculus. Geoinformatics 1, 275–316 (1997)
4. Duntsch, I., Wang, H., McCloskey, S.: Relational algebras in qualitative spatial reasoning. Fundamental Informaticae 39, 229–248 (1999)
5. Duntsch, I., Wang, H., McCloskey, S.: A Relation-algebraic approach to the Region Connection Calculus. Theoretical Computer Science 255, 63–83 (2001)