This page is currently U N D E R C O N S T R U C T I O N
Welcome to the Fun Side!
A hands-on approach to applications using AI technology
Programs Via the Web:
Downloadable programs and source code:
-
UCPOP: a planner similar to the POP planner in the text. Common Lisp plus CLIM.
-
Otter: a theorem prover. C.
-
DTP: a theorem prover. Common Lisp.
-
Epilog: theorem prover and logical language toolkit. Binary for Mac, HP.
-
CLIPS: a Tool for Building Expert Systems. C.
-
Belief net software: a listing of both free and commercial belief net software.
-
CLASP: package for visualizing and analyzing statistics. Common Lisp.
-
Irvine Machine Learning programs.
-
MLC++: a machine learning library. C++.
-
List of public domain software maintained by Matt Ginsberg. Common Lisp, Prolog.
-
CMU AI Repository of software packages.
[ HOME ][ Basics | History | Approaches | Applications | Future | People | Links | Messages | Programs ]