Organizations:
   AAAI, the American Association of Artificial Intelligence homepage:
   http://www.aaai.org/

   IJCAI, the International Joint Conference on Artificial
   Intelligence home page: http://ijcai.org/

   The Association for Computational Linguistics homepage:
   http://www.aclweb.org/ 

Pedagogy:

   Temple University's page on teaching AI:
   http://yoda.cis.temple.edu:8080/IIIA/ai.html

Probabilistic Reasoning:

   BELIEF is a Common Lisp implementation of the Dempster and Kong fusion
   and propagation algorithm for Graphical Belief Function Models and the
   Lauritzen and Spiegelhalter algorithm for Graphical Probabilistic
   Models. It includes code for manipulating graphical belief models such
   as Bayes Nets and Relevance Diagrams (a subset of Influence Diagrams)
   using both belief functions and probabilities as basic representations
   of uncertainty. It is available by anonymous ftp from

      ftp.stat.washington.edu [128.95.17.34]

   and by email from the author, Russell Almond <almond@stat.washington.edu>.
   Contact the author at almond@statsci.com for information about a
   commercial version GRAPHICAL-BELIEF currently in the prototype stages.

   IDEAL is a LISP system developed for building and evaluating influence
   diagrams and Bayesian networks.  It is accompanied with a graphical
   user interface (CLIM-based) for constructing, editing, and solving
   belief networks and influence diagrams. For more information, write
   to srinivas@rpal.rockwell.com.

Planning:

   St. Amant's NCSU AI Planning Resources-
   http://www.csc.ncsu.edu/faculty/stamant/planning-resources.html 
   A List of links to planning sites all over the world.

   NONLIN   --  http://www.cs.bham.ac.uk/research/poplog/nonlin/
		http://www.aiai.ed.ac.uk/~bat/bat.html about the
		author.

   RHETORICAL -- ftp.cs.rochester.edu:/pub/packages/knowledge-tools
               Contact: Brad Miller <miller@cs.rochester.edu>

   SNLP     -- cs.washington.edu:/pub/snlp.tar.Z
               Contact: weld@cs.washington.edu
               Nonlinear planner.

   IDM      -- sauquoit.gsfc.nasa.gov (128.183.101.29)
               Contact: idm-users@chelmsford.gsfc.nasa.gov
               STRIPS-like planning.

   PRODIGY  -- Contact: prodigy@cs.cmu.edu
               Integrated Planning and Learning System

   SOAR     -- http://bigfoot.eecs.umich.edu/~soar/
               Contact: soar-request@cs.cmu.edu
               Integrated Agent Architecture. 
               Supports learning through chunking.

   CLIPS    -- CLIPS Expert System Shell
	       http://www.jsc.nasa.gov/~clips/CLIPS.html
	       Executable and Documentation directory:
	       http://www.ghgcorp.com/clips/download/
	       There are also some DLLs for CLIPS. 
	       http://www.intelliwise.com/links.htm
	       (Thanks Sergio Navega)
	       Java variant: :http://herzberg.ca.sandia.gov/jess

Qualitative Reasoning/Qualitative Physics:

   QSIM     -- cs.utexas.edu:/pub/qsim
               Contact: Ben Kuipers <kuipers@cs.utexas.edu>

   QPE      -- multivac.ils.nwu.edu:/pub/QPE
               contact: Prof. Kenneth D. Forbus <forbus@ils.nwu.edu>
               Qualitative Process Engine (an implementation of QP theory)

Some parts © 2009 Advameg, Inc.