Travelled to:1 × Canada
1 × USA
Collaborated with:B.Kuipers M.L.Ginsberg E.M.Luks A.Roy
Talks about:represent (1) symmetri (1) knowledg (1) problem (1) toward (1) theori (1) search (1) predic (1) access (1) logic (1)
Person: James M. Crawford
DBLP: Crawford:James_M=
Contributed to:
19961989Wrote 2 papers:
- KR-1996-CrawfordGLR #problem #symmetry
- Symmetry-Breaking Predicates for Search Problems (JMC, MLG, EML, AR), pp. 148–159.
- KR-1989-CrawfordK #formal method #information management #logic #representation #towards
- Towards a Theory of Access-Limited Logic for Knowledge Representation (JMC, BK), pp. 67–78.