Ulrich Endriss
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
1998–2007
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | AAAI | Allocating Goods on a Graph to Eliminate Envy. | Yann Chevaleyre, Ulrich Endriss, Nicolas Maudet |
| 2004 | JELIA | The CIFF Proof Procedure for Abductive Logic Programming with Constraints. | Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni |
| 2004 | JELIA | Abductive Logic Programming with CIFF: System Description. | Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni |
| 2003 | IJCAI | Protocol Conformance for Logic-based Agents. | Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni |
| 1999 | TABLEAUX | An Interactive Theorem Proving Assistant. | Ulrich Endriss |
| 1999 | TABLEAUX | A Time Efficient KE Based Theorem Prover. | Ulrich Endriss |
| 1998 | ITS | WinKE: A Pedagogical Tool for Teaching Logic and Reasoning. | Marcello D'Agostino, Marco Mondadori, Ulrich Endriss, Dov M. Gabbay, Jeremy Pitt |