Invited Talk 4
in
Workshop: The Role of Mathematical Reasoning in General Artificial Intelligence
Towards A Human-Like Reasoning System
Mateja Jamnik
Abstract: