@inproceedings{84c9d0984c804239ae7cbd3d427acbad,
title = "Towards a formalization of mental model reasoning for syllogistic fragments",
abstract = "In this study, Johnson-Laird and his colleagues{\textquoteright} mental model reasoning is formally analyzed as a non-sentential reasoning. Based on the recent developments in implementations of mental model theory, we formulate a mental model reasoning for syllogistic fragments in a way satisfying the requirement of formal specification such as mental model definition.",
author = "Yutaro Sugimoto and Yuri Sato and Shigeyuki Nakayama",
year = "2013",
month = jan,
day = "1",
language = "English",
volume = "1100",
series = "CEUR Workshop Proceedings",
publisher = "CEUR",
pages = "140--145",
booktitle = "Proceedings of the 1st International Workshop on Artificial Intelligence and Cognition (AIC 2013)",
note = "Proceedings of the 1st International Workshop on Artificial Intelligence and Cognition (AIC 2013) ; Conference date: 01-01-2013",
}