Artificial Intelligence Programming
Artificial intelligence research has thrived in the years since this best-selling AI classic was first published. The revision encompasses these advances by adapting its coding to Common Lisp, the well-documented language standard, and by bringing together even more useful programming tools. Today's programmers in AI will find this volume's superior coverage of programming techniques and easily applicable style anything but common.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
&KEY &REST A B C algorithm Answer to Exercise APPEND arguments assertions ATOM BACKQUOTE backtracking binding CALL-WITH-CURRENT-CONTINUATION called CAR and CDR Chapter clause COLUMN-POS COMMON LISP compiler COND NULL CONS contradiction COROU coroutine data structure data type database DDC2 ddclause ddnode deductive retriever define DEFMACRO DEFSTRUCT DEFUN DELABEL discrimination END-OF-FILE evaluated example expression FATHER-OF Figure FORM SLOT FORM-NAME forward chaining FUNCALL GENSYM hash tables IF-ADDED implementation INDEX input ITEM LINK keyword label LAMBDA lambda-list lexical lexical scope LINK SUCCEED LISP function LOOP macro MAPCAR match memory elements node nogood OPS5 OPTIONAL PARSE parse tree pattern predicate PRINT problem queue read-macro Return true RETURN-FROM returns a list returns NIL ROW-POS rule S-expressions SETF SETQ SKEL SLOT VALUE stored STREAM STRING symbol tail-recursive TEST time-tags TRAVERSE-LINK tree variables write
Page 495 - Alfred V. Aho and Jeffrey D. Ullman, Principles of Compiler Design, Addison-Wesley, 1978.  William A. Madden and Kyle Y. Rone, "Design, Development, Integration: Space Shuttle Primary Flight Software System,
All Book Search results »
Logic and Computation: Interactive Proof with Cambridge LCF
Lawrence C. Paulson
Limited preview - 1990