Human Reasoning with Proportional Quantifiers and Its Support by Diagrams

Yuri Sato, Koji Mineshima. Human Reasoning with Proportional Quantifiers and Its Support by Diagrams. In Mateja Jamnik, Yuri Uesaka, Stephanie Elzer Schwartz, editors, Diagrammatic Representation and Inference - 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings. Volume 9781 of Lecture Notes in Computer Science, pages 123-138, Springer, 2016. [doi]

Abstract

Abstract is missing.