Publications

More Publications

. Building Jiminy Cricket: An Architecture for Moral Agreements Among Stakeholders. in Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society, 2019.

. Collective Belief as A Tendency towards Consensus. under submission, 2019.

. Losing Connections: Modal Logics of Link Deletion. Journal of Logic and Computation, to appear, 2019.

. Characterizing the Expressivity of Game Description Languages. Proceedings of the 16th Pacific Rim International Conference on Artificial Intelligence (PRICAI-2019, CCF C), 2019.

. Converging on Common Knowledge. Proceedings of the Twenty-Eight International Joint Conference on Artificial Intelligence, {IJCAI-19}, 2019.

. From Classical to Non-Monotonic Deontic Logic using ASPIC+. LORI-19, 2019.

. Game Equivalence and Bisimulation for Game Description Language. Proceedings of the 16th Pacific Rim International Conference on Artificial Intelligence (PRICAI-2019, CCF C), 2019.

. On the Right Path: A Modal Logic for Supervised Learning. LORI-19, 2019.

. From Oughts to Goals: A Logic for Enkrasia. Studia Logica, 2019.

Projects

*

Group One

Logic of social structure and social influence.

Group Two

Belief revision guided by evidence and trust.

Group Three

Modeling formation and dynamics of social norms.

Group Four

Strategical reasoning in social networks.