Machine Theory

Conceptual Dependency Theory

Artificial Intelligence Commonsense Knowledge

Script Theory

Event Calculus

Fluent Calculus

Causal Calculus

Modal Logic

Paraconsistent Logic

Inductive Logic Programming

Genetic Algorithm

Simulated Annealing

Mathematical Optimization

Case Based Reasoning

Hill Climbing

Evolutionary Computation

Beam Search

Explanation Based Learning

Random Optimization

Genetic Programming

Swarm Intelligence