The ACM Computing Classification System (1991)
I.2.3 Deduction and Theorem Proving
- Answer/reason extraction
- Deduction (e.g., natural, rule-based)
- Logic programming
- Mathematical induction
- Metatheory
- Nonmonotonic reasoning and belief revision
- Resolution
- Uncertainty, "fuzzy," and probabilistic reasoning