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

41 records (2011 - 2018)


Publications in Scientific Journals


  1. 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

  2. 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

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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, 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. 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

  2. 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

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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

  9. 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.

  10. 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

  11. 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

  12. 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

  13. 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

  14. 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.

  15. 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

  16. 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

  17. 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

  18. 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

  19. 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.

  20. 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

  21. 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

  22. 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. 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.

  2. 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

  3. 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