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.In order to return to the present position after browsing around the pages that are linked here, please click the orange "Refresh frame" field at the bottom of the window.
General
Specialized
- The Compulog Network
- Description Logics Home Page
- AAAI Case Based Reasoning Resource Page
- Association for Uncertainty in Artificial Intelligence (AUAI)
- 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