Decision theory
Logic
Reasoning
Artificial intelligence
Logic in computer science
Inference
Forward chaining
KEE
Backward chaining
Expert systems
Science
Knowledge