- Distributed AI
- Knowledge Representation Systems
- Machine Learning
- Natural Language Processing
- Theorem Provers
- Books on Artificial Intelligence and Mathematics, with a Lisp language emphasis from the ALU website
- Building Problem Solvers describes how to build reasoning systems, using Common Lisp source code available at this web site. The code includes a variety of rule engines, truth maintenance systems, and constraint systems.