Jörg Pührer |
 |
|||||||
|
Project staff - Ph.D. Student
|
||||||||
|
New Webpage
I am currently working at Leipzig University. Here is my new webpage.
Projects
- Former Projects:
- Methods and Methodologies for Developing Answer-Set Programs (FWF P21698)
- ONTOlogies meet Business RULEs (FP7 231875 ONTORULE)
- Formal Methods for Comparing and Optimizing Nonmonotonic Logic Programs (FWF P18019)
Professional Activities
- Program Committees:
- 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), Barcelona, Catalonia (Spain), July 16-22, 2011
- Organising Committees:
- 25th Workshop on Logic Programming (WLP 2011), Vienna, Austria, September 28-30, 2011
Software
-
SeaLion: Eclipse-based Integrated development environment (IDE) for ASP.
Publications
Please find a more up-to-date list of my publications here.
- Stepping through an answer-set program. Johannes Oetsch, Joerg Puehrer, and Hans Tompits. In 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), pages 134–147. Springer, 2011. [ bib | .pdf ]
- Random vs. structure-based testing of answer-set programs: An experimental comparison. Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Joerg Puehrer, and Hans Tompits. In 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), pages 242–247. Springer, 2011. [ bib | .pdf ]
- VIDEAS: a development tool for answer-set programs based on model-driven engineering technology. Johannes Oetsch, Joerg Puehrer, Martina Seidl, Hans Tompits, and Patrick Zwickl. In 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), pages 382–387. Springer, 2011. [ bib | .pdf ]
- VIDEAS: supporting answer-set program development using model-driven engineering techniques. Johannes Oetsch, Joerg Puehrer, Martina Seidl, Hans Tompits, and Patrick Zwickl. In Proceedings of the MELO 2011Workshop: Model-Driven Engineering, Logic and Optimization: friends or foes?, 2011. [ bib | .pdf ]
- Answer-set programming as a new approach to event-sequence testing. Esra Erdem, Katsumi Inoue, Johannes Oetsch, Joerg Puehrer, Hans Tompits, and Cemal Yilmaz. In Proceedings of The Second International Conference on Advances in System Testing and Validation Lifecycle, pages 25–34. Xpert Publishing Services, 2011. [ bib | .pdf ]
- Kara: A system for visualising and visual editing of interpretations for answer-set programs. Christian Kloimüllner, Johannes Oetsch, Joerg Puehrer, and Hans Tompits. 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. INFSYS Research Report. [ bib | .pdf ]
- The SeaLion has landed: An IDE for answer-set programming-preliminary report. Johannes Oetsch, Joerg Puehrer, and Hans Tompits. 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. INFSYS Research Report. [ bib | .pdf ]
- Salvador Abreu, Johannes Oetsch, Joerg Puehrer, 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 25th Workshop on Logic Programming (WLP 2011). TU Wien, Wien, 2011. [ bib | .pdf ]
- ONTORULE D2.3 consistency maintenance. Intermediate Teport. Joerg Puehrer, Adil El Ghali, Amina Chniti, Roman Korf, Antonia Schwichtenberg, François Lévy, Stijn Heymans, Guohui Xiao, and Thomas Eiter. Technical report, E184 - Institut für Informationssysteme; Technische Universität Wien, 2011. [ bib ]
- ONTORULE D2.6 consistency maintenance. Final Report. Michael Fink, Adil El Ghali, Amina Chniti, Roman Korf, Antonia Schwichtenberg, François Lévy, Joerg Puehrer, and Thomas Eiter. Technical report, E184 - Institut für Informationssysteme; Technische Universität Wien, 2011. [ bib ]
- Let's break the rules: Interactive procedural-style debugging of answer-set programs. Johannes Oetsch, Joerg Puehrer, and Hans Tompits. In Slim Abdennadher, editor, 24th Workshop on (Constraint) Logic Programming WLP'2010, volume Cairo, Egypt, pages 77–87, 2010. [ bib | .pdf ]
- On testing answer-set programs. Ilkka Niemelä, Tomi Janhunen, Johannes Oetsch, Joerg Puehrer, and Hans Tompits. 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 ]
- Dealing with inconsistency when combining ontologies and rules using DL-programs. Joerg Puehrer, Stijn Heymans, and Thomas Eiter. In Aroyo Lora, 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 | .pdf ]
- Methods and methodologies for developing answer-set programs - project description. Johannes Oetsch, Joerg Puehrer, and Hans Tompits. 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 | .pdf ]
- The system kato: Detecting cases of plagiarism for answer-set programs. Johannes Oetsch, Joerg Puehrer, Martin Schwengerer, and Hans Tompits. Theory and Practice of Logic Programming / Cambridge University Press, 10 / 4-6 / Cambridge, England, United Kingdom:759–775, 2010. [ bib | http ]
- Catching the ouroboros: On Debugging Non-Ground Answer-Set Programs. Johannes Oetsch, Joerg Puehrer, and Hans Tompits. Theory and Practice of Logic Programming / Cambridge University Press, 10 / 4-6 / Cambridge, England, United Kingdom:513–529, 2010. [ bib | .pdf ]
- F-logic#: Loosely coupling F-Logic Rules and Ontologies. Stijn Heymans, Roman Korf, Michael Erdmann, Joerg Puehrer, and Thomas Eiter. In Helder Coelho, Rudi Studer, and Michael Wooldridge, editors, Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence (WI'10), pages 248–255, 2010. [ bib | .pdf ]
- Casting away disjunction and negation under a generalisation of strong equivalence with projection. Joerg Puehrer and Hans Tompits. In Esra Erdem, Fangzhen Lin, and Torsten Schaub, editors, Logic Programming and Nonmonotonic Reasoning, pages 264–276, 5753, 2009. Springer. [ bib | .pdf ]
- spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics. Martin Gebser, Joerg Puehrer, Torsten Schaub, Hans Tompits, and Stefan Woltran. In Dietmar Seipel, Michael Hanus, and Armin Wolf, editors, Applications of Declarative Programming and Knowledge Management, pages 247–252. Springer, 2009. [ bib | .pdf ]
- A meta-programming technique for debugging answer-set programs. Martin Gebser, Joerg Puehrer, Torsten Schaub, and Hans Tompits. In Dieter Fox and Carla P. Gomes, editors, AAAI-08/IAAI-08 Proceedings, pages 448–453, 2008. [ bib | .pdf ]
- Elimination of disjunction and negation in answer-set programs under hyperequivalence. Joerg Puehrer, Hans Tompits, and Stefan Woltran. In Maria G. de la Banda and Enrico Pontelli, editors, Proceedings of the 24th Conference on Logic Programming (ICLP'08), pages 561–575, 5366, 2008. Springer LNCS. [ bib | .pdf ]
- Debugging ASP Programs by Means of ASP. Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, and Stefan Woltran. In Chitta Baral, Gerhard Brewka, and John Schlipf, editors, Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, (LPNMR'07), Tempe, AZ, USA, volume 4483 of Lecture Notes in Artificial Intelligence, pages 31–43. Springer, 2007. [ bib | .pdf ]
- “That is Illogical Captain!” – The Debugging Support Tool spock for Answer-Set Programs: System Description. Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, and Stefan Woltran. In Marina De Vos and Torsten Schaub, editors, Proceedings of the 1st International Workshop on Software Engineering for Answer-Set Programming (SEA'07), Tempe, AZ, USA, pages 71–85, 2007. [ bib | .pdf ]
- spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics. Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, and Stefan Woltran. In Dietmar Seipel, Michael Hanus, Armin Wolf, and Joachim Baumeister, editors, Proceedings of the 21st Workshop on (Constraint) Logic Programming, (WLP'07), Würzburg, Germany, pages 258–261. Technical Report 434, Bayerische Julius-Maximilians-Universität Würzburg, Institut für Informatik, 2007. [ bib | .pdf ]
- On Debugging of Propositional Answer-Set Programs. Jörg Pührer. Masterarbeit, Vienna University of Technology, Vienna, Austria, December 2007. [ bib | .pdf ]