5 works on record
KI 2019 : Advances in Artificial Intelligence
Widerlegung des Reduktionismus
2021
Logic and Argumentation
Reasoning in simple type theory
Automated Reasoning