SRI's Artificial Intelligence Center Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International. 333 Ravenswood Avenue. Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation. Search  |  Contact  |  SRI Home
Space 1x1
 AIC Home   >   People   >   Robert E Kling
Space 1x1

Robert E Kling *

Alumnus


* Alumnus of the Artificial Intelligence Center
   Past Projects

Shakey

Application of Intelligent Automata to Reconnaissance
Development of the original robot Shakey for exploring AI problems.
 
   Publications

The following are in reverse chronological order of publication.

Showing most recent 5 out of 8  [View All]

  • Reboh, Rene, Raphael, Bertram, Yates, Robert A., Kling, Robert E., and Velarde, Carlos. Study of Automatic Theorem-Proving Programs, Technical Note 75. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Nov 1972.  [PDF, Details]

  • Kling, Robert E. Information Processing Approach to Reasoning by Analogy, Technical Note 56. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, May 1971.  [PDF, Details]

  • Kling, Robert E. Reasoning by Analogy as an Aid to Heuristic Theorem Proving, Technical Note 49R. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Apr 1971.  [PDF, Details]

  • Kling, Robert E. A Paradigm for Reasoning by Analogy, Technical Note 47R. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Apr 1971.  [PDF, Details]

  • Kling, Robert E. Design Implications of Theorem-Proving Strategies, Technical Note 44. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Oct 1970.  [PDF, Details]

Spacer 1x1
Spacer 1x1
 
SRI International

©2008 SRI International, 333 RavenswoodAvenue, Menlo Park, CA 94025-3493
SRI International is a nonprofit corporation. Privacy policy