|
| | Preview | Author(s) | Title | Type | Issue Date |
| 81 | | Faber, Wolfgang ; Tompits, Hans ; Woltran, Stefan | Notions of Strong Equivalence for Logic Programs with Ordered Disjunction | Konferenzbeitrag Inproceedings  | 2008 |
| 82 | | Oetsch, Johannes ; Tompits, Hans | A Generalised Program-Correspondence Framework: Preliminary Report | Konferenzbeitrag Inproceedings | 2008 |
| 83 | | Oetsch, Johannes ; Tompits, Hans ; Woltran, Stefan | Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection | Präsentation Presentation | 2007 |
| 84 | | Pearce, David ; Tompits, Hans ; Woltran, Stefan | Characterising Equilibrium Logic and Nested Logic Programs: Reductions and Complexity | Bericht Report | 2007 |
| 85 | | Eiter, Thomas ; Ianni, Giovambattista ; Lukasiewicz, Thomas ; Schindlauer, Roman ; Tompits, Hans | Combining Answer Set Programming with Description Logics for the Semantic Web | Bericht Report | 2007 |
| 86 | | Fink, Michael ; Pichler, Reinhard ; Tompits, Hans ; Woltran, Stefan | Complexity of Rule Redundancy in Non-Ground Answer-Set Programming over Finite Domains | Konferenzbeitrag Inproceedings | 2007 |
| 87 | | Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Woltran, Stefan | Complexity Results for Checking Equivalence of Stratified Logic Programs | Konferenzbeitrag Inproceedings | 2007 |
| 88 | | De Bruijn, Jos ; Eiter, Thomas ; Polleres, Axel Florian ; Tompits, Hans | Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination | Konferenzbeitrag Inproceedings | 2007 |
| 89 | | Oetsch, Johannes ; Tompits, Hans ; Woltran, Stefan | Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection | Konferenzbeitrag Inproceedings | 2007 |
| 90 | | Brain, Martin ; Gebser, Martin ; Puehrer, Joerg ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan | Debugging ASP Programs by Means of ASP | Konferenzbeitrag Inproceedings | 2007 |
| 91 | | Gebser, Martin ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan | Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report | Konferenzbeitrag Inproceedings | 2007 |
| 92 | | Janhunen, Tomi ; Oikarinen, Emilia ; Tompits, Hans ; Woltran, Stefan | Modularity Aspects of Disjunctive Stable Models | Konferenzbeitrag Inproceedings | 2007 |
| 93 | | Pearce, David ; Tompits, Hans ; Woltran, Stefan | Relativised Equivalence in Equilibrium Logic and its Applications to Prediction and Explanation: Preliminary Report | Konferenzbeitrag Inproceedings | 2007 |
| 94 | | Brain, Martin ; Gebser, Martin ; Puehrer, Joerg ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan | That is illogical Captain! The Debugging Support Tool spock for Answer-Set Programs -- System Description | Konferenzbeitrag Inproceedings | 2007 |
| 95 | | Oetsch, Johannes ; Seidl, Martina ; Tompits, Hans ; Woltran, Stefan | Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT | Konferenzbeitrag Inproceedings | 2007 |
| 96 | | Delgrande, James P. ; Schaub, Torsten ; Tompits, Hans | A Preference-Based Framework for Updating Logic Programs | Konferenzbeitrag Inproceedings | 2007 |
| 97 | | Gebser, Martin ; Puehrer, Joerg ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan | spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics | Konferenzbeitrag Inproceedings | 2007 |
| 98 | | Eiter, Thomas ; Fink, Michael ; Tompits, Hans | A Knowledge-Based Approach for Selecting Information Sources | Artikel Article | 2007 |
| 99 | | Oetsch, Johannes ; Tompits, Hans ; Woltran, Stefan | Facts do not Cease to Exist Because They are Ignored: Relativised Uniform Equivalence with Answer-Set Projection | Konferenzbeitrag Inproceedings | 2007 |
| 100 | | Faber, Wolfgang ; Tompits, Hans ; Woltran, Stefan | Characterizing Notions of Strong Equivalence for Logic Programs with Ordered Disjunctions | Konferenzbeitrag Inproceedings | 2007 |
