Most papers are available as either PDF or Postscript files. A BibTex file with all my publications is available here.

Please contact me (ulle.endriss@uva.nl) should you experience problems with downloading any of these files.

Jump to 2016, 2015, 2014, 2013, 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003, 2002, 2001, 2000, 1999, 1998, 1997, 1996.

Ulle Endriss.
*A Note on Embedding Voting Rules into Judgment Aggregation*.
Working Paper, ILLC, University of Amsterdam. October 2015. Last revised in December 2015.
(Paper)

Ulle Endriss.
*Lecture Notes on Fair Division*.
ILLC, University of Amsterdam, September 2009. Last revised in April 2010.
(Paper)

Yann Chevaleyre, Ulle Endriss, and Nicolas Maudet.
Distributed Fair Allocation of Indivisible Goods.
*Artificial Intelligence*,
Forthcoming.
(BibTex, Paper)

Janosch Döcker, Britta Dorn, Ulle Endriss, and Dominikus Krüger.
Complexity and Tractability Islands for Combinatorial Auctions on Discrete Intervals with Gaps.
In *Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI-2016)*,
August 2016.
(BibTex, DOI, Paper)

Ulle Endriss, Svetlana Obraztsova, Maria Polukarov, and Jeffrey S. Rosenschein.
Strategic Voting with Incomplete Information.
In *Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-2016)*,
July 2016.
Also presented at SCW-2016.
(BibTex, Paper, Poster, Slides)

Markus Brill, Edith Elkind, Ulle Endriss, and Umberto Grandi.
Pairwise Diffusion of Preference Rankings in Social Networks.
In *Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-2016)*,
July 2016.
(BibTex, Paper)

Olivier Cailloux and Ulle Endriss.
Arguing about Voting Rules.
In *Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2016)*,
IFAAMAS,
May 2016.
Also presented at COMSOC-2016.
(BibTex, Paper, Slides)

Sirin Botan, Arianna Novaro, and Ulle Endriss.
Group Manipulation in Judgment Aggregation.
In *Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2016)*,
IFAAMAS,
May 2016.
(BibTex, Paper)

Stéphane Airiau, Elise Bonzon, Ulle Endriss, Nicolas Maudet, and Julien Rossit.
Rationalisation of Profiles of Abstract Argumentation Frameworks.
In *Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2016)*,
IFAAMAS,
May 2016.
**Best Paper Award**.
Also presented at IAF-2016.
(BibTex, Paper, Slides)

Ulle Endriss, Umberto Grandi, Ronald de Haan, and Jérôme Lang.
Succinctness of Languages for Judgment Aggregation.
In *Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR-2016)*,
April 2016.
(BibTex, Paper)

Marco Costantini, Carla Groenland, and Ulle Endriss.
Judgment Aggregation under Issue Dependencies.
In *Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI-2016)*,
February 2016.
(BibTex, Paper, Slides)

Felix Brandt, Vincent Conitzer, Ulle Endriss, Jérôme Lang, and Ariel D. Procaccia.
Introduction to Computational Social Choice.
In F. Brandt, V. Conitzer, U. Endriss, J. Lang, and A. D. Procaccia, editors,
*Handbook of Computational Social Choice*,
Cambridge University Press,
2016.
(BibTex, Paper)

Felix Brandt, Vincent Conitzer, Ulle Endriss, Jérôme Lang, and Ariel D. Procaccia, editors.
*Handbook of Computational Social Choice.*
Cambridge University Press,
2016.
(BibTex, WebSite)

Ulle Endriss.
Judgment Aggregation.
In F. Brandt, V. Conitzer, U. Endriss, J. Lang, and A. D. Procaccia, editors,
*Handbook of Computational Social Choice*,
Cambridge University Press,
2016.
(BibTex, Paper)

Giovanni Ciná and Ulle Endriss.
Proving Classical Theorems of Social Choice Theory in Modal Logic.
*Journal of Autonomous Agents and Multiagent Systems*,
**30**(5):963-989,
2016.
(BibTex, DOI, Paper)

Sharon Gieske, Elise van der Pol, and Ulle Endriss.
Empirical Evaluation of Collective Rationality for Quota Rules in Judgment Aggregation.
In *Proceedings of the 27th Benelux Conference on Artificial Intelligence (BNAIC-2015)*,
November 2015.
(BibTex, Paper)

Ulle Endriss, Ronald de Haan, and Stefan Szeider.
Parameterized Complexity Results for Agenda Safety in Judgment Aggregation.
In *Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2015)*,
May 2015.
(BibTex, Paper, Errata)

Ulle Endriss and Ronald de Haan.
Complexity of the Winner Determination Problem in Judgment Aggregation: Kemeny, Slater, Tideman, Young.
In *Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2015)*,
May 2015.
(BibTex, Paper)

Giovanni Ciná and Ulle Endriss.
A Syntactic Proof of Arrow's Theorem in a Modal Logic of Social Choice Functions.
In *Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2015)*,
May 2015.
(BibTex, Paper)

Ulle Endriss.
Social Choice Theory as a Foundation for Multiagent Systems.
In *Proceedings of the 12th German Conference on Multiagent System Technologies (MATES-2014)*,
LNAI,
volume 8732,
pages 1-6,
Springer-Verlag,
September 2014.
Extended abstract corresponding to an invited talk.
(BibTex, DOI, Paper, Slides)

Ciyang Qing, Ulle Endriss, Raquel Fernández, and Justin Kruger.
Empirical Analysis of Aggregation Methods for Collective Annotation.
In *Proceedings of the 25th International Conference on Computational Linguistics (COLING-2014)*,
August 2014.
**Finalist for the Best Paper Award**.
(BibTex, Paper, Data)

Vahid Hashemi and Ulle Endriss.
Measuring Diversity of Preferences in a Group.
In *Proceedings of the 21st European Conference on Artificial Intelligence (ECAI-2014)*,
August 2014.
A short version was presented at BNAIC-2014 and is available here.
(BibTex, DOI, Paper, Slides)

Ulle Endriss and João Leite, editors.
*Proceedings of the 7th European Starting AI Researcher Symposium (STAIRS-2014).*
IOS Press,
August 2014.
(BibTex, WebSite)

