TU Home
This publication list has been generated automatically from the publication data of the TU Vienna. Please invoke the page "Publications of the Faculty" directly for more complex searches and queries, or use the global search function of the Publication Database of the Vienna University of Technology!


Publication Database Home  

Publication list for
Johannes Peter Wallner
as author or essentially involved person

57 records (2011 - 2021)


Publications in Scientific Journals


  1. J. P. Wallner:
    "Structural Constraints for Dynamic Operators in Abstract Argumentation";
    Argument & Computation, 11 (2020), 1-2; 151 - 190.

    More information

  2. A. Niskanen, J. P. Wallner, M. Järvisalo:
    "Synthesizing Argumentation Frameworks from Examples";
    Journal of Artificial Intelligence Research, 66 (2019), 66; 503 - 554.

    More information

  3. M. Thimm, J. P. Wallner:
    "On the complexity of inconsistency measurement";
    Artificial Intelligence, 275 (2019), 411 - 456.

    More information

  4. R. Brochenin, T. Linsbichler, M. Maratea, J. P. Wallner, S. Woltran:
    "Abstract Solvers for Dung's Argumentation Frameworks";
    Argument & Computation, 9 (2018), 1; 41 - 72.

    More information

  5. G. Brewka, St. Ellmauthaler, H. Strass, J. P. Wallner, S. Woltran:
    "Abstract Dialectical Frameworks. An Overview";
    IfCoLog Journal of Logics and their Applications, 4 (2017), 8; 2263 - 2318.

    More information

  6. J. P. Wallner, A. Niskanen, M. Järvisalo:
    "Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation";
    Journal of Artificial Intelligence Research, 60 (2017), 1 - 40.

    More information

  7. G. Charwat, W. Dvorak, S. Gaggl, J. P. Wallner, S. Woltran:
    "Methods for solving reasoning problems in abstract argumentation - A survey";
    Artificial Intelligence, 220 (2015), 28 - 63.

    More information

  8. M. Diller, J. P. Wallner, S. Woltran:
    "Reasoning in Abstract Dialectical Frameworks using Quantified Boolean Formulas";
    Argument & Computation, 6 (2015), 2; 149 - 177.

    More information

  9. S. Gaggl, N. Manthey, A. Ronca, J. P. Wallner, S. Woltran:
    "Improved answer-set programming encodings for abstract argumentation";
    Theory and Practice of Logic Programming, 15 (2015), 4-5; 434 - 448.

    More information

  10. H. Strass, J. P. Wallner:
    "Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory";
    Artificial Intelligence, 226 (2015), 34 - 74.

    More information

  11. W. Dvorak, M. Järvisalo, J. P. Wallner, S. Woltran:
    "Complexity-Sensitive Decision Procedures for Abstract Argumentation";
    Artificial Intelligence, 206 (2014), 53 - 78.

    More information

  12. A. Polleres, J. P. Wallner:
    "On the relation between SPARQL1.1 and Answer Set Programming";
    Journal of Applied Non-Classical Logics (JANCL), 23 (2013), 1-2; 159 - 212.

    More information


Contributions to Books


  1. G. Brewka, St. Ellmauthaler, H. Strass, J. P. Wallner, S. Woltran:
    "Abstract Dialectical Frameworks";
    in: "Handbook of Formal Argumentation", P. Baroni, D.M. Gabbay, M. Giacomin, L. van der Torre (ed.); College Publications, http://www.collegepublications.co.uk/handbooks/, 2018, ISBN: 978-1-84890-275-6, 237 - 285.

    More information

  2. F. Cerutti, S. Gaggl, M. Thimm, J. P. Wallner:
    "Foundations of Implementations for Formal Argumentation";
    in: "Handbook of Formal Argumentation", P. Baroni, D.M. Gabbay, M. Giacomin, L. van der Torre (ed.); College Publications, 2018, ISBN: 978-1-84890-275-6, 688 - 767.

    More information

  3. W. Dvorak, S. Gaggl, T. Linsbichler, J. P. Wallner:
    "Reduction-based Approaches to Implement Modgil's Extended Argumentation Frameworks";
    in: "Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation. Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday", T. Eiter, H. Strass, M. Truszczynski, S. Woltran (ed.); issued by: Springer; Springer, 2015, ISBN: 978-3-319-14726-0, 249 - 264.

    More information


