|
| | Preview | Author(s) | Title | Type | Issue Date |
| 61 | | Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans | Let's Break the Rules: Interactive Procedural-Style Debugging of Answer-Set Programs | Konferenzbeitrag Inproceedings  | 2010 |
| 62 | | Niemelä, Ilkka ; Janhunen, Tomi ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans | On Testing Answer-Set Programs | Konferenzbeitrag Inproceedings | 2010 |
| 63 | | Oetsch, Johannes ; Tompits, Hans | Gentzen-type Refutation Systems for Three-Valued Logics | Konferenzbeitrag Inproceedings | 2010 |
| 64 | | Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans | Methods and Methodologies for Developing Answer-Set Programs - Project Description | Konferenzbeitrag Inproceedings | 2010 |
| 65 | | Delgrande, James P. ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan | Merging Logic Programs under Answer Set Semantics | Konferenzbeitrag Inproceedings | 2009 |
| 66 | | Oetsch, Johannes ; Seidl, Martina ; Tompits, Hans ; Woltran, Stefan | Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT | Konferenzbeitrag Inproceedings | 2009 |
| 67 | | PEARCE, DAVID ; TOMPITS, HANS ; WOLTRAN, STEFAN | Characterising Equilibrium Logic and Nested Logic Programs: Reductions and Complexity | Artikel Article | 2009 |
| 68 | | Janhunen, T. ; Oikarinen, E. ; Tompits, H. ; Woltran, S. | Modularity Aspects of Disjunctive Stable Models | Artikel Article | 2009 |
| 69 | | Gebser, Martin ; Pührer, Jörg ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan | spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics | Konferenzbeitrag Inproceedings | 2009 |
| 70 | | Oetsch, Johannes ; Schwengerer, Martin ; Tompits, Hans | Kato: A Plagiarism-Detection Tool for Answer-Set Programs | Konferenzbeitrag Inproceedings | 2009 |
| 71 | | Oetsch, Johannes ; Seidl, Martina ; Tompits, Hans ; Woltran, Stefan | ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions | Konferenzbeitrag Inproceedings | 2009 |
| 72 | | Puehrer, Joerg ; Tompits, Hans | Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection | Konferenzbeitrag Inproceedings | 2009 |
| 73 | | Eiter, Thomas ; Ianni, Giovambattista ; Lukasiewicz, Thomas ; Schindlauer, Roman ; Tompits, Hans | Combining Answer Set Programming with Description Logics for the Semantic Web | Artikel Article | 2008 |
| 74 | | Delgrande, James P. ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan | Belief Revision of Logic Programs under Answer Set Semantics | Konferenzbeitrag Inproceedings | 2008 |
| 75 | | De Bruijn, Jos ; Eiter, Thomas ; Tompits, Hans | Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic | Konferenzbeitrag Inproceedings | 2008 |
| 76 | | Puehrer, Joerg ; Tompits, Hans ; Woltran, Stefan | Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence | Konferenzbeitrag Inproceedings | 2008 |
| 77 | | Oetsch, Johannes ; Tompits, Hans | Program Correspondence under the Answer-Set Semantics: The Non-ground Case | Konferenzbeitrag Inproceedings | 2008 |
| 78 | | Gebser, Martin ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan | Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets | Konferenzbeitrag Inproceedings | 2008 |
| 79 | | Gebser, Martin ; Puehrer, Joerg ; Schaub, Torsten ; Tompits, Hans | A Meta-Programming Technique for Debugging Answer-Set Programs | Konferenzbeitrag Inproceedings | 2008 |
| 80 | | De Bruijn, Jos ; Eiter, Thomas ; Polleres, Axel Florian ; Tompits, Hans | Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination | Bericht Report | 2008 |
