|
375
|
Viewing control structures as patterns of passing messages
– Carl Hewitt
- 1977
|
|
830
|
A machine-oriented logic based on the resolution principle
– J A Robinson
- 1965
|
|
650
|
A framework for representing knowledge
– M Minsky
- 1975
|
|
57
|
Automatic symbolic traffic scene analysis using belief networks
– T. Huang, D. Koller, J. Malik, G. Ogasawara, B. Rao, S. Russell, J. Weber
- 1994
|
|
57
|
Support Logic Programming
– J F Baldwin
|
|
9
|
A discussion of uncertainty handling in support logic programming
– D Dubois, H Prade
- 1990
|
|
7
|
SIGMA A Knowledge based aerial image understanding system
– Takashi Matsuyama, Vincent Shang-shouq Hwang
- 1990
|
|
9
|
A Symbolic Object-Oriented Picture Interpretation Network: Soo-Pin
– Sandy Dance, Terry Caelli
- 1993
|
|
8
|
Context knowledge and search control issues in object-oriented prolog-based image understanding
– B Bell, L F Pau
- 1992
|
|
6
|
How to use what you know
– Carl Hewitt
- 1975
|
|
6
|
On the Symbolic Interpretation of Traffic Scenes
– Sandy Dance, Terry Caelli
- 1993
|
|
11
|
From Parlog to Polka in two easy steps
– Andrew Davison
- 1991
|
|
6
|
The theory, implementation and practice of evidential reasoning
– John D Lowrance, Thomas M Strat, Leonard P Wesley, Thomas D Garvey, Enrique H Ruspini, David E Wilkins
- 1991
|
|
137
|
Hugin* -- a shell for building bayesian belief universes for exp ert systems
– S Andersen, K Olesen, F V Jensen, F Jensen
- 1989
|
|
307
|
Women, Fire and Dangerous Things
– George Lakoff
- 1987
|
|
221
|
A generalization of Bayesian inference
– A P Dempster
- 1968
|
|
55
|
Natural language description of time varying scenes
– B Neumann
- 1989
|
|
51
|
Object oriented programming in concurrent prolog
– E Y Shapiro, A Takeuchi
- 1983
|
|
1639
|
A Mathematical Theory of Evidence
– G Shafer
- 1976
|