| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael | LARS: A Logic-based Framework for Analyzing Reasoning over Streams | Konferenzbeitrag Inproceedings | 2015 |
| 2 | | Eiter, Thomas ; Fink, Michael ; Stepanova, Daria | Towards Practical Deletion Repair of Inconsistent DL-programs | Konferenzbeitrag Inproceedings | 2014 |
| 3 | | Eiter, Thomas ; Fink, Michael ; Stepanova, Daria | Computing Repairs for Inconsistent DL-programs over $\mathcal{EL}$ Ontologies | Konferenzbeitrag Inproceedings | 2014 |
| 4 | | Eiter, Thomas ; Fink, Michael ; Stepanova, Daria | Towards Practical Deletion Repair of Inconsistent DL-programs | Konferenzbeitrag Inproceedings | 2014 |
| 5 | | Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph | hex-Programs with Existential Quantification | Konferenzbeitrag Inproceedings | 2014 |
| 6 | | Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael | Towards a Logic-Based Framework for Analyzing Stream Reasoning | Konferenzbeitrag Inproceedings | 2014 |
| 7 | | Eiter, Thomas ; Fink, Michael ; Redl, Christoph ; Stepanova, Daria | Exploiting Support Sets for Answer Set Programs with External Evaluations | Konferenzbeitrag Inproceedings | 2014 |
| 8 | | Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael | Towards Ideal Semantics for Analyzing Stream Reasoning | Konferenzbeitrag Inproceedings | 2014 |
| 9 | | Eiter, Thomas ; Fink, Michael ; Stepanova, Daria | Data Repair of Inconsistent DL-programs | Konferenzbeitrag Inproceedings | 2013 |
| 10 | | Eiter, Thomas ; Fink, Michael ; Stepanova, Daria | Inconsistency Management for Description Logic Programs and Beyond | Konferenzbeitrag Inproceedings | 2013 |
| 11 | | Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph | Grounding HEX-Programs with Expanding Domains | Konferenzbeitrag Inproceedings | 2013 |
| 12 | | Antić, Christian ; Eiter, Thomas ; Fink, Michael | Hex Semantics via Approximation Fixpoint Theory | Konferenzbeitrag Inproceedings | 2013 |
| 13 | | Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph | Liberal Safety for Answer Set Programs with External Sources | Konferenzbeitrag Inproceedings | 2013 |
| 14 | | Eiter, Thomas ; Fink, Michael ; Stepanova, Daria | Semantic Independence in DL-programs | Konferenzbeitrag Inproceedings | 2012 |
| 15 | | 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 |
| 16 | | Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter | Eliminating Unfounded Set Checking for HEX-Programs | Konferenzbeitrag Inproceedings | 2012 |
| 17 | | Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter | Exploiting Unfounded Sets for HEX-Program Evaluation | Konferenzbeitrag Inproceedings | 2012 |
| 18 | | Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Weidinger, Gerald ; Weinzierl, Antonius | OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver | Konferenzbeitrag Inproceedings | 2012 |
| 19 | | Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas | First-Order Encodings of Modular Nonmonotonic Logic Programs | Konferenzbeitrag Inproceedings | 2011 |
| 20 | | Eiter, Thomas ; Fink, Michael ; Schüller, Peter | Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems | Konferenzbeitrag Inproceedings | 2011 |