| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Fink, Michael | Paraconsistent Hybrid Theories | Konferenzbeitrag Inproceedings | 2012 |
| 2 | | Weinzierl, Antonius | Comparing Inconsistency Resolutions in Multi-Context Systems | Konferenzbeitrag Inproceedings | 2012 |
| 3 | | Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Schüller, Peter | Managing Inconsistency in Multi-Context Systems using the IMPL Policy Language | Bericht Report | 2012 |
| 4 | | Fink, Michael | A Paraconsistent Semantics for Hybrid Theories | Bericht Report | 2012 |
| 5 | | Eiter, Thomas ; Fink, Michael ; Schüller, Peter ; Weinzierl, Antonius | Finding Explanations of Inconsistency in Multi-Context Systems | Bericht Report | 2012 |
| 6 | | Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph | Conflict-driven ASP Solving with External Sources | Preprint Preprint | 2012 |
| 7 | | Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter | Eliminating Unfounded Set Checking for HEX-Programs | Konferenzbeitrag Inproceedings | 2012 |
| 8 | | Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter | Exploiting Unfounded Sets for HEX-Program Evaluation | Konferenzbeitrag Inproceedings | 2012 |
| 9 | | Lierler, Yuliya ; Schüller, Peter | Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming | Konferenzbeitrag Inproceedings | 2012 |
| 10 | | EITER, THOMAS ; FINK, MICHAEL ; KRENNWALLNER, THOMAS ; REDL, CHRISTOPH | Conflict-driven ASP solving with external sources | Artikel Article | 2012 |
| 11 | | 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 |
| 12 | | Fink, Michael | Recent Advancements in Nonmonotonic Multi-Context Systems | Konferenzbeitrag Inproceedings | 2011 |
| 13 | | Brewka, Gerhard ; Eiter, Thomas ; Truszczyński, Mirosław | Answer Set Programming at a Glance | Artikel Article | 2011 |
| 14 | | Krennwallner, Thomas | Promoting Modular Nonmonotonic Logic Programs | Präsentation Presentation | 2011 |
| 15 | | Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Schüller, Peter | Pushing Efficient Evaluation of HEX Programs by Modular Decomposition | Präsentation Presentation | 2011 |
| 16 | | Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Schüller, Peter | Pushing Efficient Evaluation of HEX Programs by Modular Decomposition | Präsentation Presentation | 2011 |
| 17 | | Fink, Michael | HEX Programs with Action Atoms | Präsentation Presentation | 2011 |
| 18 | | Schüller, Peter ; Weinzierl, Antonius | Semantic Reasoning with SPARQL in Heterogeneous Multi-context Systems | Konferenzbeitrag Inproceedings | 2011 |
| 19 | | Weinzierl, Antonius | Advancing Multi-Context Systems by Inconsistency Management | Konferenzbeitrag Inproceedings | 2011 |
| 20 | | Eiter, Thomas ; Krennwallner, Thomas ; Redl, Christoph | Declarative Merging of and Reasoning about Decision Diagrams | Konferenzbeitrag Inproceedings | 2011 |