Johannes Peter Wallner


portrait

Address Graz University of Technology
Faculty of Computer Science and Biomedical Engineering
Institute of Software Technology
Inffeldgasse 16b/II
8010 Graz, Austria
Mail mail address
TU Graz online personal entry
Page@institute personal page
Group page KRR

A reminder

"The choices and actions implemented in this decade will have impacts now and for thousands of years (high confidence)."

IPCC, 2023: Summary for Policymakers. In: Climate Change 2023: Synthesis Report.
Core Writing Team, H. Lee and J. Romero (eds.).


Contents

About me

I am a member of the Institute of Software Technology, Faculty of Computer Science and Biomedical Engineering, at Graz University of Technology. I am currently in the progress of building up a research group (link: KRR). Previously, I was a researcher in the DBAI group of the institute of Logic and Computation, TU Wien and a member of the Constraint Reasoning and Optimization group at the University of Helsinki, Computer Science Department.

TU Graz

HIIT

DBAI

FWF

Before working at universities, I had several internships at Siemens PSE, working with software testing and configuration management tools.

More details can be found in my CV

 http://orcid.org/0000-0002-3051-1966

Professional Activities

Member of the program committee (PC) of, or reviewer for

Member of the Program Committee Board of IJCAI (2022-2024).

Invitations

Organization activities

Member of the editorial board of Argument and Computation.

Member of the steering committee of ICCMA.

Fifth place for solving JELIA'23 puzzle.

Research Interests

Knowledge representation and reasoning, artificial intelligence, argumentation, abduction, belief change, inconsistency handling and measurement, computational social choice, computational complexity, Boolean satisfiability, and answer set programming.

Teaching

For Bachelor's or Master's thesis, see topics.

Software

I contributed to the (theory of the) following systems.

Publications and Presentations

See also: [ Google Scholar | DBLP | profile@TU Graz ]

2024

[89] A Semantical Approach to Abstraction in Answer Set Programming and Assumption-based Argumentation
Iosif Apostolakis, Zeynep G. Saribatur, and Johannes P. Wallner.
In Carmine Dodaro, Gopal Gupta, and Maria Vanina Martinez, editors, Proceedings of the 17th International Conference on Logic Programming and Non-monotonic Reasoning, LPNMR 2024, pages 228-234, Dallas, USA, 2024
DOI | accepted manuscript ]
[88] Advancing Algorithmic Approaches to Probabilistic Argumentation under the Constellation Approach
Andrei Popescu and Johannes P. Wallner.
In Pierre Marquis, Magdalena Ortiz, and Maurice Pagnucco, editors, Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024, pages 585-596, 2024
DOI ]
[87] Abstraction in Assumption-based Argumentation
Iosif Apostolakis, Zeynep G. Saribatur, and Johannes P. Wallner.
In Pierre Marquis, Magdalena Ortiz, and Maurice Pagnucco, editors, Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024, pages 49-59, 2024
DOI ]
[86] Complexity Results and Algorithms for Preferential Argumentative Reasoning in ASPIC+
Tuomo Lehtonen, Daphne Odekerken, Johannes P. Wallner, and Matti Järvisalo.
In Pierre Marquis, Magdalena Ortiz, and Maurice Pagnucco, editors, Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024, pages 520-530, 2024
DOI ]
[85] Computational Argumentation: Reasoning, Dynamics, and Supporting Explainability (extended abstract)
Johannes P. Wallner.
In Kate Larson, editor, Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI 2024, pages 8583-8588, Jeju, South Korea, August 2024
DOI ]
[84] Complexity of Semi-Stable Semantics in Abstract Dialectical Frameworks
Atefeh Keshavarzi Zafarghandi and Johannes P. Wallner.
In Chris Reed, Matthias Thimm, and Tjitze Rienstra, editors, Proceedings of the Tenth International Conference on Computational Models of Argument, COMMA 2024, pages 109-120, 2024.
DOI ]
[83] On Computing Admissibility in ABA
Tuomo Lehtonen, Anna Rapberger, Francesca Toni, Markus Ulbricht, and Johannes P. Wallner.
In Chris Reed, Matthias Thimm, and Tjitze Rienstra, editors, Proceedings of the Tenth International Conference on Computational Models of Argument, COMMA 2024, pages 121-132, 2024.
DOI ]
[82] Value-based Reasoning in ASPIC+
Johannes P. Wallner, Adam Wyner, and Tomasz Zurek.
In Chris Reed, Matthias Thimm, and Tjitze Rienstra, editors, Proceedings of the Tenth International Conference on Computational Models of Argument, COMMA 2024, pages 325-336, 2024.
DOI ]
[81] Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation
Tuomo Lehtonen, Anna Rapberger, Francesca Toni, Markus Ulbricht, and Johannes P. Wallner.
In Kate Larson, editor, Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI 2024, pages 3457-3465, Jeju, South Korea, August 2024
DOI ]
[80] Ranking Transition-based Medical Recommendations using Assumption-based Argumentation
Kenneth Skiba, Matthias Thimm, and Johannes P. Wallner.
In Philipp Cimiano, Anette Frank, Michael Kohlhase, and Benno Stein editors, Proceedings of the First International Conference on Recent Advances in Robust Argumentation Machines, RATIO 2024, pages 202-220, 2024
DOI ]
[79] Abstracting Assumptions in Structured Argumentation (extended abstract)
Iosif Apostolakis, Zeynep G. Saribatur, and Johannes P. Wallner.
In Mehdi Dastani, Jaime Simão Sichman, Natasha Alechina, and Virginia Dignum, editors, Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2024, pages 2132-2134, 2024
link ]
[78] Computational Aspects of Formal Argumentation
Johannes P. Wallner.
Habilitation thesis, TU Graz, 2024.

