Christoph Benzmüller

• KI 2019 : Advances in Artificial Intelligence
• Automated Reasoning
• Logic and Argumentation
• Reasoning in simple type theory
• Rules and Reasoning
• Widerlegung des Reduktionismus