|
Tutorials
Definite Clause Deduction
Tutorial 1: Creating and Loading Knowledge BasesTutorial 2: QueriesTutorial 3: Search TreesTutorial 4:(Supplementary): AlgorithmsTutorial 5:(Supplementary): Syntax of CILogThese tutorials provide step by step instructions to illustrate a number of examples important for the use of the Definite Clause Deduction Applet |
Main Tools: Graph Searching | Consistency for CSP | SLS for CSP | Deduction | Belief and Decision Networks | Decision Trees | Neural Networks | STRIPS to CSP |