BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Randell:David_A=

Contributed to:

KR 20062006
KR 20042004
KR 20022002
CADE 19921992
KR 19921992
KR 19891989

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.