AI planning

Answer set programming (ASP)

Argumentation frameworks

Automated reasoning

Description logics

Dynamic Epistemic Logics

Formal reasoning in light of legal and ethical requirements for AI systems

Logic-based reasoning in combination with Learning

Logics for defeasible reasoning and Non-monotonic reasoning

Methodologies supporting the sound design of logics for Knowledge Representation

Methods of logic and formal reasoning (eg argumentation theory) to support explainable AI

Philosophical and epistemological foundations of applied logics

Probabilistic representation and reasoning

Temporal, and Deontic logics