| |
| 2006 | ||
|---|---|---|
| 4 | EE | Dexter Kozen, Christoph Kreitz, Eva Richter: Automating Proofs in Category Theory. IJCAR 2006: 392-407 |
| 2005 | ||
| 3 | EE | Richard Booth, Eva Richter: On Revising Fuzzy Belief Bases. Studia Logica 80(1): 29-61 (2005) |
| 2003 | ||
| 2 | Richard Booth, Eva Richter: On revising fuzzy belief bases. UAI 2003: 81-88 | |
| 2002 | ||
| 1 | Eva Richter: Nonmonotonic inference operators for fuzzy logic. NMR 2002: 321-332 | |
| 1 | Richard Booth | [2] [3] |
| 2 | Dexter Kozen | [4] |
| 3 | Christoph Kreitz | [4] |