2006 |
12 | | David A. Randell,
Mark Witkowski:
Using Occlusion Calculi to Interpret Digital Images.
ECAI 2006: 432-436 |
11 | | David A. Randell,
Mark Witkowski:
Abductive Visual Perception with Feature Clouds.
KR 2006: 352-361 |
2004 |
10 | | Murray Shanahan,
David A. Randell:
A Logic-Based Formulation of Active Visual Perception.
KR 2004: 64-72 |
2002 |
9 | | David A. Randell,
Mark Witkowski:
Building Large Composition Tables via Axiomatic Theories.
KR 2002: 26-36 |
2001 |
8 | | David A. Randell,
Mark Witkowski,
Murray Shanahan:
From Images to Bodies: Modelling and Exploiting Spatial Occlusion and Motion Parallax.
IJCAI 2001: 57-66 |
1995 |
7 | EE | Anthony G. Cohn,
David A. Randell,
Zhan Cui:
Taxonomies of logically defined qualitative spatial relations.
Int. J. Hum.-Comput. Stud. 43(5-6): 831-846 (1995) |
1993 |
6 | EE | Zhan Cui,
Anthony G. Cohn,
David A. Randell:
Qualitative and Topological Relationships in Spatial Databases.
SSD 1993: 296-315 |
1992 |
5 | | Zhan Cui,
Anthony G. Cohn,
David A. Randell:
Qualitative Simulation Based on a Logical Formalism of Space and Time.
AAAI 1992: 679-684 |
4 | | David A. Randell,
Anthony G. Cohn,
Zhan Cui:
Computing Transivity Tables: A Challenge For Automated Theorem Provers.
CADE 1992: 786-790 |
3 | | David A. Randell,
Zhan Cui,
Anthony G. Cohn:
An Interval Logic for Space Based on "Connection".
ECAI 1992: 394-398 |
2 | | David A. Randell,
Zhan Cui,
Anthony G. Cohn:
A Spatial Logic based on Regions and Connection.
KR 1992: 165-176 |
1989 |
1 | | David A. Randell,
Anthony G. Cohn:
Modelling Topological and Metrical Properties in Physical Processes.
KR 1989: 357-368 |