Jörg Pührer

Publication Activity (10 Years)

Years Active: 2007-2020
Publications (10 Years): 14

Top Topics

Abstract Argumentation

Answer Set Programming

Nonmonotonic Logics

Top Venues

Theory Pract. Log. Program.

Publications

Jörg Pührer
Realizability of three-valued semantics for abstract dialectical frameworks. Artif. Intell. 278 (2020)
Gerhard Brewka, Jörg Pührer, Stefan Woltran
Multi-valued GRAPPA. JELIA (2019)
Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
Reactive multi-context systems: Heterogeneous reasoning in dynamic environments. Artif. Intell. 256 (2018)
Johannes Oetsch, Jörg Pührer, Hans Tompits
Stepwise debugging of answer-set programs. Theory Pract. Log. Program. 18 (1) (2018)
Jörg Pührer
ArgueApply: Abstract Argumentation at Your Fingertips. Künstliche Intell. 32 (2-3) (2018)
Gerhard Brewka, Jörg Pührer, Hannes Strass, Johannes Peter Wallner, Stefan Woltran
Weighted Abstract Dialectical Frameworks: Extended and Revised Report. CoRR (2018)
Jörg Pührer
ArgueApply: A Mobile App for Argumentation. LPNMR (2017)
Johannes Oetsch, Jörg Pührer, Hans Tompits
Stepwise Debugging of Answer-Set Programs. CoRR (2017)
Thomas Linsbichler, Jörg Pührer, Hannes Strass
Characterizing Realizability in Abstract Argumentation. CoRR (2016)
Stefan Ellmauthaler, Jörg Pührer
Stream Packing for Asynchronous Multi-Context Systems using ASP. CoRR (2016)
Thomas Linsbichler, Jörg Pührer, Hannes Strass
A Uniform Account of Realizability in Abstract Argumentation. ECAI (2016)
Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
Towards Inconsistency Management in Reactive Multi-Context Systems. DARe@ECAI (2016)
Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments. CoRR (2016)
Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
Inconsistency Management in Reactive Multi-context Systems. JELIA (2016)
Stefan Ellmauthaler, Jörg Pührer
Asynchronous Multi-Context Systems. CoRR (2015)
Stefan Ellmauthaler, Jörg Pührer
Asynchronous Multi-Context Systems. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (2015)
Jörg Pührer
Realizability of Three-Valued Semantics for Abstract Dialectical Frameworks. IJCAI (2015)
Jörg Pührer
Towards a Simulation-Based Programming Paradigm for AI applications. CoRR (2015)
Gerhard Brewka, Stefan Ellmauthaler, Jörg Pührer
Multi-Context Systems for Reactive Reasoning in Dynamic Environments. CoRR (2015)
Gerhard Brewka, Stefan Ellmauthaler, Jörg Pührer
Multi-Context Systems for Reactive Reasoning in Dynamic Environments. ECAI (2014)
Jörg Pührer
Towards a Programming Paradigm for Artificial Intelligence Applications Based On Simulation. ICCSW (2014)
Thomas Eiter, Michael Fink, Jörg Pührer, Hans Tompits, Stefan Woltran
Model-based recasting in answer-set programming. J. Appl. Non Class. Logics 23 (1-2) (2013)
Paula-Andra Busoniu, Johannes Oetsch, Jörg Pührer, Peter Skocovsky, Hans Tompits
SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support. Theory Pract. Log. Program. 13 (4-5) (2013)
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, Guohui Xiao
The Fourth Answer Set Programming Competition: Preliminary Report. LPNMR (2013)
Melanie Frühstück, Jörg Pührer, Gerhard Friedrich
Debugging Answer-Set Programs with Ouroboros - Extending the SeaLion Plugin. LPNMR (2013)
Johannes Oetsch, Jörg Pührer, Hans Tompits
An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions. ICLP (Technical Communications) (2012)
Johannes Oetsch, Jörg Pührer, Hans Tompits
Stepwise Debugging of Description-Logic Programs. Correct Reasoning (2012)
Marina De Vos, Doga Gizem Kisa, Johannes Oetsch, Jörg Pührer, Hans Tompits
Annotating Answer-Set Programs in LANA? CoRR (2012)
Marina De Vos, Doga Gizem Kisa, Johannes Oetsch, Jörg Pührer, Hans Tompits
Annotating answer-set programs in Lana. Theory Pract. Log. Program. 12 (4-5) (2012)
Johannes Oetsch, Michael Prischink, Jörg Pührer, Martin Schwengerer, Hans Tompits
On the Small-Scope Hypothesis for Testing Answer-Set Programs. KR (2012)
Johannes Oetsch, Jörg Pührer, Hans Tompits
Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming CoRR (2011)
Christian Kloimüllner, Johannes Oetsch, Jörg Pührer, Hans Tompits
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs. INAP/WLP (2011)
Christian Kloimüllner, Johannes Oetsch, Jörg Pührer, Hans Tompits
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs CoRR (2011)
Johannes Oetsch, Jörg Pührer, Hans Tompits
The SeaLion has Landed: An IDE for Answer-Set Programming - Preliminary Report. INAP/WLP (2011)
Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits
Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison. LPNMR (2011)
Johannes Oetsch, Jörg Pührer, Martina Seidl, Hans Tompits, Patrick Zwickl
VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology. LPNMR (2011)
Johannes Oetsch, Jörg Pührer, Hans Tompits
The SeaLion has Landed: An IDE for Answer-Set Programming---Preliminary Report CoRR (2011)
Johannes Oetsch, Jörg Pührer, Hans Tompits
Stepping through an Answer-Set Program. LPNMR (2011)
Johannes Oetsch, Jörg Pührer, Martin Schwengerer, Hans Tompits
The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs CoRR (2010)
Johannes Oetsch, Jörg Pührer, Hans Tompits
Catching the Ouroboros: On debugging non-ground answer-set programs. Theory Pract. Log. Program. 10 (4-6) (2010)
Johannes Oetsch, Jörg Pührer, Hans Tompits
Methods and Methodologies for Developing Answer-Set Programs - Project Description. ICLP (Technical Communications) (2010)
Johannes Oetsch, Jörg Pührer, Martin Schwengerer, Hans Tompits
The system Kato: Detecting cases of plagiarism for answer-set programs. Theory Pract. Log. Program. 10 (4-6) (2010)
Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits
On Testing Answer-Set Programs. ECAI (2010)
Jörg Pührer, Stijn Heymans, Thomas Eiter
Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs. ESWC (1) (2010)
Stijn Heymans, Roman Korf, Michael Erdmann, Jörg Pührer, Thomas Eiter
F-Logic#: Loosely Coupling F-Logic Rules and Ontologies. Web Intelligence (2010)
Johannes Oetsch, Jörg Pührer, Hans Tompits
Catching the Ouroboros: On Debugging Non-ground Answer-Set Programs CoRR (2010)
Jörg Pührer, Hans Tompits
Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection. LPNMR (2009)
Jörg Pührer, Hans Tompits, Stefan Woltran
Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence. ICLP (2008)
Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits
A Meta-Programming Technique for Debugging Answer-Set Programs. AAAI (2008)
Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran
spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics. INAP/WLP (2007)
Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran
Debugging ASP Programs by Means of ASP. LPNMR (2007)