Ulle Endriss and Umberto Grandi.
Collective Rationality in Graph Aggregation.
In *Proceedings of the 21st European Conference on Artificial Intelligence (ECAI-2014)*,
August 2014.
(BibTex, DOI, Paper, Slides)

Ulle Endriss and Raquel Fernández. Collective Annotation: Unexpected Connections between Computational Linguistics and Voting Theory. CNGL Blog, Centre for Global Intelligent Content, August 2014. (BibTex, Paper)

Olivier Cailloux and Ulle Endriss.
Eliciting a Suitable Voting Rule via Examples.
In *Proceedings of the 21st European Conference on Artificial Intelligence (ECAI-2014)*,
August 2014.
(BibTex, DOI, Paper)

Ulle Endriss and Umberto Grandi.
Binary Aggregation by Selection of the Most Representative Voter.
In *Proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI-2014)*,
July 2014.
(BibTex, Paper)

Ulle Endriss, Ronald de Haan, and Stefan Szeider.
Parameterized Complexity Results for Agenda Safety in Judgment Aggregation.
In *Proceedings of the 5th International Workshop on Computational Social Choice (COMSOC-2014)*,
Carnegie Mellon University,
June 2014.
Superseded by our AAMAS-2015 paper.
(BibTex, Paper)

Justin Kruger, Ulle Endriss, Raquel Fernández, and Ciyang Qing.
Axiomatic Analysis of Aggregation Methods for Collective Annotation.
In *Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2014)*,
May 2014.
(BibTex, Paper)

Franz Dietrich, Ulle Endriss, Davide Grossi, Gabriella Pigozzi, and Marija Slavkovik, editors.
*Dagstuhl Seminar Report 14202: Judgment Aggregation for Artificial Intelligence.*
Leibniz-Zentrum für Informatik,
May 2014.
(BibTex, DOI, Paper)

Daniele Porello and Ulle Endriss.
Ontology Merging as Social Choice: Judgment Aggregation under the Open World Assumption.
*Journal of Logic and Computation*,
**24**(6):1229-1249,
2014.
(BibTex, DOI, Paper)

Stéphane Airiau and Ulle Endriss.
Multiagent Resource Allocation with Sharable Items.
*Journal of Autonomous Agents and Multiagent Systems*,
**28**(6):956-985,
2014.
(BibTex, DOI, Paper)

Ulle Endriss.
Voting on Actions with Uncertain Outcomes.
In *Proceedings of the 3rd International Conference on Algorithmic Decision Theory (ADT-2013)*,
LNAI,
volume 8176,
pages 167-180,
Springer-Verlag,
November 2013.
Poster Paper. Also presented at SCW-2014.
(BibTex, DOI, Paper, Poster, Slides)

Ulle Endriss and Umberto Grandi.
Binary Aggregation by Selection of the Most Representative Voter.
In *Proceedings of the 7th Multidisciplinary Workshop on Advances in Preference Handling (MPREF-2013)*,
August 2013.
Superseded by our AAAI-2014 paper.
(BibTex, Paper)

Ulle Endriss and Raquel Fernández.
Collective Annotation of Linguistic Resources: Basic Principles and a Formal Model.
In *Proceedings of the 51st Annual Meeting of the Association for Computational Linguistics (ACL-2013)*,
August 2013.
A short version was presented at BNAIC-2013 and is available here.
(BibTex, Paper, Slides)

Ulle Endriss.
Recent Developments in Collective Decision Making in Combinatorial Domains.
In *Proceedings of the Conference on Computability in Europe (CiE-2013)*,
Springer-Verlag,
July 2013.
Abstract corresponding to an invited talk.
(BibTex, DOI, Paper, Slides)

Ulle Endriss.
Reduction of Economic Inequality in Combinatorial Domains.
In *Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2013)*,
May 2013.
(BibTex, Paper, Poster, Slides)

Michael Wooldridge, Ulle Endriss, Sarit Kraus, and Jérôme Lang.
Incentive Engineering for Boolean Games.
*Artificial Intelligence*,
**195**:418-439,
2013.
(BibTex, DOI, Paper)

Umberto Grandi and Ulle Endriss.
First-Order Logic Formalisation of Impossibility Theorems in Preference Aggregation.
*Journal of Philosophical Logic*,
**42**(4):595-618,
2013.
(BibTex, DOI, Paper)

Umberto Grandi and Ulle Endriss.
Lifting Integrity Constraints in Binary Aggregation.
*Artificial Intelligence*,
**199-200**:45-66,
2013.
(BibTex, DOI, Paper)

Ulle Endriss.
Tutorial on Computational Social Choice (with a Special Emphasis on the Use of Logic).
In *Proceedings of the 9th International Tbilisi Symposium on Language, Logic and Computation*,
LNCS,
7758,
pages 1-3,
Springer-Verlag,
2013.
(BibTex, DOI, Paper)

Ulle Endriss.
Sincerity and Manipulation under Approval Voting.
*Theory and Decision*,
**74**(3):335-355,
2013.
A short version was presented at LGS-2011 and is available here.
(BibTex, DOI, Paper)

Felix Brandt, Vincent Conitzer, and Ulle Endriss.
Computational Social Choice.
In G. Weiss, editor,
*Multiagent Systems*,
pages 213-283,
MIT Press,
2013.
(BibTex, Paper, Errata)

Ulle Endriss.
Automated Analysis of Social Choice Problems: Approval Elections with Small Fields of Candidates.
In *Proceedings of the 24th Benelux Conference on Artificial Intelligence (BNAIC-2012)*,
October 2012.
**Best Paper Award**.
(BibTex, Paper, Slides, Software)

Ulle Endriss and Umberto Grandi.
Graph Aggregation.
In *Proceedings of the 4th International Workshop on Computational Social Choice (COMSOC-2012)*,
AGH University of Science and Technology, Kraków,
September 2012.
(BibTex, Paper)

Annemieke Reijngoud and Ulle Endriss.
Voter Response to Iterated Poll Information.
In *Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2012)*,
June 2012.
(BibTex, Paper)