2023

[77] Ranking-based Semantics for Assumption-based Argumentation
Kenneth Skiba, Matthias Thimm, and Johannes P. Wallner.
In Christoph Beierle, Kai Sauerwald, François Schwarzentruber, and Frieder Stolzenburg, editors, Proceedings of the 9th Workshop on Formal and Cognitive Reasoning, FCR 2023, pages 44-52, 2023
proceedings ]
[76] Reasoning in Assumption-based Argumentation using Tree-decompositions
Andrei Popescu and Johannes P. Wallner.
In Sarah Gaggl, Vanina Martinez, and Magdalena Ortiz, editors, Proceedings of the 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, pages 192-208, Dresden, Germany, 2023
DOI | system (and more details) ]
[75] Argumentation Frameworks induced by Assumption-based Argumentation: Relating Size and Complexity
Tuomo Lehtonen, Anna Rapberger, Markus Ulbricht, and Johannes P. Wallner.
In Pierre Marquis, Tran Cao Son, and Gabriele Kern-Isberner, editors, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, pages 440-450, 2023
DOI | pdf with supplement ]
[74] Argumentative Reasoning in ASPIC+ under Incomplete Information
Daphne Odekerken, Tuomo Lehtonen, AnneMarie Borg, Johannes P. Wallner, and Matti Järvisalo.
In Pierre Marquis, Tran Cao Son, and Gabriele Kern-Isberner, editors, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, pages 531-541, 2023
DOI ]

2022

