Ulrich Endriss

ORCID

Publication Activity (10 Years)

Years Active: 1998-2011
Publications (10 Years): 0

King's College London, UK (PHD)

Education History

King's College London, UK

PHD

Publications

Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
Negotiating Socially Optimal Allocations of Resources CoRR (2011)
Christian Geist, Ulrich Endriss
Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects. J. Artif. Intell. Res. 40 (2011)
Paolo Mancarella, Giacomo Terreni, Fariba Sadri, Francesca Toni, Ulrich Endriss
The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments CoRR (2009)
Yann Chevaleyre, Ulrich Endriss, Nicolas Maudet
Allocating Goods on a Graph to Eliminate Envy. AAAI (2007)
Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
Negotiating Socially Optimal Allocations of Resources. J. Artif. Intell. Res. 25 (2006)
Ulrich Endriss, Nicolas Maudet
On the Communication Complexity of Multilateral Trading. AAMAS (2004)
Yann Chevaleyre, Ulrich Endriss, Sylvia Estivie, Nicolas Maudet
Welfare Engineering in Practice: On the Variety of Multiagent Resource Allocation Problems. ESAW (2004)
Andrea Bracciali, Neophytos Demetriou, Ulrich Endriss, Antonis C. Kakas, Wenjin Lu, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Giacomo Terreni, Francesca Toni
The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation. Global Computing (2004)
Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
The CIFF Proof Procedure for Abductive Logic Programming with Constraints. JELIA (2004)
Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
Abductive Logic Programming with CIFF: System Description. JELIA (2004)
Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
Aspects of protocol conformance in inter-agent dialogue. AAMAS (2003)
Ulrich Endriss, Nicolas Maudet
Welfare Engineering in Multiagent Systems. ESAW (2003)
Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
Logic-Based Agent Communication Protocols. Workshop on Agent Communication Languages (2003)
Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
On optimal outcomes of negotiations over resources. AAMAS (2003)
Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
Protocol Conformance for Logic-based Agents. IJCAI (2003)
Ulrich Endriss, Wenjin Lu, Nicolas Maudet, Kostas Stathis
Competent Agents and Customising Protocols. ESAW (2003)
Ulrich Endriss
Reasoning in Description Logics with Wellington 1.0 - System Description. ARW (2000)
Ulrich Endriss
A Time Efficient KE Based Theorem Prover. TABLEAUX (1999)
Ulrich Endriss
An Interactive Theorem Proving Assistant. TABLEAUX (1999)
Marcello D'Agostino, Marco Mondadori, Ulrich Endriss, Dov M. Gabbay, Jeremy Pitt
WinKE: A Pedagogical Tool for Teaching Logic and Reasoning. Intelligent Tutoring Systems (1998)

Ulrich Endriss.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Ulrich Endriss