Ulle Endriss

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

Automated Justification of Collective Decisions via Constraint Solving.

[BibT_eX]

[DOI]

Arthur Boixel

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.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Collective Information.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Strategyproof judgment aggregation under partial information.

[BibT_eX]

[DOI]

Soc. Choice Welf., 2019

Preservation of semantic properties in collective argumentation: The case of aggregating abstract argumentation frameworks.

[BibT_eX]

[DOI]

Weiwei Chen

Artif. Intell., 2019

Optimal Truth-Tracking Rules for the Aggregation of Incomplete Judgments.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Game Theory - 12th International Symposium, 2019

Aggregating Incomplete Pairwise Preferences by Weight.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Rethinking the Neutrality Axiom in Judgment Aggregation.

[BibT_eX]

[DOI]

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

2018

Lecture Notes on Fair Division.

[BibT_eX]

[DOI]

CoRR, 2018

Aggregating Alternative Extensions of Abstract Argumentation Frameworks: Preservation Results for Quota Rules.

[BibT_eX]

[DOI]

Weiwei Chen

Proceedings of the Computational Models of Argument, 2018

Judgment Aggregation with Rationality and Feasibility Constraints.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Modelling Iterative Judgment Aggregation.

[BibT_eX]

[DOI]

Sebastian Schneckenburger

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Tool Auctions.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Rationalisation of Profiles of Abstract Argumentation Frameworks: Characterisation and Complexity.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2017

Preservation of Semantic Properties during the Aggregation of Abstract Argumentation Frameworks.

[BibT_eX]

[DOI]

Weiwei Chen

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

Graph aggregation.

[BibT_eX]

[DOI]

Artif. Intell., 2017

Distributed fair allocation of indivisible goods.

[BibT_eX]

[DOI]

Sebastian Schneckenburger

Artif. Intell., 2017

Rationalisation of Profiles of Abstract Argumentation Frameworks: Extended Abstract.

[BibT_eX]

[DOI]

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

The Atkinson Inequality Index in Multiagent Resource Allocation.

[BibT_eX]

[DOI]

Britta Dorn

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

Judgment Aggregation.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Computational Social Choice, 2016

Introduction to Computational Social Choice.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Computational Social Choice, 2016

Proving classical theorems of social choice theory in modal logic.

[BibT_eX]

[DOI]

Giovanni Ciná

Auton. Agents Multi Agent Syst., 2016

Succinctness of Languages for Judgment Aggregation.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Strategic Voting with Incomplete Information.

[BibT_eX]

[DOI]

Svetlana Obraztsova

Maria Polukarov

Jeffrey S. Rosenschein

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Pairwise Diffusion of Preference Rankings in Social Networks.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Complexity and Tractability Islands for Combinatorial Auctions on Discrete Intervals with Gaps.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Olivier Cailloux

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Group Manipulation in Judgment Aggregation.

[BibT_eX]

[DOI]

Sirin Botan

Arianna Novaro

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Rationalisation of Profiles of Abstract Argumentation Frameworks.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Judgment Aggregation under Issue Dependencies.

[BibT_eX]

[DOI]

Marco Costantini

Carla Groenland

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Parameterized Complexity Results for Agenda Safety in Judgment Aggregation.

[BibT_eX]

[DOI]

Ronald de Haan

Stefan Szeider

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.

[BibT_eX]

[DOI]

Ronald de Haan

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.

[BibT_eX]

[DOI]

Giovanni Ciná

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.

[BibT_eX]

[DOI]

J. Log. Comput., 2014

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

[BibT_eX]

[DOI]

Dagstuhl Reports, 2014

Multiagent resource allocation with sharable items.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2014

Social Choice Theory as a Foundation for Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the Multiagent System Technologies - 12th German Conference, 2014

Measuring Diversity of Preferences in a Group.

[BibT_eX]

[DOI]

Vahid Hashemi

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

Collective Rationality in Graph Aggregation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Olivier Cailloux

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.

[BibT_eX]

[DOI]

Proceedings of the COLING 2014, 2014

Axiomatic analysis of aggregation methods for collective annotation.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Binary Aggregation by Selection of the Most Representative Voters.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

First-Order Logic Formalisation of Impossibility Theorems in Preference Aggregation.

[BibT_eX]

[DOI]

J. Philos. Log., 2013

Incentive engineering for Boolean games.

[BibT_eX]

[DOI]

Michael J. Wooldridge

Sarit Kraus

Artif. Intell., 2013