[73] Proceedings of The Fourth International Workshop on Systems and Algorithms for Formal Argumentation
Sarah A. Gaggl, Jean-Guy Mailly, Matthias Thimm, and Johannes P. Wallner, editors.
CEUR Workshop Proceedings.
URN | workshop website ]
[72] Algorithms for Reasoning in a Default Logic Instantiation of Assumption-Based Argumentation
Tuomo Lehtonen, Johannes P. Wallner, and Matti Järvisalo.
In Francesca Toni, Sylwia Polberg, Richard Booth, Martin Caminada, and Hiroyuki Kido, editors, Proceedings of the Ninth International Conference on Computational Models of Argument, COMMA 2022, pages 236-247, 2022.
DOI ]
[71] Strongly Accepting Subframeworks: Connecting Abstract and Structured Argumentation
Markus Ulbricht and Johannes P. Wallner.
In Francesca Toni, Sylwia Polberg, Richard Booth, Martin Caminada, and Hiroyuki Kido, editors, Proceedings of the Ninth International Conference on Computational Models of Argument, COMMA 2022, pages 320-331, 2022.
DOI ]
[70] Representing Abstract Dialectical Frameworks with Binary Decision Diagrams
Stefan Ellmauthaler, Sarah A. Gaggl, Dominik Rusovac, and Johannes P. Wallner.
In Georg Gottlob, Daniela Inclezan, Marco Maratea, editors, Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning, LPNMR 2022, pages 177-189, Genova Nervi, Italy, 2022
DOI | system demo (at COMMA'22) ]
[69] Argumentation Frameworks induced by Assumption-based Argumentation: Relating Size and Complexity
Anna Rapberger, Markus Ulbricht, and Johannes P. Wallner.
In Ofer Arieli, Giovanni Casini, and Laura Giordano, editors, Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, pages 92-103, 2022
proceedings ]
[68] Computing Stable Conclusions under the Weakest-Link Principle in the ASPIC+ Argumentation Formalism
Tuomo Lehtonen, Johannes P. Wallner, and Matti Järvisalo.
In Gabriele Kern-Isberner, Gerhard Lakemeyer, and Thomas Meyer, editors, Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, pages 215-225, 2022
DOI | pdf with supplement ]
[67] Advanced Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving
Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes P. Wallner, and Stefan Woltran.
Artificial Intelligence, Vol. 307, 103697.
DOI ]
[66] An Axiomatic Approach to Revising Preferences
Adrian Haret and Johannes P. Wallner.
In Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, pages 5676-5683, February 2022.
DOI ]

2021

[65] An AGM Approach to Revising Preferences
Adrian Haret and Johannes P. Wallner.
In Leila Amgoud and Richard Booth, editors, Proceedings of the 19th International Workshop on Non-Monotonic Reasoning, NMR 2021, pages 41-50, 2021
[64] Harnessing Incremental ASP Solving for Reasoning in Assumption-Based Argumentation
Tuomo Lehtonen, Johannes P. Wallner, and Matti Järvisalo.
Theory and Practice of Logic Programming, Vol. 21(6), pp. 717-734. 2021.
DOI | arxiv ]
[63] Enforcement in Formal Argumentation
Ringo Baumann, Sylvie Doutre, Jean-Guy Mailly, and Johannes P. Wallner.
In Dov Gabbay, Massimiliano Giacomin, Guillermo R. Simari, and Matthias Thimm, editors, Handbook of Formal Argumentation, volume 2, chapter 8. 2021
handbook | chapter in the Journal of Applied Logics - IfCoLog Journal ]
[62] Existential Abstraction on Argumentation Frameworks via Clustering
Zeynep G. Saribatur and Johannes P. Wallner.
In Meghyn Bienvenu, Gerhard Lakemeyer, and Esra Erdem, editors, Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, pages 549-559, 2021
DOI | supplement ]
[61] Declarative Algorithms and Complexity Results for Assumption-Based Argumentation
Tuomo Lehtonen, Johannes P. Wallner, and Matti Järvisalo.
Journal of Artificial Intelligence Research, Vol. 71, pp. 265-318. 2021.
DOI | conference version: [47] ]
[60] Ranking Sets of Defeasible Elements in Preferential Approaches to Structured Argumentation: Postulates, Relations, and Characterizations
Jan Maly and Johannes P. Wallner.
In Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, pages 6435-6443, February 2021.
link ]
[59] Strong Explanations in Abstract Argumentation
Markus Ulbricht and Johannes P. Wallner.
In Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, pages 6496-6504, February 2021.
link ]

2020

