Pührer, Jörg

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Pührer, Jörg
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Treffer 21-40 von 40 (Suchzeit: 0.003 Sekunden).

VorschauAutor_in(nen)TitelDokumenttypErscheinungs­datum
21Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans Stepwise Debugging of Description-Logic ProgramsBuchbeitrag Book Contribution2012
22Fink, Michael ; El Ghali, Adil ; Chniti, Amina ; Korf, Roman ; Schwichtenberg, Antonia ; Lévy, François ; Puehrer, Joerg ; Eiter, Thomas D2.6 Consistency Maintenance. Final ReportBericht Report2011
23Janhunen, Tomi ; Niemelä, Ilkka ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental ComparisonKonferenzbeitrag Inproceedings 2011
24Oetsch, Johannes ; Puehrer, Joerg ; Seidl, Martina ; Tompits, Hans ; Zwickl, Patrick VIDEAS: Supporting Answer-Set Program Development using Model-Driven Engineering TechniquesKonferenzbeitrag Inproceedings 2011
25Erdem, Esra ; Inoue, Katsumi ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans ; Yilmaz, Cemal Answer-Set Programming as a new Approach to Event-Sequence TestingKonferenzbeitrag Inproceedings 2011
26Kloimüllner, Christian ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set ProgramsKonferenzbeitrag Inproceedings 2011
27Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans The SeaLion has Landed: An IDE for Answer-Set Programming-Preliminary ReportKonferenzbeitrag Inproceedings 2011
28Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans Stepping through an Answer-Set ProgramKonferenzbeitrag Inproceedings 2011
29Oetsch, Johannes ; Pührer, Jörg ; Seidl, Martina ; Tompits, Hans ; Zwickl, Patrick VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering TechnologyKonferenzbeitrag Inproceedings 2011
30OETSCH, JOHANNES ; PÜHRER, JÖRG ; SCHWENGERER, MARTIN ; TOMPITS, HANS The system Kato: Detecting cases of plagiarism for answer-set programsKonferenzbeitrag Inproceedings 2010
31Pührer, Jörg ; Heymans, Stijn ; Eiter, Thomas Dealing with Inconsistency When Combining Ontologies and Rules Using DL-ProgramsKonferenzbeitrag Inproceedings 2010
32Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans Methods and Methodologies for Developing Answer-Set Programs - Project DescriptionKonferenzbeitrag Inproceedings 2010
33Niemelä, Ilkka ; Janhunen, Tomi ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans On Testing Answer-Set ProgramsKonferenzbeitrag Inproceedings 2010
34Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans Let's Break the Rules: Interactive Procedural-Style Debugging of Answer-Set ProgramsKonferenzbeitrag Inproceedings 2010
35OETSCH, JOHANNES ; PÜHRER, JÖRG ; TOMPITS, HANS Catching the Ouroboros: On debugging non-ground answer-set programsKonferenzbeitrag Inproceedings 2010
36Heymans, Stijn ; Korf, Roman ; Erdmann, Michael ; Puehrer, Joerg ; Eiter, Thomas F-Logic#: Loosely Coupling F-Logic Rules and OntologiesKonferenzbeitrag Inproceedings 2010
37Gebser, Martin ; Pührer, Jörg ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan spock: A Debugging Support Tool for Logic Programs under the Answer-Set SemanticsKonferenzbeitrag Inproceedings 2009
38Puehrer, Joerg ; Tompits, Hans Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with ProjectionKonferenzbeitrag Inproceedings 2009
39Gebser, Martin ; Puehrer, Joerg ; Schaub, Torsten ; Tompits, Hans A Meta-Programming Technique for Debugging Answer-Set ProgramsKonferenzbeitrag Inproceedings 2008
40Puehrer, Joerg ; Tompits, Hans ; Woltran, Stefan Elimination of Disjunction and Negation in Answer-Set Programs under HyperequivalenceKonferenzbeitrag Inproceedings 2008