Information Sources for Artificial Intelligence in General
This page will contain a list of links to area specific web pages for areas of A I research. Contributions and corrections are invited.
Click
HERE
to obtain top level window.
The Compulog Network
The QPhysics Mailing List
TPTP Problem Library for Automatic Theorem Proving
SATLIB Library for Satisfiability Solvers
, also [
Current shortcut
].
Logic Programming Systems and Test Cases