[58] Labelling-based Algorithms for SETAFs
Wolfgang Dvořák, Anna Rapberger, and Johannes P. Wallner.
In Sarah A. Gaggl, Matthias Thimm, and Mauro Vallati, editors, Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation, SAFA 2020, pages 34-46, 2020.
.pdf ]
[57] Computing Strongly Admissible Sets
Wolfgang Dvořák and Johannes P. Wallner.
In Henry Prakken, Stefano Bistarelli, Francesco Santini, and Carlo Taticchi, editors, Proceedings of the Eighth International Conference on Computational Models of Argument, COMMA 2020, pages 179-190, 2020.
DOI | .pdf ]
[56] The ASPARTIX system suite (system demo)
Wolfgang Dvořák, Sarah A. Gaggl, Anna Rapberger, Johannes P. Wallner, and Stefan Woltran.
In Henry Prakken, Stefano Bistarelli, Francesco Santini, and Carlo Taticchi, editors, Proceedings of the Eighth International Conference on Computational Models of Argument, COMMA 2020, pages 461-462, 2020.
DOI | .pdf ]
[55] An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework
Tuomo Lehtonen, Johannes P. Wallner, and Matti Järvisalo.
In Diego Calvanese, Esra Erdem, and Michael Thielscher, editors, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, pages 636-646, 2020
DOI ]
[54] Explaining Non-Acceptability in Abstract Argumentation
Zeynep G. Saribatur, Johannes P. Wallner, and Stefan Woltran.
In Giuseppe De Giacomo, Alejandro Catala, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugarín, and Jérôme Lang, editors, Proceedings of the 24th European Conference on Artificial Intelligence, ECAI 2020, pages 881-888, 2020.
DOI | .pdf ]
[53] ASPARTIX-V19 - An Answer-set Programming based System for Abstract Argumentation
Wolfgang Dvořák, Anna Rapberger, Johannes P. Wallner, and Stefan Woltran.
In Andreas Herzig and Juha Kontinen, editors, Proceedings of the Eleventh International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020, pages 79-89, Dortmund, Germany, 2020
DOI ]
[52] Proportional Belief Merging
Adrian Haret, Martin Lackner, Andreas Pfandler, and Johannes P. Wallner.
In Vincent Conitzer and Fei Sha, editors, Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, pages 2822-2829, New york, USA, February 2020
DOI | .pdf ]
[51] Structural Constraints for Dynamic Operators in Abstract Argumentation
Johannes P. Wallner.
Argument & Computation. Vol. 11(1-2), pp. 151-190. 2020
DOI | conference version: [43] ]

2019

[50] Synthesizing Argumentation Frameworks from Examples
Andreas Niskanen, Johannes P. Wallner, and Matti Järvisalo.
Journal of Artificial Intelligence Research, Vol. 66, pp. 503-554. 2019
DOI | conference version: [32] ]
[49] On the complexity of inconsistency measurement
Matthias Thimm and Johannes P. Wallner.
Artificial Intelligence, Vol. 275, pp. 411-456. 2019
DOI | conference version: [29] ]
[48] Manipulating Skeptical and Credulous Consequences when Merging Beliefs
Adrian Haret and Johannes P. Wallner.
In Francesco Calimeri, Nicola Leone, and Marco Manna, editors, Proceedings of the 16th European Conference on Logics in Artificial Intelligence, JELIA 2019, pages 133-150, Rende, Italy, 2019
DOI | technical report (with proof details) ]
[47] Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings
Tuomo Lehtonen, Johannes P. Wallner, and Matti Järvisalo.
In Pascal Van Hentenryck and Zhi-Hua Zhou, editors, Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, pages 2938-2945, Honolulu, Hawaii USA, January 2019
DOI | web | .pdf ]

2018

