1. Automatisierung der Deduktion;Philosophisches Handbuch Künstliche Intelligenz;2024
2. Automatisierung der Deduktion;Springer Reference Geisteswissenschaften;2022
3. Prädikatenlogik erster Stufe;Grundkurs Künstliche Intelligenz;2021
4. Entwicklung eines Werkzeugs zur Geschäftsprozessanalyse auf Basis eines inferenzfähigen Wissensmodells;Automatisierung und Personalisierung von Dienstleistungen;2020
5. Semantic Knowledge Partitioning;Logics in Artificial Intelligence;2004