The Counting Problem in the Light of Role Kinds (Contributo in atti di convegno)

Type
Label
  • The Counting Problem in the Light of Role Kinds (Contributo in atti di convegno) (literal)
Anno
  • 2011-01-01T00:00:00+01:00 (literal)
Alternative label
  • Masolo, Claudio; Vieu, Laure; Kitamura, Yoshinobu; Kozaki, Kouji; Mizoguchi, Riichiro (2011)
    The Counting Problem in the Light of Role Kinds
    in Commonsense-2011, the Tenth International Symposium on Logical Formalization on Commonsense Reasoning (CommonSense 2011), Stanford, USA, 21-23 March 2011
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Masolo, Claudio; Vieu, Laure; Kitamura, Yoshinobu; Kozaki, Kouji; Mizoguchi, Riichiro (literal)
Pagina inizio
  • 24 (literal)
Pagina fine
  • 7 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
  • ID_PUMA: cnr.istc/2011-A2-037 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-ISTC, Trento (literal)
Titolo
  • The Counting Problem in the Light of Role Kinds (literal)
Abstract
  • Starting from a general characterization of roles, we focus on the ways in which roles are specified, we examine the formal constraints on their definitions, and propose definitional schemas motivating different kinds of roles. This classification, in addition to clarify the notion of role itself, helps us to reconsider the two standard solutions that have been pro- posed for the famous counting problem, and to suggest that a third mixed approach may be considered. (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Editore di
Insieme di parole chiave di
data.CNR.it