Jörg Pührer

Postdoctoral Researcher
Intelligent Systems Group
Computer Science Institute
Leipzig University, Germany

E-Mail: puehrer at informatik dot uni-leipzig dot de
Phone: +49 (0) 341 973 23 43
Fax: +49 (0) 341 973 22 99
Office: Room P810, Paulinum



Publications

[45] Jörg Pührer.
Realizability of three-valued semantics for abstract dialectical frameworks.
In Qiang Yang and Michael Wooldridge, editors, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015), pages 3171-3177. AAAI Press, 2015. [ bib | .html ]
[44] Jörg Pührer.
Stepwise Debugging in Answer-Set Programming: Theoretical Foundations and Practical Realisation.
Dissertation, Vienna University of Technology, Vienna, Austria, November 2014. [ bib | .pdf ]
[43] Stefan Ellmauthaler and Jörg Pührer.
Asynchronous multi-context systems.
In Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, and Stefan Woltran, editors, Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, volume 9060 of Lecture Notes in Computer Science, pages 141-156. Springer, 2014. [ bib | DOI | http ]
[42] Stefan Ellmauthaler and Jörg Pührer, editors.
Proceedings of the International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014).
Leipzig University, 2014. [ bib | http ]
[41] Gerhard Brewka, Stefan Ellmauthaler, and Jörg Pührer.
Multi-context systems for reactive reasoning in dynamic environments.
In Stefan Ellmauthaler and Jörg Pührer, editors, Proceedings of the International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), pages 23-29. Leipzig University, 2014. [ bib ]
[40] Stefan Ellmauthaler and Jörg Pührer.
Asynchronous multi-context systems.
In Stefan Ellmauthaler and Jörg Pührer, editors, Proceedings of the International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), pages 31-37. Leipzig University, 2014. [ bib ]
[39] Jörg Pührer.
Towards a simulation-based programming paradigm for AI applications.
In Stefan Ellmauthaler and Jörg Pührer, editors, Proceedings of the International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), pages 55-61. Leipzig University, 2014. [ bib ]
[38] Jörg Pührer.
Towards a programming paradigm for artificial intelligence applications based on simulation.
In Rumyana Neykova and Nicholas Ng, editors, Proceedings of the 2014 Imperial College Computing Student Workshop (ICCSW 2014), volume 43 of OpenAccess Series in Informatics (OASIcs), pages 66-73, Dagstuhl, Germany, 2014. Schloss Dagstuhl-Leibniz-Zentrum für Informatik. [ bib ]
[37] Gerhard Brewka, Stefan Ellmauthaler, and Jörg Pührer.
Multi-context systems for reactive reasoning in dynamic environments.
In Torsten Schaub, Gerhard Friedrich, and Barry O'Sullivan, editors, 21st European Conference on Artificial Intelligence (ECAI 2014), volume 263 of Frontiers in Artificial Intelligence and Applications, pages 159-164. IOS Press, 2014. [ bib ]
[36] Thomas Eiter, Michael Fink, Jörg Pührer, Hans Tompits, and Stefan Woltran.
Model-based recasting in answer-set programming.
Journal of Applied Non-Classical Logics, 23(1-2):75-104, 2013. [ bib ]
[35] Melanie Frühstück, Jörg Pührer, and Gerhard Friedrich.
Debugging answer-set programs with Ouroboros - Extending the SeaLion plugin.
In Pedro Cabalar and Tran Cao Son, editors, Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), volume 8148 of Lecture Notes in Computer Science, pages 323-328. Springer, 2013. [ bib ]
[34] Paula-Andra Busoniu, Johannes Oetsch, Jörg Pührer, Peter Skocovsky, and Hans Tompits.
SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support.
Theory and Practice of Logic Programming, 13(4-5):657-673, 2013. [ bib ]
[33] Mario Alviano, Francesco Calimeri, Günther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jörg Pührer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, and Guohui Xiao.
The fourth answer set programming competition: Preliminary report.
In Pedro Cabalar and Tran Cao Son, editors, Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), volume 8148 of Lecture Notes in Computer Science, pages 42-53. Springer, 2013. [ bib ]
[32] Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, and Armin Wolf, editors.
Revised selected papers of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and the 25th Workshop on Logic Programming (WLP 2011), volume 7773 of Lecture Notes in Computer Science.
Springer, 2013. [ bib ]
[31] Martin Brain, Esra Erdem, Katsumi Inoue, Johannes Oetsch, Jörg Pührer, Hans Tompits, and Cemal Yilmaz.
Event-sequence testing using answer-set programming.
International Journal On Advances in Software, 5(3-4), 2012. [ bib | .pdf ]
[30] Marina De Vos, Doga Gizem Kisa, Johannes Oetsch, Jörg Pührer, and Hans Tompits.
Annotating answer-set programs in LANA.
Theory and Practice of Logic Programming, 12(4-5):619-637, 2012. [ bib | DOI | .pdf ]
[29] Johannes Oetsch, Jörg Pührer, and Hans Tompits.
Stepwise debugging of description-logic programs.
In Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz, volume 7265 of Lecture Notes in Computer Science, pages 492-508. Springer, 2012. [ bib | .pdf ]
[28] Marina De Vos, Doga Gizem Kisa, Johannes Oetsch, Jörg Pührer, and Hans Tompits.
LANA: A language for annotating answer-set programs.
In 14th International Workshop on Non-Monotonic Reasoning, 2012. [ bib | .pdf ]
[27] Johannes Oetsch, Michael Prischink, Jörg Pührer, Martin Schwengerer, and Hans Tompits.
On the small-scope hypothesis for testing answer-set programs.
In 13th International Conference on Principles of Knowledge Representation and Reasoning, pages 43-53. AAAI Press, 2012. [ bib | .pdf ]
[26] Johannes Oetsch, Jörg Pührer, and Hans Tompits.
An FLP-style answer-set semantics for abstract-constraint programs with disjunctions.
In Technical Communications of the 28th International Conference on Logic Programming, Volume 17, 2012. LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. [ bib | .pdf ]
[25] Johannes Oetsch, Jörg Pührer, and Hans Tompits.
Extending object-oriented languages by declarative specifications of complex objects using answer-set programming.
In 26th Workshop on Logic Programming (WLP 2012), pages 129-137, 2012. [ bib | .pdf ]
[24] Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Hans Tompits, Masanobu Umeda, and Armin Wolf, editors.
Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and the 25th Workshop on Logic Programming (WLP 2011).
TU Wien, Wien, 2011. [ bib | .pdf ]
[23] Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, and Hans Tompits.
Random vs structure-based testing of answer-set programs: An experimental comparison.
In 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), pages 242-247. Springer, 2011. [ bib | .pdf ]
[22] Johannes Oetsch, Jörg Pührer, Martina Seidl, Hans Tompits, and Patrick Zwickl.
VIDEAS: A development tool for answer-set programs based on model-driven engineering technology.
In 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), pages 382-387. Springer, 2011. [ bib | DOI | .pdf ]
[21] Johannes Oetsch, Jörg Pührer, and Hans Tompits.
Stepping through an answer-set program.
In 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), pages 134-147. Springer, 2011. [ bib | .pdf ]
[20] Johannes Oetsch, Jörg Pührer, Martina Seidl, Hans Tompits, and Patrick Zwickl.
VIDEAS: Supporting answer-set program development using model-driven engineering techniques.
In Proceedings of the MELO 2011 Workshop: Model-Driven Engineering, Logic and Optimization: friends or foes?, 2011. [ bib | .pdf ]
[19] Christian Kloimüllner, Johannes Oetsch, Jörg Pührer, and Hans Tompits.
Kara: A system for visualising and visual editing of interpretations for answer-set programs.
In 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and 25th Workshop on Logic Programming (WLP 2011), pages 152-164, 1843-11-06, 2011. [ bib | .pdf ]
[18] Johannes Oetsch, Jörg Pührer, and Hans Tompits.
The SeaLion has landed: An IDE for answer-set programming-preliminary report.
In 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and 25th Workshop on Logic Programming (WLP 2011), pages 141-151, 1843-11-06, 2011. [ bib | .pdf ]
[17] Esra Erdem, Katsumi Inoue, Johannes Oetsch, Jörg Pührer, Hans Tompits, and Cemal Yilmaz.
Answer-set programming as a new approach to event-sequence testing.
In Proceedings of The Second International Conference on Advances in System Testing and Validation Lifecycle (VALID 2011), pages 25-34. Xpert Publishing Services, 2011. [ bib | .pdf ]
[16] Michael Fink, Adil El Ghali, Amina Chniti, Roman Korf, Antonia Schwichtenberg, François Lévy, Jörg Pührer, and Thomas Eiter.
D2-6 Consistency maintenance.
Final report. Technical report, ONTORULE IST-2009-231875 Project, 2011. [ bib ]
[15] Johannes Oetsch, Jörg Pührer, and Hans Tompits.
Catching the Ouroboros: On debugging non-ground answer-set programs.
Theory and Practice of Logic Programming, 10(4-6):513-529, 2010. [ bib | DOI | .pdf ]
[14] Johannes Oetsch, Jörg Pührer, Martin Schwengerer, and Hans Tompits.
The system Kato: Detecting cases of plagiarism for answer-set programs.
Theory and Practice of Logic Programming, 10(4-6):759-775, 2010. [ bib | DOI | http ]
[13] Jörg Pührer, Stijn Heymans, and Thomas Eiter.
Dealing with inconsistency when combining ontologies and rules using DL-programs.
In Lora Aroyo, Grigoris Antoniou, Eero Hyvönen, Annette ten Teije, Heiner Stuckenschmidt, Liliana Cabral, and Tania Tudorache, editors, 7th European Semantic Web Conference (ESWC 2010), pages 183-197, 5554, 2010. Springer. [ bib | DOI | .pdf ]
[12] Johannes Oetsch, Jörg Pührer, and Hans Tompits.
Methods and methodologies for developing answer-set programs - Project description.
In Manuel Hermenegildo and Torsten Schaub, editors, Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010), volume 7 / Dagstuhl, Germany, pages 154-161, 2010. [ bib | DOI | .pdf ]
[11] Ilkka Niemelä, Tomi Janhunen, Johannes Oetsch, Jörg Pührer, and Hans Tompits.
On testing answer-set programs.
In Helder Coelho, Rudi Studer, and Michael Wooldridge, editors, 19th European Conference on Artificial Intelligence (ECAI 2010), pages 951-956, Volume 215 of Frontiers in Artificial Intelligence and Applications (2010), 2010. IOS Press. [ bib | .pdf ]
[10] Stijn Heymans, Roman Korf, Michael Erdmann, Jörg Pührer, and Thomas Eiter.
F-logic#: Loosely coupling F-logic rules and ontologies.
In Helder Coelho, Rudi Studer, and Michael Wooldridge, editors, Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2010), pages 248-255, 2010. [ bib | DOI | .pdf ]
[9] Johannes Oetsch, Jörg Pührer, and Hans Tompits.
Let's break the rules: Interactive procedural-style debugging of answer-set programs.
In Slim Abdennadher, editor, 24th Workshop on (Constraint) Logic Programming (WLP 2010), pages 77-87, 2010. [ bib | .pdf ]
[8] Jörg Pührer, Adil El Ghali, Amina Chniti, Roman Korf, Antonia Schwichtenberg, François Lévy, Stijn Heymans, Guohui Xiao, and Thomas Eiter.
D2-3 Consistency maintenance.
Intermediate report. Technical report, ONTORULE IST-2009-231875 Project, 2010. [ bib | http ]
[7] Stijn Heymans, Jos de Bruijn, Martín Rezk, Hassan Aït-Kaci, Hugues Citeau, Roman Korf, Jörg Pührer, Cristina Feier, and Thomas Eiter.
D3-2 Initial combinations of rules and ontologies.
Technical report, ONTORULE IST-2009-231875 Project, December 2009. [ bib | http ]
[6] Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, and Stefan Woltran.
spock: A debugging support tool for logic programs under the answer-set semantics.
In Dietmar Seipel, Michael Hanus, and Armin Wolf, editors, Applications of Declarative Programming and Knowledge Management, pages 247-252. Springer, 2009. [ bib | DOI | .pdf ]
[5] Jörg Pührer and Hans Tompits.
Casting away disjunction and negation under a generalisation of strong equivalence with projection.
In Esra Erdem, Fangzhen Lin, and Torsten Schaub, editors, Logic Programming and Nonmonotonic Reasoning, pages 264-276, 5753, 2009. Springer. [ bib | DOI | .pdf ]
[4] Jos de Bruijn, Philippe Bonnard, Hugues Citeau, Sylvain Dehors, Stijn Heymans, Roman Korf, Jörg Pührer, and Thomas Eiter.
D3-1 State-of-the-art survey of issues.
Technical report, ONTORULE IST-2009-231875 Project, 2009. [ bib | http ]
[3] Martin Gebser, Jörg Pührer, Torsten Schaub, and Hans Tompits.
A meta-programming technique for debugging answer-set programs.
In Dieter Fox and Carla P. Gomes, editors, AAAI-08/IAAI-08 Proceedings, pages 448-453, 2008. [ bib | .pdf ]
[2] Jörg Pührer, Hans Tompits, and Stefan Woltran.
Elimination of disjunction and negation in answer-set programs under hyperequivalence.
In Maria G. de la Banda and Enrico Pontelli, editors, Proceedings of the 24th Conference on Logic Programming (ICLP 2008), pages 561-575, 5366, 2008. Springer LNCS. [ bib | DOI | .pdf ]
[1] Jörg Pührer.
On debugging of propositional answer-set programs.
Masterarbeit, Vienna University of Technology, Vienna, Austria, December 2007. [ bib | .pdf ]