Browsing by Author Redl, Christoph
Showing results 1 to 4 of 4
| Preview | Authors / Editors | Title | Type | Issue Date |
|---|---|---|---|---|
 | Eiter, Thomas  ; Kaminski, Tobias; Redl, Christoph; Schüller, Peter; Weinzierl, Antonius | Answer Set Programming with External Source Access | Inproceedings Konferenzbeitrag   | 2017 |
 | Redl, Christoph | Development of a Belief Merging framework for dlvhex | Thesis Hochschulschrift | 2010 |
 | Eiter, Thomas ; Germano, Stefano ; Ianni, Giovambattista ; Kaminski, Tobias; Redl, Christoph; Schüller, Peter ; Weinzierl, Antonius | The DLVHEX System | Article Artikel | 2018 |
 | Redl, Christoph | Merging of biomedical decision diagrams | Thesis Hochschulschrift | 2010 |