| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Eiter, Thomas ; Krennwallner, Thomas ; Prandtstetter, Matthias ; Rudloff, Christian ; Schneider, Patrik ; Straub, Markus | Semantically Enriched Multi-Modal Routing | Artikel Article | 2016 |
| 2 | | Eiter, Thomas ; Simkus, Mantas | Linking Open-World Knowledge Bases Using Nonmonotonic Rules | Konferenzbeitrag Inproceedings | 2015 |
| 3 | | Shen, Yi-Dong ; Wang, Kewen ; Eiter, Thomas ; Fink, Michael ; Redl, Christoph ; Krennwallner, Thomas ; Deng, Jun | FLP answer set semantics without circular justifications for general logic programs | Artikel Article | 2014 |
| 4 | | Eiter, Thomas ; Krennwallner, Thomas ; Redl, Christoph | HEX-Programs with Nested Program Calls | Konferenzbeitrag Inproceedings | 2013 |
| 5 | | Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph | Grounding HEX-Programs with Expanding Domains | Konferenzbeitrag Inproceedings | 2013 |
| 6 | | Antić, Christian ; Eiter, Thomas ; Fink, Michael | Hex Semantics via Approximation Fixpoint Theory | Konferenzbeitrag Inproceedings | 2013 |
| 7 | | Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph | Liberal Safety for Answer Set Programs with External Sources | Konferenzbeitrag Inproceedings | 2013 |
| 8 | | Charwat, Günther ; Ianni, Giovambattista ; Krennwallner, Thomas ; Kronegger, Martin ; Pfandler, Andreas ; Redl, Christoph ; Schwengerer, Martin ; Spendier, Lara ; Wallner, Johannes Peter ; Xiao, Guohui | VCWC: A Versioning Competition Workflow Compiler | Konferenzbeitrag Inproceedings | 2013 |
| 9 | | Alviano, Mario ; Calimeri, Francesco ; Charwat, Günther ; Dao-Tran, Minh ; Dodaro, Carmine ; Ianni, Giovambattista ; Krennwallner, Thomas ; Kronegger, Martin ; Oetsch, Johannes ; Pfandler, Andreas ; Puehrer, Joerg ; Redl, Christoph ; Ricca, Francesco ; Schneider, Patrik ; Schwengerer, Martin ; Spendier, Lara ; Wallner, Johannes Peter ; Xiao, Guohui | The Fourth Answer Set Programming Competition: Preliminary Report | Konferenzbeitrag Inproceedings | 2013 |
| 10 | | EITER, THOMAS ; ERDEM, ESRA ; ERDOGAN, HALIT ; FINK, MICHAEL | Finding Similar/Diverse Solutions in Answer Set Programming | Artikel Article | 2013 |
| 11 | | Eiter, Thomas ; Krennwallner, Thomas ; Schneider, Patrik ; Xiao, Guohui | Uniform Evaluation of Nonmonotonic DL-Programs | Konferenzbeitrag Inproceedings | 2012 |
| 12 | | Le-Phuoc, Danh ; Dao-Tran, Minh ; Pham, Minh-Duc ; Boncz, Peter ; Eiter, Thomas ; Fink, Michael | Linked Stream Data Processing Engines: Facts and Figures | Konferenzbeitrag Inproceedings | 2012 |
| 13 | | Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter | Eliminating Unfounded Set Checking for HEX-Programs | Konferenzbeitrag Inproceedings | 2012 |
| 14 | | Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter | Exploiting Unfounded Sets for HEX-Program Evaluation | Konferenzbeitrag Inproceedings | 2012 |
| 15 | | EITER, THOMAS ; FINK, MICHAEL ; KRENNWALLNER, THOMAS ; REDL, CHRISTOPH | Conflict-driven ASP solving with external sources | Artikel Article | 2012 |
| 16 | | Calimeri, Francesco ; Ianni, Giovambattista ; Krennwallner, Thomas ; Ricca, Francesco | The Answer Set Programming Competition | Artikel Article | 2012 |
| 17 | | Eiter, Thomas ; Krennwallner, Thomas | Reasoning Web. Semantic Technologies for Advanced Query Answering | Buch Book | 2012 |
| 18 | | Beck, Harald ; Eiter, Thomas ; Krennwallner, Thomas | Inconsistency Management for Traffic Regulations: Formalization and Complexity Results | Konferenzbeitrag Inproceedings | 2012 |
| 19 | | Bischof, Stefan ; Decker, Stefan ; Krennwallner, Thomas ; Polleres, Axel | Mapping between RDF and XML with XSPARQL | Artikel Article | 2012 |
| 20 | | Eiter, Thomas ; Krennwallner, Thomas ; Prandtstetter, Matthias ; Rudloff, Christian ; Schneider, Patrik ; Straub, Markus | Semantically Enriched Multi-Modal Routing | Konferenzbeitrag Inproceedings | 2012 |