A logic to reason about likelihood
- Joseph Y. Halpern
- Michael O. Rabin
- 1987
- Artificial Intelligence
Publications
Date
Featured collections
Popular topics
46 results at Artificial Intelligence
Using rewriting rules for connection graphs to prove theorems
- C.L. Chang
- J.R. Slagle
- 1979
- Artificial Intelligence
A procedure for adaptive control of the interaction between acoustic classification and linguistic decoding in automatic recognition of continuous speech
- C.C. Tappert
- N.R. Dixon
- 1974
- Artificial Intelligence
Grid coding: A preprocessing technique for robot and machine vision
- P.M. Will
- K. Pennington
- 1971
- Artificial Intelligence
An examination of the geometry theorem machine
- P.C. Gilmore
- 1970
- Artificial Intelligence
Heuristic search viewed as path finding in a graph
- Ira Pohl
- 1970
- Artificial Intelligence