12 pages matching theorem-proving in this book
Results 1-3 of 12
What people are saying - Write a review
We haven't found any reviews in the usual places.
Barbara J Grosz SRI International Charles J Conceptual Knowledge Acquisition
Rieger III University of Maryland Gerald J Sussman MIT Bonnie
5 other sections not shown
AAAI AAAl and IJCAI analysis answer applications approach Artificial Intelligence basic research behavior Bruner challenge Chinese Computer Institute cognitive Computer Science concepts conceptual knowledge Conference on Artificial constructive deductive DENDRAL Department of Computer develop domain evaluation function example expert systems feature space fifteen puzzle formal GLISP goal heuristic human ideas IJCAI IJCAI members important inductive Institute of Automation Jilin University knowledge base Knowledge Engineering knowledge representation knowledge-based Laboratory lems Linguistics LISP logic logic-like machine learning Machine Translation mathematics McCarthy mechanism ment natural language Nilsson nodes papers planning prob problem solving procedures Proceedings programs PROLOG proposed puter reasoning Rendell repre representation represented robots Roger Schank SAIL Schank scientific semantic sentence Shenyang solution SRI International strategy structure Tech techniques Technology Teknowledge theorem theorem-proving theory tion topics ture Tutorial understand utility Xerox Xerox PARC xitong Zhejiang Zhejiang University