Claudio Masolo, Laure Vieu, Yoshinobu Kitamura, Kouji Kozaki, Riichiro Mizoguchi. The Counting Problem in the Light of Role Kinds. In Logical Formalizations of Commonsense Reasoning, Papers from the 2011 AAAI Spring Symposium, Technical Report SS-11-06, Stanford, California, USA, March 21-23, 2011. AAAI, 2011. [doi]
Abstract is missing.