Lifting integrity constraints in binary aggregation.

[BibT_eX]

[DOI]

Artif. Intell., 2013

Recent Developments in Collective Decision Making in Combinatorial Domains.

[BibT_eX]

[DOI]

Proceedings of the Nature of Computation. Logic, Algorithms, Applications, 2013

Reduction of economic inequality in combinatorial domains.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

Voting on Actions with Uncertain Outcomes.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Decision Theory - Third International Conference, 2013

Collective Annotation of Linguistic Resources: Basic Principles and a Formal Model.

[BibT_eX]

[DOI]

Raquel Fernández

Proceedings of the 51st Annual Meeting of the Association for Computational Linguistics, 2013

2012

Complexity of Judgment Aggregation.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2012

Voter response to iterated poll information.

[BibT_eX]

[DOI]

Annemieke Reijngoud

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

2011

Computational Social Choice: Prospects and Challenges.

[BibT_eX]

[DOI]

Proceedings of the 2nd European Future Technologies Conference and Exhibition, 2011

ABox Abduction in the Description Logic <i>ALC</i>.

[BibT_eX]

[DOI]

Szymon Klarman

Stefan Schlobach

J. Autom. Reason., 2011

Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects.

[BibT_eX]

[DOI]

Christian Geist

J. Artif. Intell. Res., 2011

Computational Social Choice (with a Special Emphasis on the Use of Logic).

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, and Computation, 2011

Binary Aggregation with Integrity Constraints.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Aggregating Dependency Graphs into Voting Agendas in Multi-Issue Elections.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Ontology Merging as Social Choice.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2011

