Suchverfahren für die Lösung kombinatorischer Aufgaben; Klassische und Nichtklassische Logiken und ihre Mechanisierung; DPLL, Resolution, Tableauxverfahren und Theorembeweisen; Wissensbasierte- und Expertensysteme; Mensch-Maschinen-Schnittstellen; Mustererkennung insbesondere für interaktive Anwendungen; Data Science, Machine Learning, Neural Architectures, Knowledge Discovery.

Search methods for solving combinatorial problems, predicate logic, modal and description logic, automatic theorem proving, knowledge and expert based systems, fuzzy logic, human-computer interaction, pattern recognition specially for interactive computer applications, data science, machine learning, neural architectures, knowledge discovery.