Contributions to Proceedings


  1. W. Dvorak, S. Gaggl, J. P. Wallner, S. Woltran:
    "Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems";
    in: "Applications of Declarative Programming and Knowledge Management", H. Tompits, S. Abreu, J. Oetsch, J. Puehrer, D. Seipel, M. Umeda, A. Wolf (ed.); Springer, 2013, ISBN: 978-3-642-41523-4, 114 - 133.


Talks and Poster Presentations (with Proceedings-Entry)


  1. J. Maly, J. P. Wallner:
    "Ranking Sets of Defeasible Elements in Preferential Approaches to Structured Argumentation: Postulates, Relations, and Characterizations";
    Talk: 35th AAAI 2021, virtual event; 02-02-2021 - 02-09-2021; in: "Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI} 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9, 2021", (2021), 6435 - 6443.

    More information

  2. W. Dvorak, S. Gaggl, A. Rapberger, J. P. Wallner, S. Woltran:
    "The ASPARTIX system suite";
    Talk: COMMA - International Conference on Computational Models of Argument, online; 09-08-2020 - 09-11-2020; in: "Proceedings COMMA", H. Prakken, S. Bistarelli, F. Santini, C. Taticchi (ed.); IOS Press, 326 (2020), ISBN: 978-1-64368-107-8; 461 - 462.

    More information

  3. W. Dvorak, A. Rapberger, J. P. Wallner:
    "Labelling-based Algorithms for SETAFs";
    Talk: Third International Workshop on Systems and Algorithms for Formal Argumentation, online; 09-08-2020; in: "Proceedings SAFA 2020", S. Gaggl, M. Thimm, M. Vallati (ed.); CEUR-WS.org, 2672 (2020), 34 - 46.

  4. W. Dvorak, J. P. Wallner:
    "Computing Strongly Admissible Sets";
    Talk: COMMA - International Conference on Computational Models of Argument, online; 09-08-2020 - 09-11-2020; in: "Proceedings COMMA", H. Prakken, S. Bistarelli, F. Santini, C. Taticchi (ed.); IOs Press, 2326 (2020), ISBN: 978-1-64368-107-8; 179 - 190.

    More information

  5. T. Lehtonen, J. P. Wallner, M. Järvisalo:
    "An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework";
    Talk: Principles of Knowledge Representation and Reasoning (KR), Rhodes, Greece (online); 09-08-2020 - 09-12-2020; in: "Proceedings KR", D. Calvanese, E. Erdem, M. Thielscher (ed.); IJCAI Organization, (2020), ISSN: 2334-1033; 636 - 646.

    More information

  6. Z. G. Saribatur, J. P. Wallner, S. Woltran:
    "Explaining Non-Acceptability in Abstract Argumentation";
    Talk: European Conference on Artificial Intelligence (ECAI), Santiago de Compostela, Spain; 06-08-2020 - 06-12-2020; in: "Proceedings ECAI", G. De Giacomo (ed.); IOS Press, 325 (2020), ISBN: 978-1-64368-101-6; 881 - 888.

    More information

  7. W. Dvorak, A. Rapberger, J. P. Wallner, S. Woltran:
    "ASPARTIX-V19 - An Answer-set Programming based System for Abstract Argumentation";
    Talk: International Symposium on Foundations of Information and Knowledge Systems (FoIKS), Dortmund; 02-17-2020 - 02-20-2020; in: "Foundations of Information and Knowledge Systems", A. Herzig, J. Kontinen (ed.); Springer, 12012 (2020), 79 - 89.

    More information

  8. A. Haret, M. Lackner, A. Pfandler, J. P. Wallner:
    "Proportional Belief Merging";
    Talk: AAAI Conference, New York; 02-07-2020 - 02-12-2020; in: "Proceedings AAAI", V. Conitzer, F. Sha (ed.); AAAI Press, (2020), 2822 - 2829.

    More information

  9. A. Haret, J. P. Wallner:
    "Manipulating Skeptical and Credulous Consequences when Merging Beliefs";
    Talk: European Conference on Logics in Artificial Intelligence (JELIA), Rende, Italy; 05-08-2019 - 05-10-2019; in: "Proceedings JELIA", F. Calimeri, N. Leone, M. Manna (ed.); Springer, 11468 (2019), ISBN: 978-3-030-19570-0; 133 - 150.

    More information

  10. T. Lehtonen, J. P. Wallner, M. Järvisalo:
    "Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings";
    Talk: AAAI Conference, Honolulu, Hawaii; 01-27-2019 - 02-01-2019; in: "Proceedings AAAI 2019", P. Van Hentenryck, Z. Zhou (ed.); AAAI Press, (2019), 2938 - 2945.

    More information

  11. W. Dvorak, J. Pührer, J. P. Wallner, S. Woltran, M. Diller:
    "Application of ASP in formal argumentation";
    Talk: TAASP - Workshop on Trends and Applications of Answer Set Programming, Wien; 11-19-2018 - 11-20-2018; in: "2nd Workshop on Trends and Applications of Answer Set Programming (TAASP 2018)", (2018), 1 - 11.

    More information

  12. A. Niskanen, J. P. Wallner, M. Järvisalo:
    "Extension Enforcement under Grounded Semantics in Abstract Argumentation";
    Talk: Principles of Knowledge Representation and Reasoning (KR), Tempe, Arizona; 10-30-2018 - 11-02-2018; in: "Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning", M. Thielscher, F. Toni, F. Wolter (ed.); AAAI Press, (2018), 178 - 183.

    More information

  13. A. Haret, J. P. Wallner:
    "Manipulation of Semantic Aggregation Procedures for Propositional Knowledge Bases and Argumentation Frameworks";
    Talk: International Workshop on Non-Monotonic Reasoning (NMR), Tempe, Arizona; 10-27-2018 - 10-29-2018; in: "Proceedings of the 17th International Workshop on Non-monotonic Reasoning", E. Fermé, S. Villata (ed.); (2018), Paper ID 146, 10 pages.

    More information

  14. J. P. Wallner:
    "Structural Constraints for Dynamic Operators in Abstract Argumentation";
    Talk: COMMA - International Conference on Computational Models of Argument, Warschau; 09-11-2018 - 09-14-2018; in: "Computational Models of Argument", S. Modgil, K. Budzynska, J. Lawrence (ed.); IOS Press, 305 (2018), ISBN: 978-1-61499-905-8; 73 - 84.

    More information

  15. A. Haret, J. P. Wallner, S. Woltran:
    "Two Sides of the Same Coin: Belief Revision and Enforcing Arguments";
    Talk: International Joint Conference on Artificial Intelligence (IJCAI), Stockholm; 07-13-2018 - 07-19-2018; in: "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence", J. Lang (ed.); IJCAI, (2018), 1854 - 1860.

    More information

  16. T. Linsbichler, M. Maratea, A. Niskanen, J. P. Wallner, S. Woltran:
    "Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving";
    Talk: International Joint Conference on Artificial Intelligence (IJCAI), Stockholm; 07-13-2018 - 07-19-2018; in: "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence", J. Lang (ed.); IJCAI, (2018), 1905 - 1911.

    More information

  17. G. Brewka, H. Strass, J. P. Wallner, S. Woltran:
    "Weighted Abstract Dialectical Frameworks";
    Talk: AAAI Conference, New Orleans, Louisiana, USA; 02-02-2018 - 02-07-2018; in: "Proceedings AAAI 2018", S. McIlraith, K. Weinberger (ed.); AAAI Press, (2018), 1779 - 1786.

    More information

  18. T. Lehtonen, J. P. Wallner, M. Järvisalo:
    "From Structured to Abstract Argumentation: Assumption-Based Acceptance via AF Reasoning";
    Talk: European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), Lugano; 07-10-2017 - 07-14-2017; in: "Proceedings of Fourteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2017)", A. Antonucci, L. Cholvy, O. Papini (ed.); Springer, 10369 (2017), ISBN: 978-3-319-61580-6; 57 - 68.

    More information

  19. R. Brochenin, T. Linsbichler, M. Maratea, J. Wallner, S. Woltran:
    "Abstract Solvers for Dung's Argumentation Frameworks";
    Talk: The 2015 International Workshop on Theory and Applications of Formal Argument, Buenos Aires, Argentinien; 07-25-2015 - 07-26-2015; in: "Theory and Applications of Formal Argumentation", E. Black, S. Modgil, N. Oren (ed.); Lecture Notes in Computer Science, 9524 (2015), ISBN: 978-3-319-28459-0; 40 - 58.

    More information

  20. W. Dvorak, M. Järvisalo, J. Wallner, S. Woltran:
    "Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract)";
    Talk: International Joint Conference on Artificial Intelligence (IJCAI), Buenos Aires, Argentinien; 07-25-2015 - 07-31-2015; in: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015", (2015), 4173 - 4177.

  21. A. Pfandler, St. Rümmele, J. P. Wallner, S. Woltran:
    "On the Parameterized Complexity of Belief Revision";
    Talk: Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina; 07-25-2015 - 07-31-2015; in: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence - IJCAI 2015", Q. Yang, M. Wooldridge (ed.); AAAI Press, (2015), ISBN: 978-1-57735-738-4; 3149 - 3155.

    More information

  22. M. Diller, J. P. Wallner, S. Woltran:
    "Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas";
    Talk: COMMA - International Conference on Computational Models of Argument, Pitlochry, Scotland, United Kingdom; 09-09-2014 - 09-12-2014; in: "Computational Models of Argument", IOS Press, 266 (2014), ISSN: 1879-8314; 241 - 252.

    More information

  23. H. Strass, J. P. Wallner:
    "Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory";
    Talk: Principles of Knowledge Representation and Reasoning (KR), Wien; 07-20-2014 - 07-24-2014; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference", C. Baral, G. De Giacomo, T. Eiter (ed.); AAAI Press, (2014), ISBN: 978-1-57735-657-8; 101 - 110.

    More information

  24. S. Polberg, J. P. Wallner, S. Woltran:
    "Admissibility in the Abstract Dialectical Framework";
    Talk: 14th International Workshop on Computational Logic in Multi-Agent Systems, Corunna, Spain; 09-16-2013 - 09-18-2013; in: "Computational Logic in Multi-Agent Systems", J. Leite, T. Son, P. Torroni, L. van der Torre, S. Woltran (ed.); Springer, 8143 (2013), ISBN: 978-3-642-40623-2; 102 - 118.

    More information

  25. J. P. Wallner, G. Weissenbacher, S. Woltran:
    "Advanced SAT Techniques for Abstract Argumentation";
    Talk: International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), Corunna, Spanien; 09-16-2013 - 09-18-2013; in: "CLIMA", Springer / LNCS, 8143 (2013), ISBN: 978-3-642-40623-2; 138 - 154.

  26. M. Alviano, F. Calimeri, G. Charwat, M. Dao-Tran, C. Dodaro, G. Ianni, T. Krennwallner, M. Kronegger, J. Oetsch, A. Pfandler, J. Puehrer, C. Redl, F. Ricca, P. Schneider, M. Schwengerer, L. Spendier, J. P. Wallner, G. Xiao:
    "The Fourth Answer Set Programming Competition: Preliminary Report";
    Talk: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain (invited); 09-15-2013 - 09-19-2013; in: "12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)", P. Cabalar, T. Son (ed.); Springer, 8148 (2013), 42 - 53.

    More information

  27. T. Ambroz, G. Charwat, A. Jusits, J. P. Wallner, S. Woltran:
    "ARVis: Visualizing Relations between Answer Sets";
    Talk: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain; 09-15-2013 - 09-19-2013; in: "Logic Programming and Nonmonotonic Reasoning", P. Cabalar, T. Son (ed.); Springer, 8143 (2013), ISBN: 978-3-642-40563-1; 73 - 78.

    More information

  28. G. Charwat, G. Ianni, T. Krennwallner, M. Kronegger, A. Pfandler, C. Redl, M. Schwengerer, L. Spendier, J. P. Wallner, G. Xiao:
    "VCWC: A Versioning Competition Workflow Compiler";
    Talk: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain; 09-15-2013 - 09-19-2013; in: "12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)", T. Son, P. Cabalar (ed.); Springer, 8148 (2013), 233 - 238.

    More information

  29. G. Brewka, St. Ellmauthaler, H. Strass, J. P. Wallner, S. Woltran:
    "Abstract Dialectical Frameworks Revisited";
    Poster: Twenty-third International Conference on Artificial Intelligence, Beijing, China; 08-03-2013 - 08-09-2013; in: "Proceedings of the twenty-third International Joint Conference on Artificial Intelligence (IJCAI 2013)", F. Rossi (ed.); AAAI Press, (2013), ISBN: 978-1-57735-633-2; 803 - 809.

    More information

  30. St. Ellmauthaler, J. P. Wallner:
    "Evaluating Abstract Dialectical Frameworks with ASP";
    Poster: COMMA - International Conference on Computational Models of Argument, Vienna, Austria; 09-10-2012 - 09-12-2012; in: "Proceedings of Computational Models of Argument - Proceedings of COMMA 2012", B. Verheij, St. Szeider, S. Woltran (ed.); IOS Press, 245 (2012), ISBN: 978-1-61499-110-6; 505 - 506.

  31. G. Charwat, J. P. Wallner, S. Woltran:
    "Utilizing ASP for Generating and Visualizing Argumentation Frameworks";
    Talk: 5th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), Budapest, Ungarn; 09-04-2012; in: "5th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012)", M. Fink, Y. Lierler (ed.); CoRR, (2012), 15 pages.

    More information

  32. W. Dvorak, M. Järvisalo, J. P. Wallner, S. Woltran:
    "Complexity-Sensitive Decision Procedures for Abstract Argumentation";
    Talk: Principles of Knowledge Representation and Reasoning (KR), Rome, Italy; 06-10-2012 - 06-14-2012; in: "Proceedings of 13th int. conf. of Principles of Knowledge Representation and Reasoning", G. Brewka, T. Eiter, S. McIlraith (ed.); AAAI Press, (2012), ISBN: 978-1-57735-560-1; 54 - 64.

    More information

  33. W. Dvorak, S. Gaggl, J. P. Wallner, S. Woltran:
    "Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems.";
    Talk: International Conference on Applications of Declarative Programming and Knowledge Management, Vienna, Austria; 09-28-2011 - 09-30-2011; in: "19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011)", (2011), 14 pages.

    More information


