Name Card

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

Own Publications Eigene Publikationen

Results 1-20 of 40 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Oetsch, Johannes ; Pührer, Jörg ; Tompits, Hans Catching the Ouroboros: On debugging non-ground answer-set programsPräsentation Presentation2020
2Brewka, Gerhard ; Pührer, Jörg ; Woltran, Stefan Multi-valued GRAPPAKonferenzbeitrag Inproceedings 2019
3Brewka, Gerhard ; Ellmauthaler, Stefan ; Gonçalves, Ricardo ; Knorr, Matthias ; Leite, João ; Pührer, Jörg Reactive multi-context systems: Heterogeneous reasoning in dynamic environmentsArtikel Article Mar-2018
4Dvorak, Wolfgang ; Pührer, Jörg ; Wallner, Johannes Peter ; Woltran, Stefan ; Diller, Martin Application of ASP in formal argumentationKonferenzbeitrag Inproceedings 2018
5Oetsch, Johannes ; Pührer, Jörg ; Tompits, Hans Stepwise debugging of answer-set programsArtikel Article 2018
6Pührer, Jörg ArgueApply: Abstract Argumentation at Your FingertipsArtikel Article 2018
7Puehrer Joerg - 2014 - Stepwise debugging in answer-set programming theoretical...pdf.jpgPührer, Jörg Stepwise debugging in answer-set programming : theoretical foundations and practical realisationThesis Hochschulschrift 2014
8Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans The SeaLion has Landed: An IDE for Answer-Set Programming-Preliminary ReportKonferenzbeitrag Inproceedings 2013
9Eiter, Thomas ; Fink, Michael ; Puehrer, Joerg ; Tompits, Hans ; Woltran, Stefan Model-Based Recasting in Answer-Set ProgrammingBericht Report2013
10Eiter, Thomas ; Fink, Michael ; Pührer, Jörg ; Tompits, Hans ; Woltran, Stefan Model-Based Recasting in Answer-Set ProgrammingArtikel Article2013
11Frühstück, Melanie ; Puehrer, Joerg ; Friedrich, Gerhard Debugging Answer-Set Programs with Ouroboros - Extending the SeaLion PluginKonferenzbeitrag Inproceedings 2013
12Busoniu, Paula-Andra ; Oetsch, Johannes ; Puehrer, Joerg ; Skocovsky, Peter ; Tompits, Hans SeaLion: An Eclipse-based IDE for Answer-Set Programming with Advanced Debugging SupportKonferenzbeitrag Inproceedings 2013
13Kloimüllner, Christian ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set ProgramsKonferenzbeitrag Inproceedings 2013
14Alviano, Mario ; Calimeri, Francesco ; Charwat, Günther ; Dao-Tran, Minh ; Dodaro, Carmine ; Ianni, Giovambattista ; Krennwallner, Thomas ; Kronegger, Martin ; Oetsch, Johannes ; Pfandler, Andreas ; Puehrer, Joerg ; Redl, Christoph ; Ricca, Francesco ; Schneider, Patrik ; Schwengerer, Martin ; Spendier, Lara ; Wallner, Johannes Peter ; Xiao, Guohui The Fourth Answer Set Programming Competition: Preliminary ReportKonferenzbeitrag Inproceedings2013
15Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with DisjunctionsKonferenzbeitrag Inproceedings 2012
16DE VOS, MARINA ; KISA, DOĞA GIZEM ; OETSCH, JOHANNES ; PÜHRER, JÖRG ; TOMPITS, HANS Annotating Answer-Set Programs in LANAKonferenzbeitrag Inproceedings 2012
17Brain, Martin ; Erdem, Esra ; Inoue, Katsumi ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans ; Yilmaz, Cemal Event-Sequence Testing using Answer-Set ProgrammingArtikel Article2012
18Oetsch, Johannes ; Prischink, Michael ; Puehrer, Joerg ; Schwengerer, Martin ; Tompits, Hans On the Small-Scope Hypothesis for Testing Answer-Set ProgramsKonferenzbeitrag Inproceedings 2012
19Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2012
20De Vos, Marina ; Kisa, Doga Gizem ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans LANA: A Language for Annotating Answer-Set ProgramsKonferenzbeitrag Inproceedings 2012

Contributing Publications Mitbeteiligte Publikationen

Results 1-6 of 6 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Eiter, Thomas ; Krennwallner, Thomas ; Redl, Christoph HEX-Programs with Nested Program CallsKonferenzbeitrag Inproceedings 2013
2Tompits, Hans ; Abreu, Salvador ; Oetsch, Johannes ; Puehrer, Joerg ; Seipel, Dietmar ; Umeda, Masanobu ; Wolf, Armin Applications of Declarative Programming and Knowledge Management, 19th International Conference, INAP 2011 and 25th Workshop on Logic Programming, WLP 2011 Vienna, Austria, September 28-30, 2011, Revised Selected PapersKonferenzband Proceedings 2013
3Szeider, Stefan The Parameterized Complexity of Constraint Satisfaction and ReasoningKonferenzbeitrag Inproceedings2013
4Kloimüllner, Christian Visualisation and graphical editing of answer sets : the Kara systemThesis Hochschulschrift2012
5Lierler, Yuliya ; Schüller, Peter Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary ReportKonferenzbeitrag Inproceedings 2011
6Abreu, Salvador ; Oetsch, Johannes ; Puehrer, Joerg ; Seipel, Dietmar ; Tompits, Hans ; Umeda, Masanobu ; Wolf, Armin Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and 25th Workshop on Logic Programming (WLP 2011)Konferenzband Proceedings 2011