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.