A meta-programming technique for debugging answer-set programs. M Gebser, J Pührer, T Schaub, H Tompits AAAI 8, 448-453, 2008 | 114 | 2008 |
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 | 77 | 2010 |
Debugging ASP programs by means of ASP M Brain, M Gebser, J Pührer, T Schaub, H Tompits, S Woltran International Conference on Logic Programming and Nonmonotonic Reasoning, 31-43, 2007 | 76 | 2007 |
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 | 70 | 2013 |
Multi-Context Systems for Reactive Reasoning in Dynamic Environments. G Brewka, S Ellmauthaler, J Pührer ECAI, 159-164, 2014 | 52 | 2014 |
Realizability of three-valued semantics for abstract dialectical frameworks J Pührer Proceedings of the 24th International Conference on Artificial Intelligence …, 2015 | 44* | 2015 |
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 | 38 | 2011 |
Stepping through an answer-set program J Oetsch, J Pührer, H Tompits Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011 | 38 | 2011 |
That is illogical captain! The debugging support tool spock for answer-set programs: system description M Brain, M Gebser, J Pührer, T Schaub, H Tompits, S Woltran Proceedings of the Workshop on Software Engineering for Answer Set …, 2007 | 36 | 2007 |
A uniform account of realizability in abstract argumentation G Kaminka ECAI 2016: 22nd European Conference on Artificial Intelligence, 29 August-2 …, 2016 | 33 | 2016 |
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 | 31 | 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 | 29 | 2011 |
Reactive multi-context systems: Heterogeneous reasoning in dynamic environments G Brewka, S Ellmauthaler, R Gonçalves, M Knorr, J Leite, J Pührer Artificial Intelligence 256, 68-104, 2018 | 28 | 2018 |
Model-based recasting in answer-set programming T Eiter, M Fink, J Pührer, H Tompits, S Woltran Journal of Applied Non-Classical Logics 23 (1-2), 75-104, 2013 | 28 | 2013 |
Dealing with inconsistency when combining ontologies and rules using DL-programs J Pührer, S Heymans, T Eiter Extended Semantic Web Conference, 183-197, 2010 | 26 | 2010 |
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 | 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 |
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 | 22 | 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 | 22 | 2012 |
On testing answer-set programs T Janhunen, I Niemelä, J Oetsch, J Pührer, H Tompits ECAI 2010, 951-956, 2010 | 22 | 2010 |