Andreas Witzel and Ulle Endriss.
Time Constraints in Mixed Multi-unit Combinatorial Auctions.
In *Agent-Mediated Electronic Commerce: Designing Trading Strategies and Mechanisms for Electronic Markets*,
Lecture Notes in Business Information Processing,
volume 118,
pages 127-143,
Springer-Verlag,
2012.
Postproceedings of AMEC-2010.
(BibTex, DOI, Paper)

Ulle Endriss, Umberto Grandi, and Daniele Porello.
Complexity of Judgment Aggregation.
*Journal of Artificial Intelligence Research*,
**45**:481-514,
2012.
(BibTex, DOI, Paper)

Daniele Porello and Ulle Endriss.
Ontology Merging as Social Choice.
In *Proceedings of the 12th International Workshop on Computational Logic in Multiagent Systems (CLIMA-2011)*,
LNAI,
volume 6814,
pages 157-170,
Springer-Verlag,
July 2011.
(BibTex, Paper)

Umberto Grandi and Ulle Endriss.
Binary Aggregation with Integrity Constraints.
In *Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-2011)*,
July 2011.
(BibTex, Paper, Poster)

Ulle Endriss.
Applications of Logic in Social Choice Theory.
In *Proceedings of the 12th International Workshop on Computational Logic in Multiagent Systems (CLIMA-2011)*,
LNAI,
volume 6814,
pages 88-91,
Springer-Verlag,
July 2011.
Extended abstract corresponding to an invited talk.
(BibTex, Paper, Slides)

Edith Elkind, Ulle Endriss, and Jérôme Lang, editors.
*Proceedings of the IJCAI-2011 Workshop on Social Choice and Artificial Intelligence.*
Barcelona,
July 2011.
(BibTex, Paper)

Stéphane Airiau, Ulle Endriss, Umberto Grandi, Daniele Porello, and Joel Uckelman.
Aggregating Dependency Graphs into Voting Agendas in Multi-Issue Elections.
In *Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-2011)*,
July 2011.
Poster Paper.
(BibTex, Paper, Poster)

Ulle Endriss, Sarit Kraus, Jérôme Lang, and Michael Wooldridge.
Designing Incentives for Boolean Games.
In *Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2011)*,
May 2011.
**Best Paper Award**.
(BibTex, Paper)

Szymon Klarman, Ulle Endriss, and Stefan Schlobach.
ABox Abduction in the Description Logic ALC.
*Journal of Automated Reasoning*,
**46**(1):43-80,
2011.
(BibTex, DOI, Paper)

Christian Geist and Ulle Endriss.
Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects.
*Journal of Artificial Intelligence Research*,
**40**:143-174,
2011.
**IJCAI-JAIR Best Paper Prize 2016**.
(BibTex, DOI, Paper)

Ulle Endriss.
Logic and Social Choice Theory.
In A. Gupta and J. van Benthem, editors,
*Logic and Philosophy Today*,
volume 2,
pages 333-377,
College Publications,
2011.
(BibTex, Paper)

Ulle Endriss.
Computational Social Choice: Prospects and Challenges.
*Procedia Computer Science*,
**7**:68-72,
2011.
Proceedings of the 2nd European Future Technologies Conference and Exhibition (FET'11).
(BibTex, DOI, Paper)

Ulle Endriss, Umberto Grandi, and Daniele Porello.
Complexity of Winner Determination and Strategic Manipulation in Judgment Aggregation.
In *Proceedings of the 3rd International Workshop on Computational Social Choice (COMSOC-2010)*,
University of Düsseldorf,
September 2010.
(BibTex, Paper)

Daniele Porello and Ulle Endriss.
Modelling Multilateral Negotiation in Linear Logic.
In *Proceedings of the 19th European Conference on Artificial Intelligence (ECAI-2010)*,
August 2010.
(BibTex, Paper)

Sylvain Bouveret, Ulle Endriss, and Jérôme Lang.
Fair Division under Ordinal Preferences: Computing Envy-Free Allocations of Indivisible Goods.
In *Proceedings of the 19th European Conference on Artificial Intelligence (ECAI-2010)*,
August 2010.
Also presented at COMSOC-2010.
(BibTex, Paper)

Umberto Grandi and Ulle Endriss.
Lifting Rationality Assumptions in Binary Aggregation.
In *Proceedings of the 24th AAAI Conference on Artificial Intelligence (AAAI-2010)*,
July 2010.
Also presented at SCW-2010.
(BibTex, Paper)

Andreas Witzel and Ulle Endriss.
Time Constraints in Mixed Multi-unit Combinatorial Auctions (Extended Abstract).
In *Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2010)*,
May 2010.
(BibTex, Paper)

Daniele Porello and Ulle Endriss.
Modelling Combinatorial Auctions in Linear Logic.
In *Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR-2010)*,
May 2010.
(BibTex, Paper)

Ulle Endriss, Umberto Grandi, and Daniele Porello.
Complexity of Judgment Aggregation: Safety of the Agenda.
In *Proceedings of the 9th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2010)*,
May 2010.
Also presented at SCW-2010.
(BibTex, Paper, Slides)

Stéphane Airiau and Ulle Endriss.
Multiagent Resource Allocation with Sharable Items: Simple Protocols and Nash Equilibria.
In *Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2010)*,
May 2010.
(BibTex, Paper)

Joel Uckelman and Ulle Endriss.
Compactly Representing Utility Functions Using Weighted Goals and the Max Aggregator.
*Artificial Intelligence*,
**174**(15):1222-1246,
2010.
(BibTex, DOI, Paper)

Sara Ramezani and Ulle Endriss.
Nash Social Welfare in Multiagent Resource Allocation.
In *Agent-Mediated Electronic Commerce: Designing Trading Strategies and Mechanisms for Electronic Markets*,
Lecture Notes in Business Information Processing,
volume 59,
pages 117-131,
Springer-Verlag,
2010.
Postproceedings of AMEC-2009. Also presented at BNAIC-2009.
(BibTex, DOI, Paper)

