ACM - Normas
Dominique Longin
Jean-François Bonnefon
Manh-Hung Nguyen
2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology
a cognitive approach" in Trust and Deception in Virtual Societies, Kluwer Academic Publisher, pp
Automatic verification of finite-state concurrent systems using temporal logic specifications
Propositional dynamic logic of regular programs
Clarendon Press, 1957
Intention is choice with commitment
C&L intention revisited