General

• CMU Artificial Intelligence Repository
• The WWW Virtual Library: Artifical Intelligence
• AI Applications Institute, Edinburgh (projects)
• IRIDIA: projects, logics for quantified partial belief
• Stanford Knowledge Systems Lab.
• NRC-CNRC AI resources, AI subject index
• Association for Uncertainty in AI (AUAI), AUAI tutorials

Logic programming

• comp.lang.prolog FAQ
• Prolog Implementations
• Prolog Resource Guide
• The Mercury Project

Fuzzy logic

• Fuzzy Logic and Neurofuzzy Tutorials
• FuzzyCLIPS
• Quadralay's Fuzzy Logic Archive
• ECAI '96 workshop on abductive and inductive reasoning; IJCAI '97 workshop on abduction and induction in AI

Rule-based expert systems

• CLIPS (from NASA).  CLIPS (ftp site)
• Gister-CL (evidential reasoning; foundations of approximate reasoning; for chest pain)
• ISIS
• wxCLIPS

Belief (Bayesian) networks

• Software for belief networks
• Prevision
• Hugin
• US Air Force Institute of Technology (AFIT), AI lab. Bayesian networks. Systems in the field. Peski (free software).
• Applications: The Sleep Consultant, Bayesian Ship Self Defense Tactics Engine (real-time weapons scheduling).

Biology-driven simulations

• Cyberlife
  • Creatures
  • Creatures 2
  • Technical description of Creatures
  • "The Science of Creatures"
• The Swarm Simulation System