Johannes Peter Wallner
| Address | Graz University of Technology Faculty of Computer Science and Biomedical Engineering Institute of Software Technology Inffeldgasse 16b/II 8010 Graz, Austria |
|---|---|
 |
|
| 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)."
ContentsAbout meI 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. |
   
|
|
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 |
Professional Activities
Member of the program committee (PC) of
- 2024: AAAI, IJCAI, UAI, ECAI, LPNMR, COMMA, PADL, SAC (KRR track), ArgXAI, SAFA,
- 2023: AAAI, IJCAI, KR, ECAI, JELIA, SAC (KRR), ASPOCP, RCRA, ArgXAI, FCR,
- 2022: IJCAI, KR, UAI, COMMA, LPNMR, SAC (KRR track), RCRA,
- 2021: AAAI, IJCAI (senior PC), KR, UAI, SAC (KRR track),
- 2020: AAAI, IJCAI, KR, ECAI, SAC, COMMA, SAFA, STAIRS, ASPOCP,
- 2019: AAAI, IJCAI, AAMAS, LPNMR, SAC (KRR track), ASPOCP, RCRA,
- 2018: AAAI, IJCAI, KR, COMMA, SAFA, RCRA
- 2017: IJCAI, IEA/AIE (AppArg track), RCRA, TAFA,
- 2016: IJCAI (main track), COMMA, RCRA, SAFA, TAASP,
- 2015: IJCAI (KR track), and RCRA.
Member of the Program Committee Board of IJCAI (2022-2024).
Organization activities
- Co-Chair of the Doctoral Consortium at KR 2024.
- Member of the local arrangements committee of IJCAI 2022 (part of the workshop and tutorial coordinators).
- Co-organizer of the workshop on Recent Advances in Collaborative and Argumentative Decision-Making.
- Co-organizer of the fourth international workshop on systems and algorithms for formal argumentation (SAFA 2022).
- Co-organizer of the workshop on New Trends in Formal Argumentation 2017.
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
A Bachelor's or Master's thesis can be started anytime, see topics.
- Logic-based Knowledge Representation (TU Graz)
[ 2022 | 2023 | 2024 (planned) ] - Intelligent Systems (TU Graz)
[ 2025 (planned) ] - Basics in Artificial Intelligence and Logic (TU Graz)
[ 2021 | 2022 | 2023 | 2024 | 2025 (planned) ] - Foundations of Computer Science (TU Graz, FH Joanneum, FH Campus 02)
[ 2022 | 2023 | 2024 (planned) ] - Data Base Systems (TU Wien)
[ 2020 ] - Scientific Writing for MSc in Computer Science (University of Helsinki)
[ 2016 ] - Seminar on Computational Social Choice (University of Helsinki)
[ 2016 ] - Seminar on Tractability (University of Helsinki)
[ 2015 ] - Abstract Argumentation (TU Wien)
[ 2012 | 2014 | 2017 | 2018 | 2019 ]
Software
I contributed to the (theory of the) following systems.
- CEGARTIX: a SAT-based argumentation system for argumentation frameworks
- Vispartix: a visualization of argumentation frameworks generated from knowledge bases (using the software ARVis)
- ADFsys: an ASP-based argumentation system for abstract dialectical frameworks
- SAT-based argumentation systems: software using SAT-extensions for argumentation frameworks
- QADF: QBF-based implementation of ADF semantics
- GERD: Genteel Extended argumentation Reasoning Device, an ASP-based system for computing extensions of EAFs
- Pakota: MaxSAT and IP based implementation for extension and status enforcement for abstract argumentation
- AbHS: A propositional abduction solver based on the implicit hitting set paradigm
- AFSynth: AF synthesis via MaxSAT
- aba2af: system for reasoning about acceptance in assumption-based argumentation via argumentation frameworks
- k++ADF: a SAT-based reasoner for abstract dialectical frameworks
- ASPARTIX: ASP-based system for reasoning in argumentation frameworks
- ASP for ABA: ASP-based system for reasoning tasks in assumption-based argumentation
- AcbAr: a solver for assumption-based argumentation instantiating optimized AFs
- ASTRA: a solver for reasoning in assumption-based argumentation based on tree-decompositions (requires D-FLAT)
Publications and Presentations
See also: [ Google Scholar | DBLP | profile@TU Graz ]2024 | |
| [79] |
Abstracting Assumptions in Structured Argumentation Iosif Apostolakis, Zeynep G. Saribatur, and Johannes P. Wallner. Accepted to AAMAS'24 as extended abstract |
| [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 ] |
