Cristiano Castelfranchi

Known as: Cristiano 
Cristiano Castelfranchi (born 1944 in Rome) is a senior research scientist at the Institute of Psychology of the Italian National Research Council… (More)
Wikipedia

Related topics

Related topics

7 relations
European Coordinating Committee for Artificial IntelligenceJournal of Artificial Societies and Social SimulationMulti-agent systemNational Research Council (Italy)
(More)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
Genome of Rhodnius prolixus, an insect vector of Chagas disease, reveals unique adaptations to hematophagy and parasite infection.
Rhodnius prolixus not only has served as a model organism for the study of insect physiology, but also is a major vector of… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Neurotoxicity of Alzheimer's disease Aβ peptides is induced by small changes in the Aβ42 to Aβ40 ratio.
The amyloid peptides Aβ(40) and Aβ(42) of Alzheimer's disease are thought to contribute differentially to the disease process… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2007
Highly Cited
2007
A Marriage of Rely/Guarantee and Separation Logic
In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have… (More)
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2006
2006
Variables as Resource in Separation Logic
Separation logic [20,21,14] began life as an extended formalisation of Burstall’s treatment of list-mutating programs [8]. It… (More)
  • figure 4
  • figure 7
  • figure 14
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Swine and poultry pathogens: the complete genome sequences of two strains of Mycoplasma hyopneumoniae and a strain of Mycoplasma synoviae.
This work reports the results of analyses of three complete mycoplasma genomes, a pathogenic (7448) and a nonpathogenic (J… (More)
  • table 1
  • table 2
  • figure 1
  • table 3
  • table 4
Is this relevant?
2004
2004
On the Computational Strength of Pure Ambient Calculi
Cardelli and Gordon’s calculus of Mobile Ambients has attracted widespread interest as a model of mobile computation. The… (More)
  • figure 3
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Normative reputation and the costs of compliance
In this paper, the role of normative reputation in reducing the costs of complying with norms will be explored. In previous… (More)
  • figure 5
  • figure 6
  • table 4
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Autonomous Norm Acceptance
It is generally acknowledged that norms and normative action emphasize autonomy on the side of decision. But what about the… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Commitments: From Individual Intentions to Groups and Organizations
The aim of this work is to introduce some notions of Commitment as a descriptive ontology crucial for the understanding of groups… (More)
Is this relevant?
1988
1988
Lexical Processing and Ambiguity Resolution: An Autonomous Process in an Interactive Box
Contributors Geert Adriaens Curt Burgess Claudia Brugman Cristiano Castelfranchi Garrison W. Cottrell Kurt P. Eiselt Dan Fass… (More)
  • figure 11.1
  • table 1
  • table 2
Is this relevant?