Common Lisp also happens to be an excellent language for AI.
The CMU Artificial Intelligence Repository contains a wealth of both Lisp and AI (as well as Scheme and Prolog) related documents and code.
The Artificial Intelligence Algorithms Wiki was a new AI resource, but it is currently offline. The Artificial Intelligence Wiki may still be available.
If you use GNU/Linux (and perhaps even if you don't), see also the GNU/Linux AI & Alife HOWTO
Theorem Provers, previously listed under AI, have been moved to their own subtopic. Other subtopics include Knowledge Representation Systems, Natural Language Processing, Distributed AI...
Pages in this topic: ACTR cl-cudd cl-fann cl-libsvm cl-opencv cl-svm CLLIB CLPfAI Distributed AI GBBopen GECO Knowledge Representation Systems MGL NARCL recognize Scone Surf-Hippo Theorem Provers
Also linked from: Artificial Intelligence Bradford W. Miller Changes in June 2000 Dimitry Gashinsky Drew McDermott Fons Haffmans Gustavo Lacerda index Natural Language Processing SNePS
CLiki pages can be edited by anyone at any time. Imagine a fearsomely comprehensive disclaimer of liability. Now fear, comprehensively