Author of the publication

Logic-Based Ethical Planning (short paper).

, , , and . CAKR@IJCAI, volume 3251 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)

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

Strategic Disclosure of Opinions on a Social Network: (Extended Abstract)., , and . AAMAS, page 1391-1392. ACM, (2016)A minimal logic for interactive epistemology.. Synthese, 193 (3): 725-755 (2016)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)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)On the Logical Foundations of Moral Agency.. DEON, volume 7393 of Lecture Notes in Computer Science, page 108-122. Springer, (2012)Anchoring the Institutional Dimension of Speech Acts in Agents' Attitudes: A Logical Approach., , and . RIVF, page 1-8. IEEE, (2009)A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions., , , and . DEON, volume 7393 of Lecture Notes in Computer Science, page 170-183. Springer, (2012)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)