Davide Grossi

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

Social Choice Around the Block: On the Computational Social Choice of Blockchain.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2021

RLupus.

[BibT_eX]

[DOI]

Nicolo' Brandizzi

Luca Iocchi

Intelligenza Artificiale, 2021

RLupus: Cooperation through emergent communication in The Werewolf social deduction game.

[BibT_eX]

[DOI]

Nicolo' Brandizzi

Luca Iocchi

CoRR, 2021

Lecture Notes on Voting Theory.

[BibT_eX]

[DOI]

CoRR, 2021

How Knowledge Triggers Obligation - A Dynamic Logic of Epistemic Conditional Obligation.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 8th International Workshop, 2021

Hardness of case-based decisions: a formal theory.

[BibT_eX]

[DOI]

Proceedings of the ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law, São Paulo Brazil, June 21, 2021

Democratic Forking: Choosing Sides with Social Choice.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Decision Theory - 7th International Conference, 2021

Power in Liquid Democracy.

[BibT_eX]

[DOI]

Yuzhe Zhang

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Egalitarian Deliberative Decision Making.

[BibT_eX]

[DOI]

CoRR, 2020

Commonly Knowingly Whether.

[BibT_eX]

[DOI]

CoRR, 2020

A Research Agenda for Hybrid Intelligence: Augmenting Human Intellect With Collaborative, Adaptive, Responsible, and Explainable Artificial Intelligence.

[BibT_eX]

[DOI]

Computer, 2020

Decentralization in Open Quorum Systems: Limitative Results for Ripple and Stellar.

[BibT_eX]

[DOI]

Andrea Bracciali

Ronald de Haan

Proceedings of the 2nd International Conference on Blockchain Economics, 2020

Logics of Preference when There Is No Best.

[BibT_eX]

[DOI]

Louwe B. Kuijer

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Precedent Comparison in the Precedent Model Formalism: Theory and Application to Legal Cases.

[BibT_eX]

[DOI]

Proceedings of the 3rd EXplainable AI in Law Workshop (XAILA 2020) co-located with 33rd International Conference on Legal Knowledge and Information Systems (JURIX 2020), 2020

Precedent Comparison in the Precedent Model Formalism: A Technical Note.

[BibT_eX]

[DOI]

Proceedings of the Legal Knowledge and Information Systems, 2020

Case-Based Reasoning with Precedent Models: Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2020

Logical Comparison of Cases.

[BibT_eX]

[DOI]

Proceedings of the AI Approaches to the Complexity of Legal Systems XI-XII, 2020

2019

Program models and semi-public environments.

[BibT_eX]

[DOI]

Christos Moyzes

Michael J. Wooldridge

J. Log. Comput., 2019

Negotiable Votes.

[BibT_eX]

[DOI]

Umberto Grandi

J. Artif. Intell. Res., 2019

An abstract argumentation approach for the prediction of analysts' recommendations following earnings conference calls.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2019

Decentralization in Open Quorum Systems.

[BibT_eX]

[DOI]

Andrea Bracciali

Ronald de Haan

CoRR, 2019

On the graded acceptability of arguments in abstract and instantiated argumentation.

[BibT_eX]

[DOI]

Sanjay Modgil

Artif. Intell., 2019

Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes.

[BibT_eX]

[DOI]

Carlo Proietti

Fernando R. Velázquez-Quesada

Sonja Smets

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

Credulous Acceptability, Poison Games and Modal Logic.

[BibT_eX]

[DOI]

Simon Rey

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

On Rational Delegations in Liquid Democracy.

[BibT_eX]

[DOI]

Daan Bloembergen

Martin Lackner

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Introduction: Selected Papers from the 4th Workshop on Logic, Rationality and Interaction (LORI-4).

[BibT_eX]

[DOI]

Olivier Roy

J. Log. Comput., 2018

Modal logics of sabotage revisited.

[BibT_eX]

[DOI]

Guillaume Aucher

Johan van Benthem

J. Log. Comput., 2018

When Are Two Gossips the Same? Types of Communication in Epistemic Gossip Protocols.

[BibT_eX]

[DOI]

Krzysztof R. Apt

CoRR, 2018

When Are Two Gossips the Same?

[BibT_eX]

[DOI]

Krzysztof R. Apt

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

2017

A Note on Nesting in Dyadic Deontic Logic.

