A meta-programming technique for debugging answer-set programs. M Gebser, J Pührer, T Schaub, H Tompits AAAI 8, 448-453, 2008 | 110 | 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 | 73 | 2010 |
Debugging ASP programs by means of ASP M Brain, M Gebser, J Pührer, T Schaub, H Tompits, S Woltran Logic Programming and Nonmonotonic Reasoning: 9th International Conference …, 2007 | 73 | 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 | 69 | 2013 |
Multi-Context Systems for Reactive Reasoning in Dynamic Environments. G Brewka, S Ellmauthaler, J Pührer ECAI, 159-164, 2014 | 51 | 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 |
Stepping through an Answer-Set Program. J Oetsch, J Pührer, H Tompits LPNMR, 134-147, 2011 | 37 | 2011 |
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs C Kloimüllner, J Oetsch, J Pührer, H Tompits Applications of Declarative Programming and Knowledge Management: 19th …, 2013 | 34 | 2013 |
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 | 34 | 2007 |
A uniform account of realizability in abstract argumentation G Kaminka ECAI 2016: 22nd European Conference on Artificial Intelligence, 29 August-2 …, 2016 | 31 | 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 | 29 | 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 | 28 | 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 | 26 | 2018 |
Dealing with inconsistency when combining ontologies and rules using DL-programs J Pührer, S Heymans, T Eiter The Semantic Web: Research and Applications: 7th Extended Semantic Web …, 2010 | 26 | 2010 |
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 | 25 | 2013 |
The SeaLion has Landed: An IDE for Answer-Set Programming—Preliminary Report J Oetsch, J Pührer, H Tompits Applications of Declarative Programming and Knowledge Management: 19th …, 2013 | 23 | 2013 |
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 | 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 |
spock: A debugging support tool for logic programs under the answer-set semantics M Gebser, J Pührer, T Schaub, H Tompits, S Woltran Applications of Declarative Programming and Knowledge Management: 17th …, 2009 | 22 | 2009 |
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 | 21 | 2012 |