cognitive reasoning, commonsense reasoning, Explainable Artificial Intelligence, Ontologies, theorem proving.
