Logic in computer science
Theoretical computer science
Fluent
Logic programming
Knowledge representation
Automated planning and scheduling