Ulrich Endriss - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2011

Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of ObjectsC. Geist, Ulrich Endriss. jair, 40:143-174, 2011. [doi]

2007

Allocating Goods on a Graph to Eliminate EnvyYann Chevaleyre, Ulrich Endriss, Nicolas Maudet. AAAI 2007: 700-705

2006

Negotiating Socially Optimal Allocations of ResourcesUlrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni. jair, 25:315-348, 2006. [doi]

2004

The KGP Model of Agency for Global Computing: Computational Model and Prototype ImplementationAndrea Bracciali, Neophytos Demetriou, Ulrich Endriss, Antonis C. Kakas, Wenjin Lu, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Giacomo Terreni, Francesca Toni. gc 2005: 340-367 [doi]

Welfare Engineering in Practice: On the Variety of Multiagent Resource Allocation ProblemsYann Chevaleyre, Ulrich Endriss, Sylvia Estivie, Nicolas Maudet. esaw 2005: 335-347 [doi]

On the Communication Complexity of Multilateral TradingUlrich Endriss, Nicolas Maudet. atal 2004: 622-629 [doi]

Abductive Logic Programming with CIFF: System DescriptionUlrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni. jelia 2004: 680-684 [doi]

The CIFF Proof Procedure for Abductive Logic Programming with ConstraintsUlrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni. jelia 2004: 31-43 [doi]

2003

Modal logics of ordered treesUlrich Endriss. PhD thesis, King's College London, UK, 2003. [doi]

Competent Agents and Customising ProtocolsUlrich Endriss, Wenjin Lu, Nicolas Maudet, Kostas Stathis. esaw 2004: 168-181 [doi]

Welfare Engineering in Multiagent SystemsUlrich Endriss, Nicolas Maudet. esaw 2004: 93-106 [doi]

Protocol Conformance for Logic-based AgentsUlrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni. IJCAI 2003: 679-684

On optimal outcomes of negotiations over resourcesUlrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni. atal 2003: 177-184 [doi]

Aspects of protocol conformance in inter-agent dialogueUlrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni. atal 2003: 982-983 [doi]

Logic-Based Agent Communication ProtocolsUlrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni. agentCL 2004: 91-107 [doi]

2000

Reasoning in Description Logics with Wellington 1.0 - System DescriptionUlrich Endriss. arw 2000: [doi]

1999

An Interactive Theorem Proving AssistantUlrich Endriss. tableaux 1999: 308-312

A Time Efficient KE Based Theorem ProverUlrich Endriss. tableaux 1999: 313-318

1998

WinKE: A Pedagogical Tool for Teaching Logic and ReasoningMarcello D Agostino, Marco Mondadori, Ulrich Endriss, Dov M. Gabbay, Jeremy Pitt. its 1998: 605 [doi]

Sign in or sign up to see more results.

runs on WebDSL