Travelled to:1 × France
1 × USA
2 × Canada
Collaborated with:A.G.Cohn M.Witkowski Z.Cui M.Shanahan
Talks about:percept (2) visual (2) logic (2) tabl (2) base (2) properti (1) composit (1) challeng (1) transiv (1) topolog (1)
Person: David A. Randell
DBLP: Randell:David_A=
Contributed to:
200620042002
199219921989Wrote 6 papers:
- KR-2006-RandellW #abduction #visual notation
- Abductive Visual Perception with Feature Clouds (DAR, MW), pp. 352–361.
- KR-2004-ShanahanR #visual notation
- A Logic-Based Formulation of Active Visual Perception (MS, DAR), pp. 64–72.
- KR-2002-RandellW #axiom #composition #scalability
- Building Large Composition Tables via Axiomatic Theories (DAR, MW), pp. 26–36.
- CADE-1992-RandellCC #automation #challenge #proving #theorem proving
- Computing Transivity Tables: A Challenge For Automated Theorem Provers (DAR, AGC, ZC), pp. 786–790.
- KR-1992-RandellCC #logic
- A Spatial Logic based on Regions and Connection (DAR, ZC, AGC), pp. 165–176.
- KR-1989-RandellC #modelling #physics #process
- Modelling Topological and Metrical Properties in Physical Processes (DAR, AGC), pp. 357–368.