| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter | A model building framework for answer set programming with external computations | Artikel Article | Jul-2016 |
| 2 | | Ianni, Giovambattista ; Calimeri, Francesco ; Germano, Stefano ; Humenberger, Andreas ; Redl, Christoph ; Stepanova, Daria ; Tucci, Andrea ; Wimmer, Anton | Angry-HEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases | Artikel Article | 2016 |
| 3 | | Eiter, Thomas ; Krennwallner, Thomas ; Prandtstetter, Matthias ; Rudloff, Christian ; Schneider, Patrik ; Straub, Markus | Semantically Enriched Multi-Modal Routing | Artikel Article | 2016 |
| 4 | | Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter | A Model Building Framework for Answer Set Programming with External Computations | Bericht Report | 2015 |
| 5 | | Feier, Cristina ; Eiter, Thomas | Reasoning with Forest Logic Programs Using Fully Enriched Automata | Konferenzbeitrag Inproceedings | 2015 |
| 6 | | Eiter, Thomas ; Simkus, Mantas | Linking Open-World Knowledge Bases Using Nonmonotonic Rules | Konferenzbeitrag Inproceedings | 2015 |
| 7 | | De Rosis, Alessandro ; Eiter, Thomas ; Redl, Christoph ; Ricca, Francesco | Constraint Answer Set Programming based on HEX-Programs | Konferenzbeitrag Inproceedings | 2015 |
| 8 | | Feier, Cristina ; Eiter, Thomas | Reasoning with Forest Logic Programs Using Fully Enriched Automata | Konferenzbeitrag Inproceedings | 2015 |
| 9 | | Eiter, Thomas ; Pan, Jeff Z. ; Schneider, Patrik ; Šimkus, Mantas ; Xiao, Guohui | A Rule-based Framework for Creating Instance Data from OpenStreetMap | Konferenzbeitrag Inproceedings | 2015 |
| 10 | | Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas | Distributed Evaluation of Nonmonotonic Multi-Context Systems | Artikel Article | 2015 |
| 11 | | Eiter, Thomas ; Fink, Michael ; Stepanova, Daria | Towards Practical Deletion Repair of Inconsistent DL-programs | Konferenzbeitrag Inproceedings | 2014 |
| 12 | | Eiter, Thomas ; Fink, Michael ; Stepanova, Daria | Computing Repairs for Inconsistent DL-programs over $\mathcal{EL}$ Ontologies | Konferenzbeitrag Inproceedings | 2014 |
| 13 | | Eiter, Thomas ; Fink, Michael ; Stepanova, Daria | Towards Practical Deletion Repair of Inconsistent DL-programs | Konferenzbeitrag Inproceedings | 2014 |
| 14 | | Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph | Domain Expansion for ASP-Programs with External Sources | Bericht Report | 2014 |
| 15 | | Calimeri, Francesco ; Fink, Michael ; Germano, Stefano ; Humenberger, Andreas ; Ianni, Giovambattista ; Redl, Christoph ; Stepanova, Daria ; Tucci, Andrea | AngryHEX: An Angry Birds-playing Agent based on HEX-Programs | Präsentation Presentation | 2014 |
| 16 | | Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph | hex-Programs with Existential Quantification | Konferenzbeitrag Inproceedings | 2014 |
| 17 | | Eiter, Thomas ; Fink, Michael ; Redl, Christoph ; Stepanova, Daria | Exploiting Support Sets for Answer Set Programs with External Evaluations | Konferenzbeitrag Inproceedings | 2014 |
| 18 | | 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 |
| 19 | | Eiter, T. ; Fink, M. ; Krennwallner, T. ; Redl, C. ; Schüller, P. | Efficient HEX-Program Evaluation based on Unfounded Sets | Artikel Article | 2014 |
| 20 | | Eiter, Thomas ; Fink, Michael ; Stepanova, Daria | Data Repair of Inconsistent DL-programs | Konferenzbeitrag Inproceedings | 2013 |