Ulrich Endriss

22 papers A* 2A 3B 5Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2011 J jnl
Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects.
J. Artif. Intell. Res.
Christian Geist, Ulrich Endriss
2011 J jnl
Negotiating Socially Optimal Allocations of Resources
CoRR
Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
2009 J jnl
The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments
CoRR
Paolo Mancarella, Giacomo Terreni, Fariba Sadri, Francesca Toni, Ulrich Endriss
2007 A* conf
Allocating Goods on a Graph to Eliminate Envy.
AAAI
Yann Chevaleyre, Ulrich Endriss, Nicolas Maudet
2006 J jnl
Negotiating Socially Optimal Allocations of Resources.
J. Artif. Intell. Res.
Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
2004 B conf
Abductive Logic Programming with CIFF: System Description.
JELIA
Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
2004 A conf
On the Communication Complexity of Multilateral Trading.
AAMAS
Ulrich Endriss, Nicolas Maudet
2004 B conf
The CIFF Proof Procedure for Abductive Logic Programming with Constraints.
JELIA
Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
2004 — conf
The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation.
Global Computing
Andrea Bracciali, Neophytos Demetriou, Ulrich Endriss, Antonis C. Kakas, Wenjin Lu, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Giacomo Terreni, Francesca Toni
2004 — conf
Welfare Engineering in Practice: On the Variety of Multiagent Resource Allocation Problems.
ESAW
Yann Chevaleyre, Ulrich Endriss, Sylvia Estivie, Nicolas Maudet
2003 A conf
Aspects of protocol conformance in inter-agent dialogue.
AAMAS
Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
2003 — conf
Competent Agents and Customising Protocols.
ESAW
Ulrich Endriss, Wenjin Lu, Nicolas Maudet, Kostas Stathis
2003 — conf
Logic-Based Agent Communication Protocols.
Workshop on Agent Communication Languages
Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
2003 — —
Modal logics of ordered trees.
Ulrich Endriss
2003 A conf
On optimal outcomes of negotiations over resources.
AAMAS
Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
2003 A* conf
Protocol Conformance for Logic-based Agents.
IJCAI
Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
2003 — conf
Welfare Engineering in Multiagent Systems.
ESAW
Ulrich Endriss, Nicolas Maudet
2000 — ed.
Proceedings of the Seventh Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice, King's College London, UK, 20-21 July 2000.
ARW
Hans Jürgen Ohlbach, Ulrich Endriss, Odinaldo Rodrigues, Stefan Schlobach
2000 — conf
Reasoning in Description Logics with Wellington 1.0 - System Description.
ARW
Ulrich Endriss
1999 B conf
A Time Efficient KE Based Theorem Prover.
TABLEAUX
Ulrich Endriss
1999 B conf
An Interactive Theorem Proving Assistant.
TABLEAUX
Ulrich Endriss
1998 B conf
WinKE: A Pedagogical Tool for Teaching Logic and Reasoning.
Intelligent Tutoring Systems
Marcello D'Agostino, Marco Mondadori, Ulrich Endriss, Dov M. Gabbay, Jeremy Pitt