Andrea Giovannucci, Jesús Cerquides, Ulle Endriss, and Juan A. Rodríguez-Aguilar.
A Graphical Formalism for Mixed Multi-Unit Combinatorial Auctions.
*Journal of Autonomous Agents and Multiagent Systems*,
**20**(3):342-368,
2010.
(BibTex, DOI, Paper)

Yann Chevaleyre, Ulle Endriss, and Nicolas Maudet.
Simple Negotiation Schemes for Agents with Simple Preferences: Sufficiency, Necessity and Maximality.
*Journal of Autonomous Agents and Multiagent Systems*,
**20**(2):234-259,
2010.
(BibTex, DOI, Paper)

Stéphane Airiau, Ulle Endriss, and Joseph Y. Halpern. Solution to Exchanges 8.1 Puzzle: Identifying the Champion. ACM SIGecom Exchanges, Vol. 8, No. 2, December 2009. (BibTex, Paper)

Umberto Grandi and Ulle Endriss.
First-Order Logic Formalisation of Arrow's Theorem.
In *Proceedings of the 2nd International Workshop on Logic, Rationality and Interaction (LORI-2009)*,
LNAI,
volume 5834,
pages 133-146,
Springer-Verlag,
October 2009.
Also presented at DGL-2009.
(BibTex, Paper)

Stéphane Airiau and Ulle Endriss.
Iterated Majority Voting.
In *Proceedings of the 1st International Conference on Algorithmic Decision Theory (ADT-2009)*,
LNCS,
volume 5783,
pages 38-49,
Springer-Verlag,
October 2009.
(BibTex, Paper)

Ulle Endriss, Maria Silvia Pini, Francesca Rossi, and K. Brent Venable.
Preference Aggregation over Restricted Ballot Languages: Sincerity and Strategy-Proofness.
In *Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-2009)*,
pages 122-127,
July 2009.
(BibTex, Paper, Slides)

Sylvain Bouveret, Ulle Endriss, and Jérôme Lang.
Conditional Importance Networks: A Graphical Language for Representing Ordinal, Monotonic Preferences over Sets of Goods.
In *Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-2009)*,
pages 67-72,
July 2009.
(BibTex, Paper)

Andrea Giovannucci, Meritxell Vinyals, Jesús Cerquides, Juan A. Rodríguez-Aguilar, Ulle Endriss, and Bruno Rosell.
A Mixed Multi-unit Combinatorial Auction Test Suite.
In *Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2009)*,
IFAAMAS,
May 2009.
Demo Paper.
(BibTex, Paper)

Joel Uckelman, Yann Chevaleyre, Ulle Endriss, and Jérôme Lang.
Representing Utility Functions via Weighted Goals.
*Mathematical Logic Quarterly*,
**55**(4):341-361,
2009.
(BibTex, Paper)

Paolo Mancarella, Giacomo Terreni, Fariba Sadri, Francesca Toni, and Ulle Endriss.
The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments.
*Theory and Practice of Logic Programming*,
**9**(6):691-750,
2009.
(BibTex, DOI, Paper)

Ulle Endriss. Computational Social Choice. The Reasoner 2(10), pages 9-10, October 2008. Report on COMSOC-2008 in Liverpool. (BibTex, WebSite)

Joel Uckelman and Ulle Endriss.
Preference Modeling by Weighted Goals with Max Aggregation.
In G. Brewka and J. Lang, editors,
*Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR-2008)*,
pages 579-587,
AAAI Press,
September 2008.
**Finalist for the Best Paper Award**.
(BibTex, Paper)

Ulle Endriss and Paul W. Goldberg, editors.
*Proceedings of the 2nd International Workshop on Computational Social Choice (COMSOC-2008).*
University of Liverpool,
September 2008.
(BibTex, Paper)

Joel Uckelman and Ulle Endriss.
Winner Determination in Combinatorial Auctions with Logic-based Bidding Languages.
In *Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2008)*,
pages 1617-1620,
IFAAMAS,
May 2008.
Short Paper.
(BibTex, Paper)

Brammert Ottens and Ulle Endriss.
Comparing Winner Determination Algorithms for Mixed Multi-unit Combinatorial Auctions.
In *Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2008)*,
pages 1601-1604,
IFAAMAS,
May 2008.
Short Paper.
(BibTex, Paper)

Yann Chevaleyre, Ulle Endriss, and Nicolas Maudet.
Trajectories of Goods in Distributed Allocation.
In *Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2008)*,
pages 1111-1118,
IFAAMAS,
May 2008.
(BibTex, Paper)

Ulle Endriss.
The 1st International Workshop on Computational Social Choice.
*Knowledge Engineering Review*,
**23**(2):213-215,
2008.
(BibTex, DOI, Paper)

Yann Chevaleyre, Ulle Endriss, Sylvia Estivie, and Nicolas Maudet.
Multiagent Resource Allocation in *k*-additive Domains: Preference Representation and Complexity.
*Annals of Operations Research*,
**163**(1):49-62,
2008.
(BibTex, DOI, Paper)

Yann Chevaleyre, Ulle Endriss, Jérôme Lang, and Nicolas Maudet.
Preference Handling in Combinatorial Domains: From AI to Social Choice.
*AI Magazine, Special Issue on Preferences*,
**29**(4):37-46,
2008.
(BibTex, Paper)

Hylke Buisman, Gijs Kruitbosch, Nadya Peek, and Ulle Endriss.
Simulation of Negotiation Policies in Distributed Multiagent Resource Allocation.
In *Engineering Societies in the Agents World VIII*,
LNAI,
volume 4995,
pages 224-239,
Springer-Verlag,
2008.
Postproceedings of ESAW-2007.
(BibTex, DOI, Paper, Software)

Andrea Giovannucci, Juan A. Rodríguez-Aguilar, Meritxell Vinyals, Jesús Cerquides, and Ulle Endriss. Mixed Multi-unit Combinatorial Auctions for Supply Chain Management. ACM SIGecom Exchanges, Vol. 7, No. 1, December 2007. (BibTex, Paper)

Ulle Endriss, Jérôme Lang, Francesca Rossi, and Tuomas Sandholm, editors.
*Dagstuhl Seminar Report 07431: Computational Issues in Social Choice.*
Leibniz-Zentrum für Informatik,
October 2007.
(BibTex, WebSite)

