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-libsvm Distributed AI GBBopen Knowledge Representation Systems MGL Natural Language Processing Surf-Hippo Theorem Provers
Also linked from: Artificial Intelligence Bradford W. Miller Changes in June 2000 Dimitry Gashinsky Drew McDermott Gustavo Lacerda index newLisp SNePS
CLiki pages can be edited by anyone at any time. Imagine a fearsomely comprehensive disclaimer of liability. Now fear, comprehensively