Using rewriting rules for connection graphs to prove theorems
- C.L. Chang
- J.R. Slagle
- 1979
- Artificial Intelligence
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Date
Featured collections
Popular topics
45 results at 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