Author of the publication

A Logical Account of Institutions: From Acceptances to Norms via Legislators.

, and . KR, page 38-48. AAAI Press, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Exploring the Bidimensional Space: A Dynamic Logic Point of View., , and . AAMAS, page 132-140. ACM, (2017)Reasons to Believe in a Social Environment., and . DEON, page 155-170. College Publications, (2016)Trust within the Context of Organizations: A Formal Approach., , and . Formal Aspects in Security and Trust, volume 5491 of Lecture Notes in Computer Science, page 114-128. Springer, (2008)How to Do Social Simulation in Logic: Modelling the Segregation Game in a Dynamic Logic of Assignments., , , and . MABS, volume 7124 of Lecture Notes in Computer Science, page 59-73. Springer, (2011)A unified logical framework for explanations in classifier systems., and . J. Log. Comput., 33 (2): 485-515 (March 2023)Cognitive Agents in Interaction: a formal approach.. (2016)Agents that speak: modelling communicative plans and information sources in a logic of announcements., , , and . AAMAS, page 1207-1208. IFAAMAS, (2011)Moral Guilt: An Agent-Based Model Analysis., , and . ESSA, volume 229 of Advances in Intelligent Systems and Computing, page 95-106. Springer, (2013)Endowing Artificial Systems with Anticipatory Capabilities: Success Cases, , , , , , , , , and 11 other author(s). The Challenge of Anticipation: A Unifying Framework for the Analysis andDesign of Artificial Cognitive Systems, Springer-Verlag, Berlin Heidelberg, (2008)Endowing Artificial Systems with Anticipatory Capabilities: Success Cases, , , , , , , , , and 11 other author(s). The Challenge of Anticipation: A Unifying Framework for the Analysis andDesign of Artificial Cognitive Systems, Springer-Verlag, Berlin Heidelberg, (2008)