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

32 records (2011 - 2017)


Publications in Scientific Journals


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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