Joel Uckelman and Ulle Endriss.
Preference Representation with Weighted Goals: Expressivity, Succinctness, Complexity.
In *Proceedings of the AAAI Workshop on Preference Handling for Artificial Intelligence (AiPref-2007)*,
Vancouver, British Columbia,
July 2007.
(BibTex, Paper)

Yann Chevaleyre, Ulle Endriss, and Nicolas Maudet.
Allocating Goods on a Graph to Eliminate Envy.
In *Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-2007)*,
pages 700-705,
AAAI Press,
July 2007.
(BibTex, Paper)

Ulle Endriss.
Vote Manipulation in the Presence of Multiple Sincere Ballots.
In D. Samet, editor,
*Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007)*,
pages 125-134,
Presses Universitaires de Louvain,
June 2007.
(BibTex, Paper, Slides, Software)

Andrea Giovannucci, Juan A. Rodríguez-Aguilar, Jesús Cerquides, and Ulle Endriss.
Winner Determination for Mixed Multi-unit Combinatorial Auctions via Petri Nets.
In *Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2007)*,
ACM Press,
May 2007.
(BibTex, Paper)

Yann Chevaleyre, Ulle Endriss, Jérôme Lang, and Nicolas Maudet.
A Short Introduction to Computational Social Choice.
In *Proceedings of the 33rd Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM-2007)*,
LNCS,
volume 4362,
pages 51-69,
Springer-Verlag,
January 2007.
Survey paper to go with J. Lang's invited talk.
(BibTex, DOI, Paper)

Yann Chevaleyre, Ulle Endriss, Sylvia Estivie, and Nicolas Maudet.
Reaching Envy-free States in Distributed Negotiation Settings.
In M. Veloso, editor,
*Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-2007)*,
pages 1239-1244,
Hyderabad, India,
January 2007.
Poster Paper.
(BibTex, Paper, Poster)

Jesús Cerquides, Ulle Endriss, Andrea Giovannucci, and Juan A. Rodríguez-Aguilar.
Bidding Languages and Winner Determination for Mixed Multi-unit Combinatorial Auctions.
In M. Veloso, editor,
*Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-2007)*,
pages 1221-1226,
Hyderabad, India,
January 2007.
(BibTex, Paper, Slides)

Raquel Fernández and Ulle Endriss.
Abstract Models for Dialogue Protocols.
*Journal of Logic, Language and Information*,
**16**(2):121-140,
2007.
(BibTex, DOI, Paper)

Ulle Endriss and Jérôme Lang, editors.
*Proceedings of the 1st International Workshop on Computational Social Choice (COMSOC-2006).*
ILLC, University of Amsterdam,
December 2006.
(BibTex, WebSite)

Ulle Endriss. COMSOC-2006 in Amsterdam. BNVKI Newsletter 23(6), pages 140-141, December 2006. (BibTex, Paper)

Ulle Endriss and Eric Pacuit.
Modal Logics of Negotiation and Preference.
In M. Fisher, W. van der Hoek, B. Konev, and A. Lisitsa, editors,
*Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA-2006)*,
LNAI,
volume 4160,
pages 138-150,
Springer-Verlag,
September 2006.
(BibTex, DOI, Paper, Slides)

Yann Chevaleyre, Ulle Endriss, and Jérôme Lang.
Expressive Power of Weighted Propositional Formulas for Cardinal Preference Modelling.
In P. Doherty, J. Mylopoulos, and C. Welty, editors,
*Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR-2006)*,
pages 145-152,
AAAI Press,
June 2006.
(BibTex, Paper, Slides)

Sylvia Estivie, Yann Chevaleyre, Ulle Endriss, and Nicolas Maudet.
How Equitable is Rational Negotiation?
In P. Stone and G. Weiss, editors,
*Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2006)*,
pages 866-873,
ACM Press,
May 2006.
(BibTex, DOI, Paper)

Ulle Endriss.
Monotonic Concession Protocols for Multilateral Negotiation.
In P. Stone and G. Weiss, editors,
*Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2006)*,
pages 392-399,
ACM Press,
May 2006.
(BibTex, DOI, Paper, Slides)

Yann Chevaleyre, Ulle Endriss, and Nicolas Maudet.
Tractable Negotiation in Tree-structured Domains.
In P. Stone and G. Weiss, editors,
*Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2006)*,
pages 362-369,
ACM Press,
May 2006.
(BibTex, DOI, Paper)

Yann Chevaleyre, Paul E. Dunne, Ulle Endriss, Jérôme Lang, Michel Lemaître, Nicolas Maudet, Julian Padget, Steve Phelps, Juan A. Rodríguez-Aguilar, and Paulo Sousa.
Issues in Multiagent Resource Allocation.
*Informatica*,
**30**:3-31,
2006.
Survey paper.
(BibTex, Paper)

Ulle Endriss, Nicolas Maudet, Fariba Sadri, and Francesca Toni.
Negotiating Socially Optimal Allocations of Resources.
*Journal of Artificial Intelligence Research*,
**25**:315-348,
2006.
(BibTex, DOI, Paper)

Ulle Endriss.
Temporal Logics for Representing Agent Communication Protocols.
In F. Dignum, R. van Eijk, and R. Flores, editors,
*Agent Communication II*,
LNAI,
volume 3859,
pages 15-29,
Springer-Verlag,
2006.
Postproceedings of the AAMAS Workshop on Agent Communication (AC-2005).
(BibTex, DOI, Paper, Slides)

Yann Chevaleyre, Ulle Endriss, and Nicolas Maudet.
Some Recent Results and Open Questions in Distributed Resource Allocation.
In G. Della Riccia, D. Dubois, R. Kruse, and H.-J. Lenz, editors,
*Decision Theory and Multi-Agent Planning*,
CISM International Centre for Mechanical Sciences,
volume 482,
pages 49-63,
Springer-Verlag,
2006.
Invited contribution.
(BibTex)

