| | Preview | Author(s) | Title | Type | Issue Date |
| 121 | | Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans | DLV-HEX: Dealing with Semantic Web under Answer-Set Programming | Konferenzbeitrag Inproceedings | 2005 |
| 122 | | Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans | A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer -Set Programming | Konferenzbeitrag Inproceedings | 2005 |
| 123 | | Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans | Nonmonotonic Description Logic Programs: Implementation and Experiments | Konferenzbeitrag Inproceedings | 2005 |
| 124 | | Eiter, Thomas ; Fink, Michael ; Tompits, Hans | Test and Comparison Results | Bericht Report | 2005 |
| 125 | | Eiter, Thomas ; Fink, Michael ; Tompits, Hans | Self-assessment Report for Years 3+4 | Bericht Report | 2005 |
| 126 | | Tompits, Hans ; Woltran, Stefan | Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming | Konferenzbeitrag Inproceedings | 2005 |
| 127 | | Tompits, Hans ; Woltran, Stefan | Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming | Konferenzbeitrag Inproceedings | 2005 |
| 128 | | Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Woltran, Stefan | Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case | Konferenzbeitrag Inproceedings | 2005 |
| 129 | | Eiter, Thomas ; Tompits, Hans ; Woltran, Stefan | On Solution Correspondences in Answer-Set Programming | Konferenzbeitrag Inproceedings | 2005 |
| 130 | | Eiter, Thomas ; Fink, Michael ; Sabbatini, Giuliana ; Tompits, Hans | Reasoning about Evolving Nonmonotonic Knowledge Bases | Artikel Article | 2005 |
| 131 | | Besnard, Philippe ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan | Representing Paraconsistent Reasoning via Quantified Propositional Logic | Buchbeitrag Book Contribution | 2005 |
| 132 | | Tompits, Hans ; Woltran, Stefan | On Simplifying and Rewriting Logic Programs: Characterisations and Complexity | Präsentation Presentation | 2004 |
| 133 | | Tompits, Hans | On Eliminating Disjunctions in Stable Logic Programming | Präsentation Presentation | 2004 |
| 134 | | Eiter, Thomas ; Faber, Wolfgang ; Tompits, Hans | Self-assessment report for year 2 | Bericht Report | 2004 |
| 135 | | Eiter, Thomas ; Faber, Wolfgang ; Fink, Michael ; Greco, Gianluigi ; Lembo, Domenico ; Tompits, Hans | Methods and Techniques for Query Optimization | Bericht Report | 2004 |
| 136 | | Tompits, Hans | Quantifizierte Boole'sche Formeln für Anwendungen in der Wissensrepräsentation | Präsentation Presentation | 2003 |
| 137 | | Eiter, Thomas ; Fink, Michael ; Tompits, Hans | Self-assessment report for year 1 | Bericht Report | 2003 |
| 138 | | Eiter, Thomas ; Lukasiewicz, Thomas ; Schindlauer, Roman ; Tompits, Hans | Combining Answer Set Programming with Description Logics for the Semantic Web | Bericht Report | 2003 |
| 139 | | Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Woltran, Stefan | On Eliminating Disjunctions in Stable Logic Programming | Bericht Report | 2003 |
| 140 | | Delgrande, James P. ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan | On Computing Solutions to Belief Change Scenarios | Bericht Report | 2003 |