Mathematical logic
Non-classical logic
Reasoning
Abductive logic programming
Epistemology
Reason
Modal logic
Robert Kowalski
Intelligent agent
Logic
Logic programming
Science