[BibT_eX]

[DOI]

Agneau Belanyek

CoRR, 2017

Binary Voting with Delegable Proxy: An Analysis of Liquid Democracy.

[BibT_eX]

[DOI]

Zoé Christoff

Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

Stability in Binary Opinion Diffusion.

[BibT_eX]

[DOI]

Zoé Christoff

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract).

[BibT_eX]

[DOI]

Emiliano Lorini

François Schwarzentruber

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Non-Determinism and the Dynamics of Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

Liquid Democracy: An Analysis in Binary Aggregation and Diffusion.

[BibT_eX]

[DOI]

Zoé Christoff

CoRR, 2016

2015

Syntactic awareness in logical dynamics.

[BibT_eX]

[DOI]

Fernando R. Velázquez-Quesada

Synth., 2015

Forbidding undesirable agreements.

[BibT_eX]

[DOI]

J. Log. Comput., 2015

The Ceteris Paribus Structure of Logics of Game Forms.

[BibT_eX]

[DOI]

Emiliano Lorini

François Schwarzentruber

J. Artif. Intell. Res., 2015

Epistemic Protocols for Distributed Gossiping.

[BibT_eX]

[DOI]

Krzysztof R. Apt

Proceedings of the Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2015

Sabotage Modal Logic: Some Model and Proof Theoretic Aspects.

[BibT_eX]

[DOI]

Guillaume Aucher

Johan van Benthem

Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

On the Graded Acceptability of Arguments.

[BibT_eX]

[DOI]

Sanjay Modgil

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Equilibrium Refinement through Negotiation in Binary Voting.

[BibT_eX]

[DOI]

Umberto Grandi

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Formal Analysis of Dialogues on Infinite Argumentation Frameworks.

[BibT_eX]

[DOI]

Francesco Belardinelli

Nicolas Maudet

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems.

[BibT_eX]

[DOI]

Francesco Belardinelli

Alessio Lomuscio

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

On the Formal Verification of Diffusion Phenomena in Open Dynamic Agent Networks.

[BibT_eX]

[DOI]

Francesco Belardinelli

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014

Judgment Aggregation: A Primer

[BibT_eX]

[DOI]

Gabriella Pigozzi

Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers, ISBN: 978-3-031-01568-7, 2014

JA4AI - Judgment Aggregation for Artificial Intelligence (Dagstuhl Seminar 14202).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2014

Pre-vote negotiations and binary voting with constraints.

[BibT_eX]

[DOI]

Umberto Grandi

CoRR, 2014

Justified Beliefs by Justified Arguments.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

A Framework for Epistemic Gossip Protocols.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems - 12th European Conference, 2014

Knowledge and Gossip.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

When are Two Arguments the Same? Equivalence in Abstract Argumentation.

[BibT_eX]

[DOI]

Dov M. Gabbay

Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

2013

Abstract argument games via modal logic.

[BibT_eX]

[DOI]

Synth., 2013

A logic for normative multi-agent programs.

[BibT_eX]

[DOI]

Mehdi Dastani

J. Log. Comput., 2013

Audience-Based Uncertainty in Abstract Argument Games.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Extracting debate graphs from parliamentary transcripts: a study directed at UK house of commons debates.

[BibT_eX]

[DOI]

Zaher Salah

Frans Coenen

Leendert W. N. van der Torre

Proceedings of the International Conference on Artificial Intelligence and Law, 2013

Normative Reasoning and Consequence.

[BibT_eX]

[DOI]

Luca Tummolini

François Schwarzentruber

Proceedings of the Normative Multi-Agent Systems, 2013

Generating Domain-Specific Sentiment Lexicons for Opinion Mining.

[BibT_eX]

[DOI]

Zaher Salah

Frans Coenen

Proceedings of the Advanced Data Mining and Applications, 9th International Conference, 2013

2012

Foreword.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2012

Dependence in games and dependence games.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2012

Fixpoints and Iterated Updates in Abstract Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Short sight in extensive games.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

Norms as ascriptions of violations: An analysis in modal logic.

[BibT_eX]

[DOI]

J. Appl. Log., 2011

An Application of Model Checking Games to Abstract Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011

Introduction to Judgment Aggregation.

[BibT_eX]

[DOI]

Gabriella Pigozzi

Proceedings of the Lectures on Logic and Computation, 2011

2010

Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic in Computer Science, 10th International Conference, 2010