[46] Applications of ASP in Formal Argumentation
Martin Diller, Wolfgang Dvořák, Jörg Pührer, Johannes P. Wallner, and Stefan Woltran.
Presented at the TAASP 2018 workshop.
.pdf ]
[45] Manipulation of Semantic Aggregation Procedures for Propositional Knowledge Bases and Argumentation Frameworks
Adrian Haret and Johannes P. Wallner
In Eduardo Fermé and Serena Villata, editors, Proceedings of the 17th International Workshop on Non-monotonic Reasoning, NMR 2018, pages 146-155, Tempe, USA, October 2018
proceedings ]
[44] Extension Enforcement under Grounded Semantics in Abstract Argumentation
Andreas Niskanen, Johannes P. Wallner, and Matti Järvisalo
In Michael Thielscher, Francesca Toni, and Frank Wolter, editors, Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning, KR 2018, pages 178-183, Tempe, USA, October 2018
url | .pdf ]
[43] Structural Constraints for Dynamic Operators in Abstract Argumentation
Johannes P. Wallner.
In Sanjay Modgil, Katarzyna Budzynska, John Lawrence, editors, Proceedings of the 7th International Conference on Computational Models of Argument, COMMA 2018, pages 73-84, Warsaw, Poland, September 2018
DOI | .pdf ]
[42] Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving
Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes P. Wallner, and Stefan Woltran.
In Jérôme Lang, editor, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, pages 1905-1911, Stockholm, Sweden, July 2018
DOI | system page | .pdf ]
[41] Two Sides of the Same Coin: Belief Revision and Enforcing Arguments
Adrian Haret, Johannes P. Wallner, and Stefan Woltran.
In Jérôme Lang, editor, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, pages 1854-1860, Stockholm, Sweden, July 2018
DOI | .pdf ]
[40] Weighted Abstract Dialectical Frameworks
Gerhard Brewka, Hannes Strass, Johannes P. Wallner, and Stefan Woltran.
In Sheila A. McIlraith and Kilian Q. Weinberger, editors, Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, AAAI 2018, pages 1779-1786, New Orleans, Louisiana, USA, February 2018
extended and revised version | arXiv ]
[39] Foundations of Implementations for Formal Argumentation
Federico Cerutti, Sarah A. Gaggl, Matthias Thimm and Johannes P. Wallner.
In Pietro Baroni, Dov Gabbay, Massimiliano Giacomin and Leendert van der Torre, editors, Handbook of Formal Argumentation, chapter 14, pages 688-767. 2018
handbook | chapter in IfCoLog | .pdf ]
[38] Abstract Dialectical Frameworks. An Overview
Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes P. Wallner, and Stefan Woltran.
In Pietro Baroni, Dov Gabbay, Massimiliano Giacomin and Leendert van der Torre, editors, Handbook of Formal Argumentation, chapter 5, pages 237-285. 2018
handbook | chapter in IfCoLog | .pdf ]
[37] Abstract Solvers for Dung's Argumentation Frameworks
Rémi Brochenin, Thomas Linsbichler, Marco Maratea, Johannes P. Wallner, and Stefan Woltran.
Argument and Computation, Vol. 9(1), pp. 41-72. 2018
DOI | .pdf | workshop version: [26] ]

2017

[36] Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation
Johannes P. Wallner, Andreas Niskanen, and Matti Järvisalo.
Journal of Artificial Intelligence Research, Vol. 60, pp. 1-40. 2017
DOI | .pdf | conference version: [28] ]
[35] From Structured to Abstract Argumentation: Assumption-Based Acceptance via AF Reasoning
Tuomo Lehtonen, Johannes P. Wallner, and Matti Järvisalo.
In Alessandro Antonucci, Laurence Cholvy, and Odile Papini, editors, Proceedings of the 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2017, pages 57-68, Lugano, Switzerland, July 2017
DOI | .pdf ]
[34] Preliminary Report on Complexity Analysis of Extension-Based Semantics of Abstract Dialectical Frameworks
Sylwia Polberg and Johannes P. Wallner.
Technical report DBAI-TR-2017-103, Institute of Logic and Computation, TU Wien, 2017
technical report ]

2016

