Jörg Pührer

According to our database, Jörg Pührer authored at least 41 papers between 2007 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Realizability of three-valued semantics for abstract dialectical frameworks.

Jörg Pührer

Artif. Intell., 2020

2019

Multi-valued GRAPPA.

Gerhard Brewka, Jörg Pührer, Stefan Woltran

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

2018

Stepwise debugging of answer-set programs.

Johannes Oetsch, Jörg Pührer, Hans Tompits

Theory Pract. Log. Program., 2018

ArgueApply: Abstract Argumentation at Your Fingertips.

Jörg Pührer

Künstliche 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

Reactive multi-context systems: Heterogeneous reasoning in dynamic environments.

Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer

Artif. Intell., 2018

2017

ArgueApply: A Mobile App for Argumentation.

Jörg Pührer

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

2016

Characterizing Realizability in Abstract Argumentation.

Thomas Linsbichler, Jörg Pührer, Hannes Strass

CoRR, 2016

Stream Packing for Asynchronous Multi-Context Systems using ASP.

Stefan Ellmauthaler, Jörg Pührer

CoRR, 2016

Inconsistency Management in Reactive Multi-context Systems.

Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

A Uniform Account of Realizability in Abstract Argumentation.

Thomas Linsbichler, Jörg Pührer, Hannes Strass

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Towards Inconsistency Management in Reactive Multi-Context Systems.

Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer

Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16) co-located with the 22th European Conference on Artificial Intelligence (ECAI 2016), 2016

2015

Towards a Simulation-Based Programming Paradigm for AI applications.

Jörg Pührer

CoRR, 2015

Asynchronous Multi-Context Systems.

Stefan Ellmauthaler, Jörg Pührer

Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

2014

Towards a Programming Paradigm for Artificial Intelligence Applications Based On Simulation.

Jörg Pührer

Proceedings of the 2014 Imperial College Computing Student Workshop, 2014

Multi-Context Systems for Reactive Reasoning in Dynamic Environments.

Gerhard Brewka, Stefan Ellmauthaler, Jörg Pührer

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

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

Model-based recasting in answer-set programming.

Thomas Eiter, Michael Fink, Jörg Pührer, Hans Tompits, Stefan Woltran

J. Appl. Non Class. Logics, 2013

Debugging Answer-Set Programs with Ouroboros - Extending the SeaLion Plugin.

Melanie Frühstück, Jörg Pührer, Gerhard Friedrich

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

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, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

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

On the Small-Scope Hypothesis for Testing Answer-Set Programs.

Johannes Oetsch, Michael Prischink, Jörg Pührer, Martin Schwengerer, Hans Tompits

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions.

Johannes Oetsch, Jörg Pührer, Hans Tompits

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Stepwise Debugging of Description-Logic Programs.

Johannes Oetsch, Jörg Pührer, Hans Tompits

Proceedings of the Correct Reasoning, 2012

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

Stepping through an Answer-Set Program.

Johannes Oetsch, Jörg Pührer, Hans Tompits

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 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

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 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

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

The SeaLion has Landed: An IDE for Answer-Set Programming - Preliminary Report.

Johannes Oetsch, Jörg Pührer, Hans Tompits

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

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

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

2010

Catching the Ouroboros: On debugging non-ground answer-set programs.

Johannes Oetsch, Jörg Pührer, Hans Tompits

Theory Pract. Log. Program., 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

F-Logic#: Loosely Coupling F-Logic Rules and Ontologies.

Stijn Heymans, Roman Korf, Michael Erdmann, Jörg Pührer, Thomas Eiter

Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence, 2010

Methods and Methodologies for Developing Answer-Set Programs - Project Description.

Johannes Oetsch, Jörg Pührer, Hans Tompits

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs.

Jörg Pührer, Stijn Heymans, Thomas Eiter

Proceedings of the Semantic Web: Research and Applications, 2010

On Testing Answer-Set Programs.

Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits

Proceedings of the ECAI 2010, 2010

2009

Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection.

Jörg Pührer, Hans Tompits

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

2008

Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence.

Jörg Pührer, Hans Tompits, Stefan Woltran

Proceedings of the Logic Programming, 24th International Conference, 2008

A Meta-Programming Technique for Debugging Answer-Set Programs.

Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

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

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2007

Debugging ASP Programs by Means of ASP.

Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007