2025
Epistemic selection of costly alternatives: the case of participatory budgeting.
Auton. Agents Multi Agent Syst., June, 2025
A general framework for participatory budgeting with additional constraints.
Soc. Choice Welf., February, 2025
2024
Apportionment with Weighted Seats.
CoRR, 2024
Voting with Partial Orders: The Plurality and Anti-Plurality Classes.
CoRR, 2024
Enabling the Digital Democratic Revival: A Research Program for Digital Democracy.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
CoRR, 2024
Iterative voting with partial preferences.
Artif. Intell., 2024
Voting by Axioms (Extended Abstract).
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
Breaking the Cycle. Preference-Based Aggregation for Cyclic Argumentation Frameworks.
Proceedings of the Computational Models of Argument, 2024
2023
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023
Fairness in Participatory Budgeting via Equality of Resources.
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023
2022
Effort-Based Fairness for Participatory Budgeting.
CoRR, 2022
Minimising inequality in multiagent resource allocation.
Ann. Math. Artif. Intell., 2022
Representation Matters: Characterisation and Impossibility Results for Interval Aggregation.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Displaying Justifications for Collective Decisions.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Participatory Budgeting with Multiple Resources.
Proceedings of the Multi-Agent Systems - 19th European Conference, 2022
A Graph-Based Algorithm for the Automated Justification of Collective Decisions.
Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022
Simulating Multiwinner Voting Rules in Judgment Aggregation.
Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022
A Calculus for Computing Structured Justifications for Election Outcomes.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
Autonomous agents and multiagent systems: perspectives on 20 years of AAMAS.
AI Matters, 2021
Shortlisting Rules and Incentives in an End-to-End Model for Participatory Budgeting.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Preserving Condorcet Winners under Strategic Manipulation.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
Neutrality and relative acceptability in judgment aggregation.
Soc. Choice Welf., 2020
The Complexity Landscape of Outcome Determination in Judgment Aggregation.
J. Artif. Intell. Res., 2020
Designing Participatory Budgeting Mechanisms Grounded in Judgment Aggregation.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
Analysing Irresolute Multiwinner Voting Rules with Approval Ballots via SAT Solving.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
Majority-Strategyproofness in Judgment Aggregation.
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020
Automated Justification of Collective Decisions via Constraint Solving.
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020
Analysis of One-to-One Matching Mechanisms via SAT Solving: Impossibilities for Universal Axioms.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
Strategyproof judgment aggregation under partial information.
Soc. Choice Welf., 2019
Preservation of semantic properties in collective argumentation: The case of aggregating abstract argumentation frameworks.
Artif. Intell., 2019
Optimal Truth-Tracking Rules for the Aggregation of Incomplete Judgments.
Proceedings of the Algorithmic Game Theory - 12th International Symposium, 2019
Aggregating Incomplete Pairwise Preferences by Weight.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Rethinking the Neutrality Axiom in Judgment Aggregation.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
2018
Lecture Notes on Fair Division.
CoRR, 2018
Aggregating Alternative Extensions of Abstract Argumentation Frameworks: Preservation Results for Quota Rules.
Proceedings of the Computational Models of Argument, 2018
Judgment Aggregation with Rationality and Feasibility Constraints.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018
Modelling Iterative Judgment Aggregation.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
Rationalisation of Profiles of Abstract Argumentation Frameworks: Characterisation and Complexity.
J. Artif. Intell. Res., 2017
Preservation of Semantic Properties during the Aggregation of Abstract Argumentation Frameworks.
Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017
Distributed fair allocation of indivisible goods.
Artif. Intell., 2017
Rationalisation of Profiles of Abstract Argumentation Frameworks: Extended Abstract.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
The Atkinson Inequality Index in Multiagent Resource Allocation.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017
2016
Proceedings of the Handbook of Computational Social Choice, 2016
Introduction to Computational Social Choice.
Proceedings of the Handbook of Computational Social Choice, 2016
Proving classical theorems of social choice theory in modal logic.
Auton. Agents Multi Agent Syst., 2016
Succinctness of Languages for Judgment Aggregation.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016
Strategic Voting with Incomplete Information.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Pairwise Diffusion of Preference Rankings in Social Networks.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Complexity and Tractability Islands for Combinatorial Auctions on Discrete Intervals with Gaps.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
Arguing about Voting Rules.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016
Group Manipulation in Judgment Aggregation.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016
Rationalisation of Profiles of Abstract Argumentation Frameworks.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016
Judgment Aggregation under Issue Dependencies.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
2015
Parameterized Complexity Results for Agenda Safety in Judgment Aggregation.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015
Complexity of the Winner Determination Problem in Judgment Aggregation: Kemeny, Slater, Tideman, Young.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015
A Syntactic Proof of Arrow's Theorem in a Modal Logic of Social Choice Functions.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015
2014
Ontology merging as social choice: judgment aggregation under the open world assumption.
J. Log. Comput., 2014
JA4AI - Judgment Aggregation for Artificial Intelligence (Dagstuhl Seminar 14202).
Dagstuhl Reports, 2014
Multiagent resource allocation with sharable items.
Auton. Agents Multi Agent Syst., 2014
Social Choice Theory as a Foundation for Multiagent Systems.
Proceedings of the Multiagent System Technologies - 12th German Conference, 2014
Measuring Diversity of Preferences in a Group.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Collective Rationality in Graph Aggregation.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Eliciting a Suitable Voting Rule via Examples.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Empirical Analysis of Aggregation Methods for Collective Annotation.
Proceedings of the COLING 2014, 2014
Axiomatic analysis of aggregation methods for collective annotation.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014
Binary Aggregation by Selection of the Most Representative Voters.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
2013
First-Order Logic Formalisation of Impossibility Theorems in Preference Aggregation.
J. Philos. Log., 2013
Incentive engineering for Boolean games.
Artif. Intell., 2013
Lifting integrity constraints in binary aggregation.
Artif. Intell., 2013
Recent Developments in Collective Decision Making in Combinatorial Domains.
Proceedings of the Nature of Computation. Logic, Algorithms, Applications, 2013
Reduction of economic inequality in combinatorial domains.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013
Voting on Actions with Uncertain Outcomes.
Proceedings of the Algorithmic Decision Theory - Third International Conference, 2013
Collective Annotation of Linguistic Resources: Basic Principles and a Formal Model.
Proceedings of the 51st Annual Meeting of the Association for Computational Linguistics, 2013
2012
Complexity of Judgment Aggregation.
J. Artif. Intell. Res., 2012
Voter response to iterated poll information.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012
2011
Computational Social Choice: Prospects and Challenges.
Proceedings of the 2nd European Future Technologies Conference and Exhibition, 2011
ABox Abduction in the Description Logic <i>ALC</i>.
J. Autom. Reason., 2011
Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects.
J. Artif. Intell. Res., 2011
Computational Social Choice (with a Special Emphasis on the Use of Logic).
Proceedings of the Logic, Language, and Computation, 2011
Binary Aggregation with Integrity Constraints.
Proceedings of the IJCAI 2011, 2011
Aggregating Dependency Graphs into Voting Agendas in Multi-Issue Elections.
Proceedings of the IJCAI 2011, 2011
Ontology Merging as Social Choice.
Proceedings of the Computational Logic in Multi-Agent Systems, 2011
Applications of Logic in Social Choice Theory - (Invited Talk).
Proceedings of the Computational Logic in Multi-Agent Systems, 2011
Designing incentives for Boolean games.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011
2010
Compactly representing utility functions using weighted goals and the max aggregator.
Artif. Intell., 2010
A graphical formalism for mixed multi-unit combinatorial auctions.
Auton. Agents Multi Agent Syst., 2010
Simple negotiation schemes for agents with simple preferences: sufficiency, necessity and maximality.
Auton. Agents Multi Agent Syst., 2010
Modelling Combinatorial Auctions in Linear Logic.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
Modelling Multilateral Negotiation in Linear Logic.
Proceedings of the ECAI 2010, 2010
Fair Division under Ordinal Preferences: Computing Envy-Free Allocations of Indivisible Goods.
Proceedings of the ECAI 2010, 2010
Complexity of judgment aggregation: safety of the agenda.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010
Multiagent resource allocation with sharable items: simple protocols and Nash equilibria.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010
Time Constraints in Mixed Multi-unit Combinatorial Auctions.
Proceedings of the Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets, 2010
Lifting Rationality Assumptions in Binary Aggregation.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
2009
The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments.
Theory Pract. Log. Program., 2009
Solution to Exchanges 8.1 puzzle: identifying the champion.
SIGecom Exch., 2009
Representing Utility Functions via Weighted Goals.
Math. Log. Q., 2009
First-Order Logic Formalisation of Arrow's Theorem.
Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009
Preference Aggregation over Restricted Ballot Languages: Sincerity and Strategy-Proofness.
Proceedings of the IJCAI 2009, 2009
Conditional Importance Networks: A Graphical Language for Representing Ordinal, Monotonic Preferences over Sets of Goods.
Proceedings of the IJCAI 2009, 2009
A mixed multi-unit combinatorial auctions test suite.
Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009
Nash Social Welfare in Multiagent Resource Allocation.
Proceedings of the Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets, 2009
Iterated Majority Voting.
Proceedings of the Algorithmic Decision Theory, First International Conference, 2009
2008
The 1st international workshop on computational social choice.
Knowl. Eng. Rev., 2008
Multiagent resource allocation in <i>k</i> -additive domains: preference representation and complexity.
Ann. Oper. Res., 2008
Preference Handling in Combinatorial Domains: From AI to Social Choice.
AI Mag., 2008
Preference Modeling by Weighted Goals with Max Aggregation.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008
Winner determination in combinatorial auctions with logic-based bidding languages.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008
Comparing winner determination algorithms for mixed multi-unit combinatorial auctions.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008
Trajectories of goods in distributed allocation.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008
2007
Mixed multi-unit combinatorial auctions for supply chain management.
SIGecom Exch., 2007
Abstract models for dialogue protocols.
J. Log. Lang. Inf., 2007
Vote manipulation in the presence of multiple sincere ballots.
Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007
A Short Introduction to Computational Social Choice.
Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007
Reaching Envy-Free States in Distributed Negotiation Settings.
Proceedings of the IJCAI 2007, 2007
Bidding Languages and Winner Determination for Mixed Multi-unit Combinatorial Auctions.
Proceedings of the IJCAI 2007, 2007
Simulation of Negotiation Policies in Distributed Multiagent Resource Allocation.
Proceedings of the Engineering Societies in the Agents World VIII, 2007
07431 Abstracts Collection - Computational Issues in Social Choice.
Proceedings of the Computational Issues in Social Choice, 21.10. - 26.10.2007, 2007
07431 Executive Summary - Computational Issues in Social Choice.
Proceedings of the Computational Issues in Social Choice, 21.10. - 26.10.2007, 2007
Winner determination for mixed multi-unit combinatorial auctions via petri nets.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007
Allocating Goods on a Graph to Eliminate Envy.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
Negotiating Socially Optimal Allocations of Resources.
J. Artif. Intell. Res., 2006
Issues in Multiagent Resource Allocation.
Informatica (Slovenia), 2006
Crafting the mind of PROSOCS agents.
Appl. Artif. Intell., 2006
Expressive Power of Weighted Propositional Formulas for Cardinal Preference Modeling.
Proceedings of the Proceedings, 2006
Modal Logics of Negotiation and Preference.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006
How equitable is rational negotiation?
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006
Monotonic concession protocols for multilateral negotiation.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006
Tractable negotiation in tree-structured domains.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006
Temporal Logics for Representing Agent Communication Protocols.
Proceedings of the Agent Communication II, International Workshops on Agent Communication, 2006
Some Recent Results and Open Questions in Distributed Resource Allocation.
Proceedings of the Decision Theory and Multi-Agent Planning, 2006
2005
Multiagent resource allocation.
Knowl. Eng. Rev., 2005
On the Communication Complexity of Multilateral Trading: Extended Report.
Auton. Agents Multi Agent Syst., 2005
Sur le caractère égalitaire de l'allocation de ressources distribuée.
Proceedings of the Systèmes Multi-Agents, 2005
On Maximal Classes of Utility Functions for Efficient one-to-one Negotiation.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
Maximal Classes of Utility Functions for Efficient one-to-one Negotiation: Extended Abstract.
Proceedings of the BNAIC 2005, 2005
Temporal logics for normative agent communication protocols.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005
Negotiating over small bundles of resources.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005
2004
Abductive Logic Programming with CIFF: System Description.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004
The CIFF Proof Procedure for Abductive Logic Programming with Constraints.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004
The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation.
Proceedings of the Global Computing, IST/FET International Workshop, 2004
Welfare Engineering in Practice: On the Variety of Multiagent Resource Allocation Problems.
Proceedings of the Engineering Societies in the Agents World V, 5th InternationalWorkshop, 2004
On the Communication Complexity of Multilateral Trading.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004
2003
Modal logics of ordered trees.
PhD thesis, 2003
Protocol Conformance for Logic-based Agents.
Proceedings of the IJCAI-03, 2003
Welfare Engineering in Multiagent Systems.
Proceedings of the Engineering Societies in the Agents World IV, 2003
Competent Agents and Customising Protocols.
Proceedings of the Engineering Societies in the Agents World IV, 2003
Aspects of protocol conformance in inter-agent dialogue.
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003
On optimal outcomes of negotiations over resources.
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003
Logic-Based Agent Communication Protocols.
Proceedings of the Advances in Agent Communication, 2003
2000
Reasoning in Description Logics with Wellington 1.0 - System Description.
Proceedings of the Seventh Workshop on Automated Reasoning, 2000
1999
A Time Efficient KE Based Theorem Prover.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1999
An Interactive Theorem Proving Assistant.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1999
1998
WinKE: A Pedagogical Tool for Teaching Logic and Reasoning.
Proceedings of the Intelligent Tutoring Systems, 4th International Conference, 1998