Search the dblp DataBase

Publications of Author

1. Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
   Logic-Based Agent Communication Protocols. [Citation Graph (0, 0)][DBLP]
   Workshop on Agent Communication Languages, 2003, pp:91-107 [Conf]
   
2. Ulrich Endriss, Nicolas Maudet
   On the Communication Complexity of Multilateral Trading. [Citation Graph (0, 0)][DBLP]
   AAMAS, 2004, pp:622-629 [Conf]
   
3. Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
   On optimal outcomes of negotiations over resources. [Citation Graph (0, 0)][DBLP]
   AAMAS, 2003, pp:177-184 [Conf]
   
4. Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
   Aspects of protocol conformance in inter-agent dialogue. [Citation Graph (0, 0)][DBLP]
   AAMAS, 2003, pp:982-983 [Conf]
   
5. Yann Chevaleyre, Ulrich Endriss, Sylvia Estivie, Nicolas Maudet
   Welfare Engineering in Practice: On the Variety of Multiagent Resource Allocation Problems. [Citation Graph (0, 0)][DBLP]
   ESAW, 2004, pp:335-347 [Conf]
   
6. Ulrich Endriss, Wenjin Lu, Nicolas Maudet, Kostas Stathis
   Competent Agents and Customising Protocols. [Citation Graph (0, 0)][DBLP]
   ESAW, 2003, pp:168-181 [Conf]
   
7. Ulrich Endriss, Nicolas Maudet
   Welfare Engineering in Multiagent Systems. [Citation Graph (0, 0)][DBLP]
   ESAW, 2003, pp:93-106 [Conf]
   
8. 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. [Citation Graph (0, 0)][DBLP]
   Global Computing, 2004, pp:340-367 [Conf]
   
9. Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
   Protocol Conformance for Logic-based Agents. [Citation Graph (0, 0)][DBLP]
   IJCAI, 2003, pp:679-684 [Conf]
   
10. Marcello D'Agostino, Marco Mondadori, Ulrich Endriss, Dov M. Gabbay, Jeremy Pitt
    WinKE: A Pedagogical Tool for Teaching Logic and Reasoning. [Citation Graph (0, 0)][DBLP]
    Intelligent Tutoring Systems, 1998, pp:605- [Conf]
    
11. Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
    The CIFF Proof Procedure for Abductive Logic Programming with Constraints. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:31-43 [Conf]
    
12. Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
    Abductive Logic Programming with CIFF: System Description. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:680-684 [Conf]
    
13. Ulrich Endriss
    An Interactive Theorem Proving Assistant. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1999, pp:308-312 [Conf]
    
14. Ulrich Endriss
    A Time Efficient KE Based Theorem Prover. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1999, pp:313-318 [Conf]
    
15. Yann Chevaleyre, Ulrich Endriss, Nicolas Maudet
    Allocating Goods on a Graph to Eliminate Envy. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:700-705 [Conf]
    
16. Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
    Negotiating Socially Optimal Allocations of Resources. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2006, v:25, n:, pp:315-348 [Journal]
    
17. 
    The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments [Citation Graph (, )][DBLP]