Andrea Bracciali, Neophytos Demetriou, Ulle Endriss, Antonis Kakas, Wenjin Lu, and Kostas Stathis.
Crafting the Mind of PROSOCS Agents.
*Applied Artificial Intelligence*,
**20**(2-4):105-131,
2006.
(BibTex, DOI, Paper)

Matteo Baldoni, Ulle Endriss, Andrea Omicini, and Paolo Torroni, editors.
*Declarative Agent Languages and Technologies III.*
LNAI,
volume 3904,
Springer-Verlag,
2006.
Softcover, 245 pages, ISBN 3-540-33106-9. Postproceedings of DALT-2005.
(BibTex, WebSite)

Matteo Baldoni and Ulle Endriss, editors.
*Declarative Agent Languages and Technologies IV.*
LNAI,
volume 4327,
Springer-Verlag,
2006.
Softcover, 257 pages, ISBN 3-540-68959-1. Postproceedings of DALT-2006.
(BibTex, WebSite)

Sylvia Estivie, Yann Chevaleyre, Ulle Endriss, and Nicolas Maudet.
Sur le Caractère Égalitaire de l'Allocation de Ressources Distribuée (On the Egalitarian Character of Distributed Resource Allocation).
In *Journées Francophones sur les Systèmes Multi-Agents (JFSMA-2005)*,
November 2005.
**Best Paper Award**.
(BibTex, Paper)

Yann Chevaleyre, Ulle Endriss, and Nicolas Maudet.
Maximal Classes of Utility Functions for Efficient one-to-one Negotiation: Extended Abstract.
In K. Verbeek *et al.*, editors,
*Proceedings of the 17th Belgian-Dutch Conference on Artificial Intelligence (BNAIC-2005)*,
pages 331-332,
Royal Flemish Academy of Belgium of Science and the Arts,
October 2005.
This is an extended abstract of our IJCAI-2005 paper.
(BibTex, Paper)

Ulle Endriss and Nicolas Maudet. Multiagent Resource Allocation and Welfare Engineering. AgentLink News 18, pages 3-4, August 2005. (BibTex, Paper)

Yann Chevaleyre, Ulle Endriss, and Nicolas Maudet.
On Maximal Classes of Utility Functions for Efficient one-to-one Negotiation.
In *Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-2005)*,
pages 941-946,
August 2005.
(BibTex, Paper)

Ulle Endriss, Markos Hatzitaskos, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, and Francesca Toni.
Refinements of the CIFF Procedure.
In Alan Bundy and Jacques Fleuriot, editors,
*Proceedings of the 12th Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice*,
University of Edinburgh,
July 2005.
Extended Abstract.
(BibTex, Paper)

Ulle Endriss.
Temporal Logics for Normative Agent Communication Protocols.
In *Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2005)*,
pages 1127-1128,
ACM Press,
July 2005.
Extended Abstract.
(BibTex, DOI, Paper)

Yann Chevaleyre, Ulle Endriss, Jérôme Lang, and Nicolas Maudet.
Negotiating over Small Bundles of Resources.
In *Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2005)*,
pages 296-302,
ACM Press,
July 2005.
(BibTex, DOI, Paper)

Yann Chevaleyre, Ulle Endriss, and Nicolas Maudet.
Protocols for Tractable Resource Allocation with *k*-additive Utilities.
In A. Herzig, Y. Lespérance, and A.-I. Mouaddib, editors,
*Troisièmes Journées Francophones sur les Modèles Formels d'Interaction (MFI-2005)*,
pages 83-92,
Cépaduès-Éditions,
May 2005.
This is an early version of our AAMAS-2006 paper.
(BibTex, Paper)

Ulle Endriss, Nicolas Maudet, Fariba Sadri, and Francesca Toni.
*Negotiating Socially Optimal Allocations of Resources: An Overview.*
Technical Report 2005/2,
Department of Computing, Imperial College London,
March 2005.
(BibTex, Paper)

Ulle Endriss and Nicolas Maudet.
On the Communication Complexity of Multilateral Trading: Extended Report.
*Journal of Autonomous Agents and Multiagent Systems*,
**11**(1):91-107,
2005.
(BibTex, DOI, Paper)

Yann Chevaleyre, Paul E. Dunne, Ulle Endriss, Jérôme Lang, Nicolas Maudet, and Juan A. Rodríguez-Aguilar.
Multiagent Resource Allocation.
*Knowledge Engineering Review. Special Issue on the AgentLink III Technical Forums*,
**20**(2):143-149,
2005.
(BibTex, DOI, Paper)

Yann Chevaleyre, Ulle Endriss, Sylvia Estivie, and Nicolas Maudet.
Welfare Engineering in Practice: On the Variety of Multiagent Resource Allocation Problems.
In M.-P. Gleizes, A. Omicini, and F. Zambonelli, editors,
*Engineering Societies in the Agents World V*,
LNAI,
volume 3451,
pages 335-347,
Springer-Verlag,
2005.
Postproceedings of ESAW-2004.
(BibTex, Paper)

Andrea Bracciali, Neophytos Demetriou, Ulle Endriss, Antonis Kakas, Wenjin Lu, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Giacomo Terreni, and Francesca Toni.
The KGP Model for Global Computing: Computational Model and Prototype Implementation.
In C. Priami and P. Quaglia, editors,
*Proceedings of the Global Computing Workshop (GC-2004)*,
LNCS,
volume 3267,
pages 340-367,
Springer-Verlag,
2005.
(BibTex, Paper)

Yann Chevaleyre, Ulle Endriss, Sylvia Estivie, and Nicolas Maudet.
Multiagent Resource Allocation with *k*-additive Utility Functions.
In D. Bouyssou, M. Janowitz, F. Roberts, and A. Tsoukiàs, editors,
*Proceedings of the DIMACS-LAMSADE Workshop on Computer Science and Decision Theory*,
Annales du LAMSADE,
volume 3,
pages 83-100,
October 2004.
(BibTex, Paper)

Ulle Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, and Francesca Toni.
Abductive Logic Programming with CIFF: System Description.
In J. J. Alferes and J. Leite, editors,
*Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA-2004)*,
LNAI,
volume 3229,
pages 680-684,
Springer-Verlag,
September 2004.
(BibTex, Paper, Software)

