Debugging ASP Programs by Means of ASP. - Martin Brain; Martin Gebser; Jörg Pührer; Torsten Schaub; Hans Tompits; Stefan Woltran (LPNMR, 2007)

spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics. - Martin Gebser; Jörg Pührer; Torsten Schaub; Hans Tompits; Stefan Woltran (INAP/WLP, 2007)

A Meta-Programming Technique for Debugging Answer-Set Programs. - Martin Gebser; Jörg Pührer; Torsten Schaub; Hans Tompits (AAAI, 2008)

Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence. - Jörg Pührer; Hans Tompits; Stefan Woltran (ICLP, 2008)

Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection. - Jörg Pührer; Hans Tompits (LPNMR, 2009)

On Testing Answer-Set Programs. - Tomi Janhunen; Ilkka Niemelä; Johannes Oetsch; Jörg Pührer; Hans Tompits (ECAI, 2010)

Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs. - Jörg Pührer; Stijn Heymans; Thomas Eiter (ESWC (1), 2010)

Methods and Methodologies for Developing Answer-Set Programs - Project Description. - Johannes Oetsch; Jörg Pührer; Hans Tompits (ICLP (Technical Communications), 2010)

F-Logic#: Loosely Coupling F-Logic Rules and Ontologies. - Stijn Heymans; Roman Korf; Michael Erdmann; Jörg Pührer; Thomas Eiter (Web Intelligence, 2010)

The system Kato: Detecting cases of plagiarism for answer-set programs. - Johannes Oetsch; Jörg Pührer; Martin Schwengerer; Hans Tompits (Theory Pract. Log. Program., 2010)

Catching the Ouroboros: On debugging non-ground answer-set programs. - Johannes Oetsch; Jörg Pührer; Hans Tompits (Theory Pract. Log. Program., 2010)

Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs. - Christian Kloimüllner; Johannes Oetsch; Jörg Pührer; Hans Tompits (INAP/WLP, 2011)

The SeaLion has Landed: An IDE for Answer-Set Programming - Preliminary Report. - Johannes Oetsch; Jörg Pührer; Hans Tompits (INAP/WLP, 2011)

Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison. - Tomi Janhunen; Ilkka Niemelä; Johannes Oetsch; Jörg Pührer; Hans Tompits (LPNMR, 2011)

VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology. - Johannes Oetsch; Jörg Pührer; Martina Seidl; Hans Tompits; Patrick Zwickl (LPNMR, 2011)

Stepping through an Answer-Set Program. - Johannes Oetsch; Jörg Pührer; Hans Tompits (LPNMR, 2011)

Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming - Johannes Oetsch; Jörg Pührer; Hans Tompits (CoRR, 2011)

Stepwise Debugging of Description-Logic Programs. - Johannes Oetsch; Jörg Pührer; Hans Tompits (Correct Reasoning, 2012)

An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions. - Johannes Oetsch; Jörg Pührer; Hans Tompits (ICLP (Technical Communications), 2012)

On the Small-Scope Hypothesis for Testing Answer-Set Programs. - Johannes Oetsch; Michael Prischink; Jörg Pührer; Martin Schwengerer; Hans Tompits (KR, 2012)

Annotating answer-set programs in Lana. - Marina De Vos; Doga Gizem Kisa; Johannes Oetsch; Jörg Pührer; Hans Tompits (Theory Pract. Log. Program., 2012)

The Fourth Answer Set Programming Competition: Preliminary Report. - 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; et al. (LPNMR, 2013)

Debugging Answer-Set Programs with Ouroboros - Extending the SeaLion Plugin. - Melanie Frühstück; Jörg Pührer; Gerhard Friedrich (LPNMR, 2013)

Model-based recasting in answer-set programming. - Thomas Eiter; Michael Fink 001; Jörg Pührer; Hans Tompits; Stefan Woltran (J. Appl. Non Class. Logics, 2013)

SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support. - Paula-Andra Busoniu; Johannes Oetsch; Jörg Pührer; Peter Skocovsky; Hans Tompits (Theory Pract. Log. Program., 2013)

Multi-Context Systems for Reactive Reasoning in Dynamic Environments. - Gerhard Brewka; Stefan Ellmauthaler; Jörg Pührer (ECAI, 2014)

Towards a Programming Paradigm for Artificial Intelligence Applications Based On Simulation. - Jörg Pührer (ICCSW, 2014)

Asynchronous Multi-Context Systems. - Stefan Ellmauthaler; Jörg Pührer (Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015)

Towards a Simulation-Based Programming Paradigm for AI applications. - Jörg Pührer (CoRR, 2015)

Towards Inconsistency Management in Reactive Multi-Context Systems. - Gerhard Brewka; Stefan Ellmauthaler; Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001; Jörg Pührer (DARe@ECAI, 2016)

A Uniform Account of Realizability in Abstract Argumentation. - Thomas Linsbichler; Jörg Pührer; Hannes Strass (ECAI, 2016)

Inconsistency Management in Reactive Multi-context Systems. - Gerhard Brewka; Stefan Ellmauthaler; Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001; Jörg Pührer (JELIA, 2016)

Stream Packing for Asynchronous Multi-Context Systems using ASP. - Stefan Ellmauthaler; Jörg Pührer (CoRR, 2016)

Characterizing Realizability in Abstract Argumentation. - Thomas Linsbichler; Jörg Pührer; Hannes Strass (CoRR, 2016)

ArgueApply: A Mobile App for Argumentation. - Jörg Pührer (LPNMR, 2017)

Reactive multi-context systems: Heterogeneous reasoning in dynamic environments. - Gerhard Brewka; Stefan Ellmauthaler; Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001; Jörg Pührer (Artif. Intell., 2018)

Weighted Abstract Dialectical Frameworks: Extended and Revised Report. - Gerhard Brewka; Jörg Pührer; Hannes Strass; Johannes Peter Wallner; Stefan Woltran (CoRR, 2018)

ArgueApply: Abstract Argumentation at Your Fingertips. - Jörg Pührer (Künstliche Intell., 2018)

Stepwise debugging of answer-set programs. - Johannes Oetsch; Jörg Pührer; Hans Tompits (Theory Pract. Log. Program., 2018)

Multi-valued GRAPPA. - Gerhard Brewka; Jörg Pührer; Stefan Woltran (JELIA, 2019)

Realizability of three-valued semantics for abstract dialectical frameworks. - Jörg Pührer (Artif. Intell., 2020)