[4-4] Logic


Logic in AI:

   M.R. Genesereth and N.J. Nilsson, "Logical Foundations of Artificial
   Intelligence", Morgan Kaufmann Publishers, Los Altos, CA, 1987.

Constraint Logic Programming:

   Pascal Van Hentenryck, "Constraint Satisfaction in Logic Programming",
   MIT Press, Cambridge, MA, 1989, ISBN 0-262-08181-4.

Top Document: Artificial Intelligence FAQ:4/6 Bibliography [Monthly posting]
Previous Document: [4-3] Knowledge Representation
Next Document: [4-5] Planning

Part1 - Part2 - Part3 - Part4 - Part5 - Part6 - Single Page

[ Usenet FAQs | Search | Web FAQs | Documents | RFC Index ]

Send corrections/additions to the FAQ Maintainer:
crabbe@usna.edu

Last Update September 05 2008 @ 00:12 AM