Ulle Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, and Francesca Toni.
The CIFF Proof Procedure for Abductive Logic Programming with Constraints.
In J. J. Alferes and J. Leite, editors,
*Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA-2004)*,
LNAI,
volume 3229,
pages 31-43,
Springer-Verlag,
September 2004.
(BibTex, Paper)

Ulle Endriss and Nicolas Maudet.
On the Communication Complexity of Multilateral Trading.
In N. R. Jennings, C. Sierra, L. Sonenberg, and M. Tambe, editors,
*Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2004)*,
pages 622-629,
ACM Press,
July 2004.
**Finalist for the Best Paper Award**.
(BibTex, DOI, Paper, Slides)

Ulle Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, and Francesca Toni.
Abductive Logic Programming with CIFF: Implementation and Applications.
In E. Panegai and G. Rossi, editors,
*Proceedings of the Italian Conference on Computational Logic (CILC-2004)*,
Quaderno del Dipartimento di Matematica,
volume 390,
pages 28-42,
University of Parma,
June 2004.
(BibTex, Paper)

Ulle Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, and Francesca Toni.
*The CIFF Proof Procedure: Definition and Soundness Results.*
Technical Report 2004/2,
Department of Computing, Imperial College London,
May 2004.
(BibTex, Paper)

Kostas Stathis, Antonis Kakas, Wenjin Lu, Neophytos Demetriou, Ulle Endriss, and Andrea Bracciali.
PROSOCS: A Platform for Programming Software Agents in Computational Logic.
In J. Müller and P. Petta, editors,
*Proceedings of the 4th International Symposium "From Agent Theory to Agent Implementation" (AT2AI-2004)*,
April 2004.
(BibTex, Paper)

Ulle Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, and Francesca Toni.
Abductive Logic Programming with CIFF.
In B. Bennett, editor,
*Proceedings of the 11th Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice*,
University of Leeds,
March 2004.
Extended Abstract.
(BibTex, Paper)

Ulle Endriss and Nicolas Maudet.
Welfare Engineering in Multiagent Systems.
In A. Omicini, P. Petta, and J. Pitt, editors,
*Engineering Societies in the Agents World IV*,
LNAI,
volume 3071,
pages 93-106,
Springer-Verlag,
2004.
Postproceedings of ESAW-2003.
(BibTex, Paper, Slides)

Ulle Endriss, Wenjin Lu, Nicolas Maudet, and Kostas Stathis.
Competent Agents and Customising Protocols.
In A. Omicini, P. Petta, and J. Pitt, editors,
*Engineering Societies in the Agents World IV*,
LNAI,
volume 3071,
pages 168-181,
Springer-Verlag,
2004.
Postproceedings of ESAW-2003.
(BibTex, Paper)

Ulle Endriss, Nicolas Maudet, Fariba Sadri, and Francesca Toni.
Logic-based Agent Communication Protocols.
In F. Dignum, editor,
*Advances in Agent Communication*,
LNAI,
volume 2922,
pages 91-107,
Springer-Verlag,
2004.
Invited contribution.
(BibTex, Paper)

Raquel Fernández and Ulle Endriss.
Towards a Hierarchy of Abstract Models for Dialogue Protocols.
In R. Asatiani, K. Balogh, G. Chikoidze, P. Dekker, and D. de Jongh, editors,
*Proceedings of the 5th International Tbilisi Symposium on Language, Logic and Computation*,
pages 75-82,
ILLC, University of Amsterdam,
October 2003.
A short version is available here.
(BibTex, Paper)

Ulle Endriss.
Modal Logics of Ordered Trees: A Summary.
In *British Logic Colloquium (BLC-2003)*,
University of St Andrews,
September 2003.
(BibTex, Paper, Slides)

Ulle Endriss and Dov Gabbay.
Halfway between Points and Intervals: A Temporal Logic Based on Ordered Trees.
In V. Goranko and A. Montanari, editors,
*ESSLLI Workshop on Interval Temporal Logics and Duration Calculi*,
pages 100-109,
August 2003.
(BibTex, Paper)

Ulrich Endriss, Nicolas Maudet, Fariba Sadri, and Francesca Toni.
Protocol Conformance for Logic-based Agents.
In G. Gottlob and T. Walsh, editors,
*Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-2003)*,
pages 679-684,
Morgan Kaufmann Publishers,
August 2003.
(BibTex, Paper, Slides)

Raquel Fernández and Ulle Endriss.
*Abstract Models for Dialogue Protocols: A Preliminary Report.*
Technical Report TR-03-03,
Department of Computer Science, King's College London,
July 2003.
(BibTex, Paper)

Ulrich Endriss, Nicolas Maudet, Fariba Sadri, and Francesca Toni.
Aspects of Protocol Conformance in Inter-agent Dialogue.
In J. S. Rosenschein, T. Sandholm, M. Wooldridge, and M. Yokoo, editors,
*Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2003)*,
pages 982-983,
ACM Press,
July 2003.
Extended Abstract.
(BibTex, DOI, Paper, Poster)

Ulrich Endriss, Nicolas Maudet, Fariba Sadri, and Francesca Toni.
On Optimal Outcomes of Negotiations over Resources.
In J. S. Rosenschein, T. Sandholm, M. Wooldridge, and M. Yokoo, editors,
*Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2003)*,
pages 177-184,
ACM Press,
July 2003.
(BibTex, DOI, Paper, Errata, Slides)

Ulrich Endriss, Nicolas Maudet, Fariba Sadri, and Francesca Toni.
Resource Allocation in Egalitarian Agent Societies.
In A. Herzig, B. Chaib-draa, and Ph. Mathieu, editors,
*Secondes Journées Francophones sur les Modèles Formels d'Interaction (MFI-2003)*,
pages 101-110,
Cépaduès-Éditions,
May 2003.
**Finalist for the Best Paper Award**.
(BibTex, Paper, Errata, Slides)

Ulrich Endriss.
*Modal Logics of Ordered Trees.*
PhD thesis,
King's College London, Department of Computer Science,
January 2003.
(BibTex, Paper)

