| Catching the ouroboros: On debugging non-ground answer-set programs J Oetsch, J Pührer, H Tompits Theory and Practice of Logic Programming 10 (4-6), 513-529, 2010 | 82 | 2010 |
| The fourth answer set programming competition: Preliminary report M Alviano, F Calimeri, G Charwat, M Dao-Tran, C Dodaro, G Ianni, ... Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013 | 75 | 2013 |
| Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs C Kloimüllner, J Oetsch, J Pührer, H Tompits International Conference on Applications of Declarative Programming and …, 2011 | 41 | 2011 |
| Stepping through an answer-set program J Oetsch, J Pührer, H Tompits Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011 | 41 | 2011 |
| SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support PA Busoniu, J Oetsch, J Pührer, P Skočovský, H Tompits Theory and Practice of Logic Programming 13 (4-5), 657-673, 2013 | 39 | 2013 |
| On the Small-Scope Hypothesis for Testing Answer-Set Programs. J Oetsch, M Prischink, J Pührer, M Schwengerer, H Tompits KR, 2012 | 30 | 2012 |
| Answer-set programming as a new approach to event-sequence testing E Erdem, K Inoue, J Oetsch, J Pührer, H Tompits, C Yılmaz IARIA, 2011 | 30 | 2011 |
| Facts do not cease to exist because they are ignored: Relativised uniform equivalence with answer-set projection J Oetsch, H Tompits, S Woltran AAAI, 458-464, 2007 | 29 | 2007 |
| Event-sequence testing using answer-set programming M Brain, E Erdem, K Inoue, J Oetsch, J Pührer, H Tompits, C Yilmaz International Journal on Advances in Software 5 (3&4), 2012 | 27 | 2012 |
| On testing answer-set programs T Janhunen, I Niemelä, J Oetsch, J Pührer, H Tompits ECAI 2010, 951-956, 2010 | 26 | 2010 |
| Annotating answer-set programs in lana M De Vos, DG Kisa, J Oetsch, J Pührer, H Tompits Theory and Practice of Logic Programming 12 (4-5), 619-637, 2012 | 25 | 2012 |
| The SeaLion has Landed: An IDE for Answer-Set Programming—Preliminary Report J Oetsch, J Pührer, H Tompits International Conference on Applications of Declarative Programming and …, 2011 | 24 | 2011 |
| A neuro-symbolic ASP pipeline for visual question answering T Eiter, N Higuera, J Oetsch, M Pritz Theory and Practice of Logic Programming 22 (5), 739-754, 2022 | 21 | 2022 |
| Random vs. structure-based testing of answer-set programs: An experimental comparison T Janhunen, I Niemelä, J Oetsch, J Pührer, H Tompits International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011 | 21 | 2011 |
| Stepwise debugging of answer-set programs J Oetsch, J Pührer, H Tompits Theory and Practice of Logic Programming 18 (1), 30-80, 2018 | 19 | 2018 |
| VIDEAS: A development tool for answer-set programs based on model-driven engineering technology J Oetsch, J Pührer, M Seidl, H Tompits, P Zwickl International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011 | 18 | 2011 |
| Program correspondence under the answer-set semantics: The non-ground case J Oetsch, H Tompits International Conference on Logic Programming, 591-605, 2008 | 17 | 2008 |
| Gentzen-type refutation systems for three-valued logics with an application to disproving strong equivalence J Oetsch, H Tompits International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011 | 15 | 2011 |
| ccT: A Tool for Checking Advanced Correspondence Problems in Answer-Set Programming J Oetsch, M Seidl, H Tompits, S Woltran 2006 15th International Conference on Computing, 3-10, 2006 | 15 | 2006 |
| cc⊤: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics J Oetsch, M Seidl, H Tompits, S Woltran Logics in Artificial Intelligence: 10th European Conference, JELIA 2006 …, 2006 | 14 | 2006 |
Hans TompitsAssociate Professor of Computer Science, Vienna University of Technologykr.tuwien.ac.at의 이메일 확인됨