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 | 79 | 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 | 69 | 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 | 40 | 2011 |
Stepping through an answer-set program J Oetsch, J Pührer, H Tompits Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011 | 39 | 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 | 35 | 2013 |
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 |
On the small-scope hypothesis for testing answer-set programs J Oetsch, M Prischink, J Pührer, M Schwengerer, H Tompits Thirteenth International Conference on the Principles of Knowledge …, 2012 | 27 | 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 |
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 | 23 | 2012 |
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 | 23 | 2012 |
On testing answer-set programs T Janhunen, I Niemelä, J Oetsch, J Pührer, H Tompits ECAI 2010, 951-956, 2010 | 23 | 2010 |
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 | 20 | 2011 |
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 | 16 | 2008 |
Stepwise debugging of answer-set programs J Oetsch, J Pührer, H Tompits Theory and Practice of Logic Programming 18 (1), 30-80, 2018 | 15 | 2018 |
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 | 14 | 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 | 14 | 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 | 13 | 2006 |
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 | 11 | 2022 |