👤 Fabian Suchanek

Automated Reasoning and Common Sense. Higher Order Aspirations with First Order Logic. Fabian Suchanek