## Artificial intelligence: proceedings of the joint IBM/University of Newcastle upon Tyne seminar held in the University Computing Laboratory, 2nd-5th September 1980 |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Common terms and phrases

algorithm analysis APPEND FLATTEN applications approach Artificial Intelligence augmented transition network automatic axioms Barrow clauses Computer Science Computer Vision CONS CAAR constraints constructed context-free context-free grammar correct Darlington density scoring described developed edges Edinburgh EQUAL NORMTREE equation example expert system Figure finite-state focus space FORTRAN fragment hypotheses implementation induction input INTEGER interpretation label Lighthill report line drawing logic programs loop machine manipulator mathematical mechanical theorem-proving method natural language objects orientation parsing PATLEN performance possible predictions priority score problem Proc Professor Michaelson Program transformation program verification programming language proof prove recursive transition network regions representation represented resolution robotics scene semantic sentence sequence SETR shortfall score SIGMA specification speech understanding system SRI International strategy STRLEN surface structure symbols syntactic techniques theorem prover THEORY THEORY THEORY transformational grammar University utterance verification conditions vision system word match