Deontics = Betterness + Priority.

[BibT_eX]

[DOI]

Johan van Benthem

Fenrong Liu

Proceedings of the Deontic Logic in Computer Science, 10th International Conference, 2010

Dependence theory via game theory.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

On the logic of argumentation theory.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Argumentation in the View of Modal Logic.

[BibT_eX]

[DOI]

Proceedings of the Argumentation in Multi-Agent Systems - 7th International Workshop, 2010

2009

<i>Twelve Angry Men</i>: A Study on the Fine-Grain of Announcements.

[BibT_eX]

[DOI]

Fernando R. Velázquez-Quesada

Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009

Dynamic Context Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009

Evaluating Organizational Configurations.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2009

A note on brute vs. institutional facts.

[BibT_eX]

[DOI]

Proceedings of the Normative Multi-Agent Systems, 15.03. - 20.03.2009, 2009

Dynamic Context Logic and its Application to Norm.

[BibT_eX]

[DOI]

Proceedings of the Normative Multi-Agent Systems, 15.03. - 20.03.2009, 2009

Unifying preference and judgment aggregation.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Structural Aspects of Organizations.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Research on Multi-Agent Systems, 2009

2008

The many faces of counts-as: A formal analysis of constitutive rules.

[BibT_eX]

[DOI]

J. Appl. Log., 2008

From human regulations to regulated software agents' behavior.

[BibT_eX]

[DOI]

Javier Vázquez-Salceda

Artif. Intell. Law, 2008

A Normative View on the Blocks World.

[BibT_eX]

Leendert W. N. van der Torre

Dov M. Gabbay

Proceedings of the Third International Workshop on Normative Multiagent Systems, 2008

Correspondences in the Theory of Aggregation.

[BibT_eX]

[DOI]

Proceedings of the Logic and the Foundations of Game and Decision Theory, 2008

Normative Multi-agent Programs and Their Logics.

[BibT_eX]

[DOI]

Mehdi Dastani

Nick A. M. Tinnemeier

Proceedings of the Knowledge Representation for Agents and Multi-Agent Systems, 2008

Formal Aspects of Legislative Meta-Drafting.

[BibT_eX]

[DOI]

Carlo Biagioli

Proceedings of the Legal Knowledge and Information Systems, 2008

Pushing Anderson's Envelope: The Modal Logic of Ascription.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic in Computer Science, 9th International Conference, 2008

2007

Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems.

[BibT_eX]

[DOI]

PhD thesis, 2007

Organizational structure and responsibility.

[BibT_eX]

[DOI]

Artif. Intell. Law, 2007

On the Logic of Constitutive Rules.

[BibT_eX]

[DOI]

Proceedings of the Normative Multi-agent Systems, 18.03. - 23.03.2007, 2007

A formal road from institutional norms to organizational structures.

[BibT_eX]

[DOI]

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

2006

Classificatory Aspects of Counts-as: An Analysis in Modal Logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2006

Ontological aspects of the implementation of norms in agent-based electronic institutions.

[BibT_eX]

[DOI]

Javier Vázquez-Salceda

Comput. Math. Organ. Theory, 2006

Counts-as: Classification or Constitution? An Answer Using Modal Logic.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic and Artificial Normative Systems, 2006

Structural Aspects of the Evaluation of Agent Organizations.

[BibT_eX]

[DOI]

Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems II, 2006

Structural evaluation of agent organizations.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

<i>Ubi Lex, Ibi Poena</i> : Designing Norm Enforcement in E-Institutions.

[BibT_eX]

[DOI]

Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems II, 2006

2005

Modal logic investigations in the Modal logic investigations in the semantics of counts semantics of counts-as as.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Artificial Intelligence and Law, 2005

Contextual Terminologies.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

Foundations of organizational structures in multiagent systems.

[BibT_eX]

[DOI]

Mehdi Dastani

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Designing Normative Behaviour Via Landmarks.

[BibT_eX]

[DOI]

Javier Vázquez-Salceda

Proceedings of the Coordination, 2005

2004

From Abstract to Concrete Norms in Agent Institutions.

[BibT_eX]

[DOI]

Proceedings of the Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, 2004

Collective Obligations and Agents: Who Gets the Blame?

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic in Computer Science, 2004

Contextual Taxonomies.

[BibT_eX]

[DOI]