[33] Pakota: A System for Enforcement in Abstract Argumentation
Andreas Niskanen, Johannes P. Wallner, and Matti Järvisalo.
In Loizos Michael and Antonis C. Kakas, editors, Proceedings of the 15th European Conference on Logics in Artificial Intelligence, JELIA 2016, pages 385-400, Larnaca, Cyprus, November 2016
DOI | system page ]
[32] Synthesizing Argumentation Frameworks from Examples
Andreas Niskanen, Johannes P. Wallner, and Matti Järvisalo.
In Gal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum, and Frank van Harmelen, editors, Proceedings of the Twenty-Second European Conference on Artificial Intelligence, ECAI 2016, pages 551-559, The Hague, The Netherlands, August 2016
DOI | system page ]
[31] Optimal Status Enforcement in Abstract Argumentation
Andreas Niskanen, Johannes P. Wallner, and Matti Järvisalo.
In Subbarao Kambhampati, editor, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, pages 1216-1222, New York, USA, July 2016
paper | .pdf (with formal proofs) | system page ]
[30] Implicit Hitting Set Algorithms for Reasoning Beyond NP
Paul Saikko, Johannes P. Wallner, and Matti Järvisalo.
In Chitta Baral, James P. Delgrande and Frank Wolter, editors, Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning, KR 2016, pages 104-113, Cape Town, South Africa, April 2016
paper | .pdf (with formal proofs) | system page ]
[29] Some Complexity Results on Inconsistency Measurement
Matthias Thimm and Johannes P. Wallner.
In Chitta Baral, James P. Delgrande and Frank Wolter, editors, Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning, KR 2016, pages 114-124, Cape Town, South Africa, April 2016
paper ]
[28] Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation
Johannes P. Wallner, Andreas Niskanen, and Matti Järvisalo.
In Dale Schuurmans and Michael P. Wellman, editors, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, AAAI 2016, pages 1088-1094, Phoenix, Arizona, USA, February 2016
paper | system page ]

2015

[27] Improved Answer-Set Programming Encodings for Abstract Argumentation
Sarah A. Gaggl, Norbert Manthey, Alessandro Ronca, Johannes P. Wallner, and Stefan Woltran.
Theory and Practice of Logic Programming, Vol. 15(4-5), pp 434--448. 2015
DOI | arXiv | technical report | system page ]
[26] Abstract Solvers for Dung's Argumentation Frameworks
Rémi Brochenin, Thomas Linsbichler, Marco Maratea, Johannes P. Wallner, and Stefan Woltran.
In Elizabeth Black, Sanjay Modgil, and Nir Oren, editors, Proceedings of the Third Workshop on Theory and Applications of Formal Argumentation, TAFA 2015, revised selected papers, pages 40-58, 2015
DOI ]
[25] Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory
Hannes Strass and Johannes P. Wallner.
Artificial Intelligence, Vol. 226, pp. 34-74. 2015
DOI | conference version: [17] ]
[24] Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract)
Wolfgang Dvořák, Matti Järvisalo, Johannes P. Wallner, and Stefan Woltran.
In Qiang Yang and Michael Wooldridge, editors, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, pages 4173-4177, Buenos Aires, Argentina, July 2015
abstract | extended abstract of [16] ]
[23] On the Parameterized Complexity of Belief Revision
Andreas Pfandler, Stefan Rümmele, Johannes P. Wallner, and Stefan Woltran.
In Qiang Yang and Michael Wooldridge, editors, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, pages 3149-3155, Buenos Aires, Argentina, July 2015
paper ]
[22] Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas
Martin Diller, Johannes P. Wallner, and Stefan Woltran.
Argument and Computation, Vol. 6(2), pp. 149-177. 2015
DOI | conference version: [18] ]
[21] Methods for solving reasoning problems in abstract argumentation - a survey
Günther Charwat, Wolfgang Dvořák, Sarah A. Gaggl, Johannes P. Wallner, and Stefan Woltran.
Artificial Intelligence, Vol. 220, pp. 28-63. 2015
DOI | technical report (earlier version) ]
[20] Reduction-based Approaches to Implement Modgil's Extended Argumentation Frameworks
Wolfgang Dvořák, Sarah A. Gaggl, Thomas Linsbichler, and Johannes P. Wallner.
In Thomas Eiter, Hannes Strass, Mirosław Truszczyński and Stefan Woltran, editors, Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation. Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, pages 249-264. 2015
DOI | system page ]

