Machine Learning.
Hybrid Systems: Connectionist Inductive Logic Programming System (a Knowledge Based Neural Network that is also a Logic Programming System)

Knowledge Discovery on Databases (KDD) / Data Mining.

Logic and Artificial Intelligence: Nonmonotonic Reasoning, Logic Programming, Logic for Multiple Agents (Modal, Defeasible, Relevant Logics).