| |
| 2005 | ||
|---|---|---|
| 2 | EE | Christoph Beierle, Oliver Dusso, Gabriele Kern-Isberner: Using Answer Set Programming for a Decision Support System. LPNMR 2005: 374-378 |
| 1 | EE | Gabriele Kern-Isberner, Christoph Beierle, Oliver Dusso: Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV. Nonmonotonic Reasoning, Answer Set Programming and Constraints 2005 |
| 1 | Christoph Beierle | [1] [2] |
| 2 | Gabriele Kern-Isberner | [1] [2] |