2014

[19] Complexity Results and Algorithms for Argumentation - Dung's Frameworks and Beyond
Johannes P. Wallner.
PhD thesis, supervised by Stefan Woltran and Georg Weissenbacher, TU Wien, Institute of Information Systems, 2014.
thesis ]
[18] Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas
Martin Diller, Johannes P. Wallner, and Stefan Woltran.
In Proceedings of the 5th International Conference on Computational Models of Argument, COMMA 2014, pages 241-252, Pitlochry, Scotland, United Kingdom, September 2014
DOI | system page ]
[17] Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory
Hannes Strass, and Johannes P. Wallner.
In Chitta Baral, Giuseppe De Giacomo and Thomas Eiter, editors, Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning, KR 2014, pages 101-110, Vienna, Austria, July 2014
paper | technical report (URN) ]
[16] Complexity-Sensitive Decision Procedures for Abstract Argumentation
Wolfgang Dvořák, Matti Järvisalo, Johannes P. Wallner, and Stefan Woltran.
Artificial Intelligence, Vol. 206, pp. 53-78. 2014
DOI | conference version: [3] ]

2013

[15] Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems
Wolfgang Dvořák, Sarah A. Gaggl, Johannes P. Wallner, and Stefan Woltran.
In Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, and Armin Wolf, editors, Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2011, revised selected papers, pages 114-133, 2013
DOI | conference version: [2] ]
[14] Student Session: Advanced Procedures for Hard Problems in Abstract Argumentation
Johannes P. Wallner.
Student session ACAI 2013
paper ]
[13] Advanced SAT Techniques for Abstract Argumentation
Johannes P. Wallner, Georg Weissenbacher, and Stefan Woltran.
In João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre and Stefan Woltran, editors, Proceedings of the Fourteenth International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV, pages 138-154, Corunna, Spain, September 2013
DOI | system page ]
[12] Admissibility in the Abstract Dialectical Framework
Sylwia Polberg, Johannes P. Wallner, and Stefan Woltran.
In João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre and Stefan Woltran, editors, Proceedings of the Fourteenth International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV, pages 102-118, Corunna, Spain, September 2013
DOI ]
[11] On the relation between SPARQL1.1 and Answer Set Programming
Axel Polleres and Johannes P. Wallner.
Journal of Applied Non-Classical Logics. Vol. 23(1-2), pp. 159-212. 2013. Special issue on Equilibrium Logic and Answer Set Programming.
DOI | technical report ]
[10] ARVis: Visualizing Relations between Answer Sets
Thomas Ambroz, Günther Charwat, Andreas Jusits, Johannes P. Wallner, and Stefan Woltran.
In Pedro Cabalar and Tran Cao Son, editors, Proceedings of the Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013, pages 73-78, Corunna, Spain, September 2013
DOI | system page ]
[9] 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 K. Spendier, Johannes P. Wallner, and Guohui Xiao
In Pedro Cabalar and Tran Cao Son, editors, Proceedings of the Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013, pages 42-53, Corunna, Spain, September 2013
DOI | 4th ASP Competition webpage ]
[8] VCWC: A Versioning Competition Workflow Compiler
Günther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara K. Spendier, Johannes P. Wallner, and Guohui Xiao
In Pedro Cabalar and Tran Cao Son, editors, Proceedings of the Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013, pages 233-238, Corunna, Spain, September 2013
DOI | 4th ASP Competition webpage ]
[7] Abstract Dialectical Frameworks Revisited
Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes P. Wallner, and Stefan Woltran.
In Francesca Rossi, editor, Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI 2013, pages 803-809, Beijing, China, August 2013
paper ]

2012