Applications of Logic in Social Choice Theory - (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2011

Designing incentives for Boolean games.

[BibT_eX]

[DOI]

Sarit Kraus

Michael J. Wooldridge

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.

[BibT_eX]

[DOI]

Joel Uckelman

Artif. Intell., 2010

A graphical formalism for mixed multi-unit combinatorial auctions.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2010

Simple negotiation schemes for agents with simple preferences: sufficiency, necessity and maximality.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2010

Modelling Combinatorial Auctions in Linear Logic.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Modelling Multilateral Negotiation in Linear Logic.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

Fair Division under Ordinal Preferences: Computing Envy-Free Allocations of Indivisible Goods.

[BibT_eX]

[DOI]

Sylvain Bouveret

Proceedings of the ECAI 2010, 2010

Complexity of judgment aggregation: safety of the agenda.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Time Constraints in Mixed Multi-unit Combinatorial Auctions.

[BibT_eX]

[DOI]

Andreas Witzel

Proceedings of the Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets, 2010

Lifting Rationality Assumptions in Binary Aggregation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2009

Solution to Exchanges 8.1 puzzle: identifying the champion.

[BibT_eX]

[DOI]

Joseph Y. Halpern

SIGecom Exch., 2009

Representing Utility Functions via Weighted Goals.

[BibT_eX]

[DOI]

Math. Log. Q., 2009

First-Order Logic Formalisation of Arrow's Theorem.

[BibT_eX]

[DOI]

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

Preference Aggregation over Restricted Ballot Languages: Sincerity and Strategy-Proofness.

[BibT_eX]

[DOI]

Maria Silvia Pini

Francesca Rossi

Kristen Brent Venable

Proceedings of the IJCAI 2009, 2009

Conditional Importance Networks: A Graphical Language for Representing Ordinal, Monotonic Preferences over Sets of Goods.

[BibT_eX]

[DOI]

Sylvain Bouveret

Proceedings of the IJCAI 2009, 2009

A mixed multi-unit combinatorial auctions test suite.

[BibT_eX]

[DOI]

Bruno Rosell

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

Nash Social Welfare in Multiagent Resource Allocation.

[BibT_eX]

[DOI]

Sara Ramezani

Proceedings of the Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets, 2009

Iterated Majority Voting.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Decision Theory, First International Conference, 2009

2008

The 1st international workshop on computational social choice.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2008

Multiagent resource allocation in <i>k</i> -additive domains: preference representation and complexity.

[BibT_eX]

[DOI]

Ann. Oper. Res., 2008

Preference Handling in Combinatorial Domains: From AI to Social Choice.

[BibT_eX]

[DOI]

AI Mag., 2008

Preference Modeling by Weighted Goals with Max Aggregation.

[BibT_eX]

[DOI]

Joel Uckelman

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.

[BibT_eX]

[DOI]

Joel Uckelman

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.

[BibT_eX]

[DOI]

Brammert Ottens

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

Trajectories of goods in distributed allocation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Meritxell Vinyals

SIGecom Exch., 2007

Abstract models for dialogue protocols.

[BibT_eX]

[DOI]

Raquel Fernández

J. Log. Lang. Inf., 2007

Vote manipulation in the presence of multiple sincere ballots.

[BibT_eX]

[DOI]

Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

A Short Introduction to Computational Social Choice.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

Reaching Envy-Free States in Distributed Negotiation Settings.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

Bidding Languages and Winner Determination for Mixed Multi-unit Combinatorial Auctions.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

Simulation of Negotiation Policies in Distributed Multiagent Resource Allocation.

[BibT_eX]

[DOI]

Proceedings of the Engineering Societies in the Agents World VIII, 2007

07431 Abstracts Collection - Computational Issues in Social Choice.

[BibT_eX]

[DOI]

Proceedings of the Computational Issues in Social Choice, 21.10. - 26.10.2007, 2007

07431 Executive Summary - Computational Issues in Social Choice.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Allocating Goods on a Graph to Eliminate Envy.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Negotiating Socially Optimal Allocations of Resources.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2006

Issues in Multiagent Resource Allocation.

[BibT_eX]

[DOI]

Paulo Sousa

Informatica (Slovenia), 2006

Crafting the mind of PROSOCS agents.

[BibT_eX]

[DOI]

Appl. Artif. Intell., 2006

Expressive Power of Weighted Propositional Formulas for Cardinal Preference Modeling.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

Modal Logics of Negotiation and Preference.

[BibT_eX]

[DOI]

Eric Pacuit

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

How equitable is rational negotiation?

[BibT_eX]

[DOI]

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

Monotonic concession protocols for multilateral negotiation.

[BibT_eX]

[DOI]

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

Tractable negotiation in tree-structured domains.

[BibT_eX]

[DOI]

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

Temporal Logics for Representing Agent Communication Protocols.

[BibT_eX]

[DOI]

Proceedings of the Agent Communication II, International Workshops on Agent Communication, 2006

Some Recent Results and Open Questions in Distributed Resource Allocation.

[BibT_eX]

[DOI]

Proceedings of the Decision Theory and Multi-Agent Planning, 2006

2005

Multiagent resource allocation.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2005

On the Communication Complexity of Multilateral Trading: Extended Report.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2005

Sur le caractère égalitaire de l'allocation de ressources distribuée.

[BibT_eX]

Proceedings of the Systèmes Multi-Agents, 2005

On Maximal Classes of Utility Functions for Efficient one-to-one Negotiation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

Proceedings of the BNAIC 2005, 2005

Temporal logics for normative agent communication protocols.

[BibT_eX]

[DOI]

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

Negotiating over small bundles of resources.

[BibT_eX]

[DOI]

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

2004

Abductive Logic Programming with CIFF: System Description.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

The CIFF Proof Procedure for Abductive Logic Programming with Constraints.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation.

[BibT_eX]

[DOI]

Proceedings of the Global Computing, IST/FET International Workshop, 2004

Welfare Engineering in Practice: On the Variety of Multiagent Resource Allocation Problems.

[BibT_eX]

[DOI]

Proceedings of the Engineering Societies in the Agents World V, 5th InternationalWorkshop, 2004

On the Communication Complexity of Multilateral Trading.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

2003

Modal logics of ordered trees.

[BibT_eX]

[DOI]

PhD thesis, 2003

Protocol Conformance for Logic-based Agents.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-03, 2003

Welfare Engineering in Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the Engineering Societies in the Agents World IV, 2003

Competent Agents and Customising Protocols.

[BibT_eX]

[DOI]

Proceedings of the Engineering Societies in the Agents World IV, 2003

Aspects of protocol conformance in inter-agent dialogue.

[BibT_eX]

[DOI]

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

On optimal outcomes of negotiations over resources.

[BibT_eX]

[DOI]

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

Logic-Based Agent Communication Protocols.

[BibT_eX]

[DOI]

Proceedings of the Advances in Agent Communication, 2003

2000

Reasoning in Description Logics with Wellington 1.0 - System Description.

[BibT_eX]

[DOI]

Proceedings of the Seventh Workshop on Automated Reasoning, 2000

1999

A Time Efficient KE Based Theorem Prover.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1999

An Interactive Theorem Proving Assistant.

[BibT_eX]

[DOI]