AC

Game Trees

AC Algorithm

Generate and Test

AC3

Gibbs Sampling

AC3 Algorithm

If/Then Rules

AND/OR Graphs

Infinite Recursion

Abduction

Maximum Cardinality Search

Abstraction

Means/ends Analysis

Agenda Based Systems

Mechanical Theorem Proving

Analogical Problem Solving

Model Directed Search

Automatic Theorem Proving

Naive Physics

Blackboard

OneThenBest Backtracking

Bottomup

Opportunistic Search

CBR

Pattern Matching

CSP

Problem Reduction

Caching

Production Rule System

CaseBased Reasoning

Production System

Common Subgoals

Reflection

Computational Logic

Satisfaction Assignment

Consistentlabelling

Selfreference

Constraint Satisfaction and Propagation

Situation/Action Rules

Datadirected Control

Stochastic Simulation

Datadriven Control

Structured Induction

Decision Theory

Subgoaling

Distributed Planning

Theorem Proving

Distributed Problem Solving

Forward Chaining
