 | 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 |  | 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 | | 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 |
