Yutaro Sugimoto, Yuri Sato, Shigeyuki Nakayama. Towards a Formalization of Mental Model Reasoning for Syllogistic Fragments. In Antonio Lieto, Marco Cruciani, editors, Proceedings of the First International Workshop on Artificial Intelligence and Cognition (AIC 2013) An official workshop of the 13th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), Torino, Italy, December 3, 2013. Volume 1100 of CEUR Workshop Proceedings, pages 140-145, CEUR-WS.org, 2013. [doi]
Abstract is missing.