Talks and Poster Presentations (without Proceedings-Entry)


  1. W. Dvorak, M. König, A. Rapberger, J. P. Wallner, S. Woltran:
    "ASPARTIX-V - A Solver for Argumentation Tasks Using ASP";
    Talk: ASPOCP 2021 - 14th Workshop on Answer Set Programming and Other Computing Paradigms, Porto; 09-20-2021 - 09-27-2021.

    More information

  2. W. Dvorak, M. Järvisalo, J. P. Wallner, S. Woltran:
    "CEGARTIX: A SAT-Based Argumentation System";
    Talk: Theory and Application of Satisfiability Testing -- SAT, Trento, Italy; 06-17-2012 - 06-20-2012.

  3. J. P. Wallner:
    "Computational Aspects of Abstract Dialectical Frameworks";
    Poster: Principles of Knowledge Representation and Reasoning Doctoral Consortium (KR-DC), Rome, Italy; 06-10-2012 - 06-14-2012.

    More information

  4. J. P. Wallner:
    "Knowledge Base Change and Abstract Dialectical Frameworks";
    Talk: Workshop on the Dynamics of Argumentation, Rules and Conditionals DARC, University Luxembourg, Luxembourg; 04-02-2012 - 04-03-2012.


Doctor's Theses (authored and supervised)


  1. J. P. Wallner:
    "Complexity Results and Algorithms for Argumentation - Dung's Frameworks and Beyond";
    Supervisor, Reviewer: S. Woltran, G. Weissenbacher; Institute of Information Systems, 2014; oral examination: 05-28-2014.

    More information


Diploma and Master Theses (authored and supervised)


  1. M. Diller:
    "Solving Reasoning Problems on Abstract Dialectical Frameworks via Quantified Boolean Formulas";
    Supervisor: S. Woltran, J. P. Wallner; Institut für Informationssysteme, 2014; final examination: 04-11-2014.

    More information

  2. St. Ellmauthaler:
    "Abstract Dialectical Frameworks: Properties, Complexity, and Implementation";
    Supervisor: S. Woltran, J. P. Wallner; Institut für Informationssysteme, 2012; final examination: 09-13-2012.

    More information


Scientific Reports


  1. W. Dvorak, S. Gaggl, J. P. Wallner, S. Woltran:
    "Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems";
    Report for TU Wien, Institut für Informationssysteme; Report No. DBAI-TR-2011-70, 2011; 32 pages.

    More information