| 2016 | FOIS | Ontological Levels in Histological Imaging. | Antony Galton, Gabriel Landini, David A. Randell, Shereen Fouad |
| 2006 | ECAI | Using Occlusion Calculi to Interpret Digital Images. | David A. Randell, Mark Witkowski |
| 2006 | KR | Abductive Visual Perception with Feature Clouds. | David A. Randell, Mark Witkowski |
| 2004 | KR | A Logic-Based Formulation of Active Visual Perception. | Murray Shanahan, David A. Randell |
| 2002 | KR | Building Large Composition Tables via Axiomatic Theories. | David A. Randell, Mark Witkowski |
| 2001 | IJCAI | From Images to Bodies: Modelling and Exploiting Spatial Occlusion and Motion Parallax. | David A. Randell, Mark Witkowski, Murray Shanahan |
| 1992 | AAAI | Qualitative Simulation Based on a Logical Formalism of Space and Time. | Zhan Cui, Anthony G. Cohn, David A. Randell |
| 1992 | CADE | Computing Transivity Tables: A Challenge For Automated Theorem Provers. | David A. Randell, Anthony G. Cohn, Zhan Cui |
| 1992 | ECAI | An Interval Logic for Space Based on "Connection". | David A. Randell, Zhan Cui, Anthony G. Cohn |
| 1992 | KR | A Spatial Logic based on Regions and Connection. | David A. Randell, Zhan Cui, Anthony G. Cohn |
| 1989 | KR | Modelling Topological and Metrical Properties in Physical Processes. | David A. Randell, Anthony G. Cohn |