Home AISpace2 Main Tools News Downloads Prototype Tools Customizable Applets Practice Exercises space Help About AIspace
Define what it means for a proof procedure to be complete.
  • KB |= g implies that KB |- g
Main Tools: Graph Searching | Consistency for CSP | SLS for CSP | Deduction | Belief and Decision Networks | Decision Trees | Neural Networks | STRIPS to CSP

Valid HTML 4.0 Transitional