The ACM Computing Classification System (1998)
I.2.3 Deduction and Theorem Proving
- Answer/reason extraction
- Deduction (e.g., natural, rule-based)
- Inference engines
- Logic programming
- Mathematical induction
- Metatheory [**]
- Nonmonotonic reasoning and belief revision
- Resolution
- Uncertainty, ``fuzzy,'' and probabilistic reasoning