[6] Utilizing ASP for Generating and Visualizing Argumentation Frameworks
Günther Charwat, Johannes P. Wallner, and Stefan Woltran.
In Michael Fink and Yuliya Lierler, editors, Proceedings of the Fifth Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2012, pages 51-65, Budapest, Hungary, September 2012
paper | arXiv system page ]
[5] CEGARTIX: A SAT-Based Argumentation System
Wolfgang Dvořák, Matti Järvisalo, Johannes P. Wallner, and Stefan Woltran.
presented at the PoS 2012 workshop
system page | .pdf ]
[4] Evaluating Abstract Dialectical Frameworks with ASP (demonstration extended abstract)
Stefan Ellmauthaler and Johannes P. Wallner.
In Bart Verheij, Stefan Szeider, and Stefan Woltran, editors, Proceedings of the Fourth International Conference on Computational Models of Argument, COMMA 2012, volume 245 of Frontiers in Artificial Intelligence and Applications, pages 505-506, Vienna, Austria, September 2012.
extended abstract (DOI) | system page ]
[3] Complexity-Sensitive Decision Procedures for Abstract Argumentation
Wolfgang Dvořák, Matti Järvisalo, Johannes P. Wallner, and Stefan Woltran.
In Gerhard Brewka, Thomas Eiter, and Sheila A. McIlraith, editors, Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning, KR 2012, pages 54-64, Rome, Italy, June 2012
paper ]

2011

[2] Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems
Wolfgang Dvořák, Sarah A. Gaggl, Johannes P. Wallner, and Stefan Woltran.
In Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Hans Tompits, Masanobu Umeda, and Armin Wolf, editors, Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2011, pages 117-130, Vienna, Austria, September 2011
paper | technical report | proceedings ]

2010

[1] A hybrid approach for model-based random testing
Stefan Mohacsi and Johannes P. Wallner.
In Lydie du Bousque, Juho Perälä and Pascal Lorenz, editors, Proceedings of the Second International Conference on Advances in System Testing and Validation Lifecycle, VALID 2010, pages 10-15, Nice, France, August 2010
DOI ]

Submissions for competitions

k-Solutions: A Solver for the Dynamic Track of ICCMA 2023
Christian Pasero and Johannes P. Wallner.
ICCMA 2023 solver submission
system description | system ]
A Tool for Reasoning in Assumption-based Argumentation using Tree-decompositions
Andrei Popescu and Johannes P. Wallner.
ICCMA 2023 solver submission
system description | system ]
AcbAr - Atomic-based Argumentation Solver
Tuomo Lehtonen, Anna Rapberger, Markus Ulbricht, and Johannes P. Wallner.
ICCMA 2023 solver submission
system description | system ]
ASPforABA - ASP-based Algorithms for Reasoning in ABA
Tuomo Lehtonen, Johannes P. Wallner, and Matti Järvisalo.
ICCMA 2023 solver submission
system description | system ]
CEGARTIX v2017-3-13: A SAT-Based Counter-Example Guided Argumentation Reasoning Tool
Wolfgang Dvořák, Matti Järvisalo, and Johannes P. Wallner.
ICCMA 2017 solver submission
system description | download ]
Assumption-Based Argumentation Translated to Argumentation Frameworks
Tuomo Lehtonen, Johannes P. Wallner, and Matti Järvisalo.
ICCMA 2017 benchmark submission
download | description ]
CEGARTIX v0.4: A SAT-Based Counter-Example Guided Argumentation Reasoning Tool
Wolfgang Dvořák, Matti Järvisalo, Johannes P. Wallner, and Stefan Woltran.
ICCMA 2015 solver submission
system description (arXiv) | download | honorable mention ]
ASPARTIX-V: Utilizing Improved ASP Encodings
Alessandro Ronca, Johannes P. Wallner, and Stefan Woltran.
ICCMA 2015 solver submission
system page ]
Benchmark for Complete and Stable Semantics for Argumentation Frameworks
Johannes P. Wallner.
SAT competition 2014 benchmark submission
download | description ]
Abstract Dialectical Frameworks Well-founded Model
Stefan Ellmauthaler and Johannes P. Wallner.
ASP competition 2013 benchmark submission
download ]

Valid CSS! Valid XHTML 1.0 Transitional