FO
Finite model theory
Decision theory
Logic programming
Computational statistics
Dominance-based rough set approach
Circumscription
Applied mathematics
Theoretical computer science
Mathematics