Ulrich Endriss, Nicolas Maudet, Fariba Sadri, and Francesca Toni.
Communication Protocols for Logic-based Agents.
In *Proceedings of the 5th UK Workshop on Multiagent Systems (UKMAS-2002)*,
December 2002.
Extended Abstract. This is an early version of our IJCAI-2003 paper.
(BibTex)

Ulrich Endriss, Nicolas Maudet, Fariba Sadri, and Francesca Toni.
Conditions for Optimal Outcomes of Negotiations about Resources.
In *Proceedings of the 5th UK Workshop on Multiagent Systems (UKMAS-2002)*,
December 2002.
This is an early version of our AAMAS-2003 paper.
(BibTex)

Ulrich Endriss.
Ordered Tree Logics.
In Ch. Tofts, editor,
*British Colloquium of Theoretical Computer Science (BCTCS 18)*,
HP Labs, Bristol,
April 2002.
Abstract published in the Bulletin of the European Association for Theoretical Computer Science, number 78, October 2002.
(BibTex)

Ulrich Endriss.
Adding a Zoom to Linear Temporal Logic.
In T. Walsh, editor,
*Proceedings of the 9th Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice*,
AISB,
April 2002.
Extended Abstract.
(BibTex, Paper, Poster)

Ulrich Endriss.
*Wellington 1.0 User Manual.*
Technical Report TR-01-01,
Department of Computer Science, King's College London,
March 2001.
(BibTex, Paper, Software)

Ulrich Endriss.
Modal Logic and Temporal Constraint Networks.
In A. Voronkov, editor,
*Proceedings of the 8th Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice*,
University of York,
March 2001.
Extended Abstract.
(BibTex, Paper)

Hans Jürgen Ohlbach, Ulrich Endriss, Odinaldo Rodrigues, and Stefan Schlobach, editors.
*Proceedings of the 7th Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice.*
CEUR Workshop Proceedings,
volume 32,
July 2000.
(BibTex, WebSite)

Ulrich Endriss.
Reasoning in Description Logics with Wellington 1.0 - System Description.
In H. J. Ohlbach, U. Endriss, O. Rodrigues, and S. Schlobach, editors,
*Proceedings of the 7th Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice*,
CEUR Workshop Proceedings,
volume 32,
July 2000.
Extended Abstract. On-line proceedings are available here.
(BibTex, Paper, Poster, Software)

Ulrich Endriss.
The Interactive Learning Environment WinKE for Teaching Deductive Reasoning.
In M. Manzano, editor,
*Proceedings of the 1st International Congress on Tools for Teaching Logic*,
University of Salamanca,
June 2000.
Invited talk abstract.
(BibTex, Paper, Software)

Ulrich Endriss.
Using Interaction and Visualisation for Teaching Deductive Reasoning.
In G. Cumming, T. Okamoto, and L. Gomez, editors,
*Advanced Research in Computers and Communications in Education, Proceedings of ICCE-1999, Tokyo*,
Frontiers in Artificial Intelligence and Applications,
volume 55-2,
pages 317-320,
IOS Press,
November 1999.
**Jan Hawkins Memorial Award**.
(BibTex, Paper, Software)

Ulrich Endriss.
An Interactive Theorem Proving Assistant.
In N. V. Murray, editor,
*Automated Reasoning with Analytic Tableaux and Related Methods, Proceedings of Tableaux-1999*,
LNAI,
volume 1617,
pages 308-312,
Springer-Verlag,
June 1999.
(BibTex, Paper, Software)

Ulrich Endriss.
A Time Efficient KE Based Theorem Prover.
In N. V. Murray, editor,
*Automated Reasoning with Analytic Tableaux and Related Methods, Proceedings of Tableaux-1999*,
LNAI,
volume 1617,
pages 313-318,
Springer-Verlag,
June 1999.
(BibTex, Paper)

Marcello D'Agostino and Ulrich Endriss.
WinKE: A Proof Assistant for Teaching Logic.
In *First International Workshop on Labelled Deduction*,
University of Freiburg,
September 1998.
(BibTex, Paper)

Ulrich Endriss.
*Semantik Zeitlicher Ausdrücke in Terminvereinbarungsdialogen (Semantics of Temporal Expressions in Appointment Scheduling Dialogues).*
Verbmobil Report 227,
Technical University Berlin, Department of Computer Science,
August 1998.
(BibTex, Paper)

Marcello D'Agostino, Marco Mondadori, Ulrich Endriss, Dov Gabbay, and Jeremy Pitt.
WinKE: A Pedagogic Tool for Teaching Logic and Reasoning.
In B. Goettl, H. Halff, C. Redfield, and V. Shute, editors,
*Intelligent Tutoring Systems (ITS-1998)*,
LNCS,
volume 1452,
pages 605,
Springer-Verlag,
August 1998.
Abstract.
(BibTex, Poster)

Ulrich Endriss.
*Zeitliche Ausdrücke in Terminvereinbarungsdialogen: Repräsentation und Inferenz (Temporal Expressions in Appointment Scheduling Dialogues: Representation and Inference).*
Diploma thesis,
Technical University Berlin, Department of Computer Science,
June 1998.
(BibTex, Paper)

Ulrich Endriss, Uwe Küssner, and Manfred Stede.
*Repräsentation Zeitlicher Ausdrücke: Die Temporal Expression Language (Representing Temporal Expressions: The Temporal Expression Language).*
Verbmobil Memo 133,
Technical University Berlin, Department of Computer Science,
May 1998.
(BibTex, Paper)

Marcello D'Agostino, Ulrich Endriss, Dov Gabbay, Marco Mondadori, and Jeremy Pitt.
Un Nuovo Approccio alla Meccanizzazione del Ragionamento Deduttivo (A New Approach to the Mechanisation of Deductive Reasoning).
In *Conference of the Italian Philosophical Society on "Man and Machine: Thirty years later"*,
University of Bari,
October 1997.
(BibTex)

Ulrich Endriss.
*A KE Based Theorem Proving Assistant.*
Master's thesis,
Imperial College London, Department of Computing,
June 1996.
(BibTex, Paper)