TU Wien Informatics

Johannes Wallner

Dipl.-Ing. Dr.techn. / Bakk.techn.

Research Focus

Research Areas

  • knowledge representation and reasoning, Argumentation, Computational complexity, logic programming
Johannes Wallner

Role

2019W

 

2019

2018

  • Abstract Dialectical Frameworks / G. Brewka, St. Ellmauthaler, H. Strass, J. P. Wallner, S. Woltran / 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
  • Foundations of Implementations for Formal Argumentation / F. Cerutti, S. Gaggl, M. Thimm, J. P. Wallner / 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
  • Abstract Solvers for Dung's Argumentation Frameworks / R. Brochenin, T. Linsbichler, M. Maratea, J. P. Wallner, S. Woltran / Argument & Computation, 9 (2018), 1; 41 - 72
  • Manipulation of Semantic Aggregation Procedures for Propositional Knowledge Bases and Argumentation Frameworks / A. Haret, J. P. Wallner / Talk: International Workshop on Non-Monotonic Reasoning (NMR), Tempe, Arizona; 2018-10-27 - 2018-10-29; in: "Proceedings of the 17th International Workshop on Non-monotonic Reasoning", E. Fermé, S. Villata (ed.); (2018), Paper ID 146, 10 pages
  • Two Sides of the Same Coin: Belief Revision and Enforcing Arguments / A. Haret, J. P. Wallner, S. Woltran / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Stockholm; 2018-07-13 - 2018-07-19; in: "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence", J. Lang (ed.); IJCAI, (2018), 1854 - 1860
  • Application of ASP in formal argumentation / W. Dvorak, J. Pührer, J. P. Wallner, S. Woltran, M. Diller / Talk: TAASP - Workshop on Trends and Applications of Answer Set Programming, Wien; 2018-11-19 - 2018-11-20; in: "2nd Workshop on Trends and Applications of Answer Set Programming (TAASP 2018)", (2018), 1 - 11
  • Extension Enforcement under Grounded Semantics in Abstract Argumentation / A. Niskanen, J. P. Wallner, M. Järvisalo / Talk: Principles of Knowledge Representation and Reasoning (KR), Tempe, Arizona; 2018-10-30 - 2018-11-02; 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
  • Weighted Abstract Dialectical Frameworks / G. Brewka, H. Strass, J. P. Wallner, S. Woltran / Talk: AAAI Conference, New Orleans, Louisiana, USA; 2018-02-02 - 2018-02-07; in: "Proceedings AAAI 2018", S. McIlraith, K. Weinberger (ed.); AAAI Press, (2018), 1779 - 1786
  • Structural Constraints for Dynamic Operators in Abstract Argumentation / J. P. Wallner / Talk: COMMA - International Conference on Computational Models of Argument, Warschau; 2018-09-11 - 2018-09-14; in: "Computational Models of Argument", S. Modgil, K. Budzynska, J. Lawrence (ed.); IOS Press, 305 (2018), ISBN: 978-1-61499-905-8; 73 - 84
  • Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving / T. Linsbichler, M. Maratea, A. Niskanen, J. P. Wallner, S. Woltran / Talk: International Joint Conference on Artificial Intelligence (IJCAI), Stockholm; 2018-07-13 - 2018-07-19; in: "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence", J. Lang (ed.); IJCAI, (2018), 1905 - 1911

2017

2015

2014

2013

  • On the relation between SPARQL1.1 and Answer Set Programming / A. Polleres, J. P. Wallner / Journal of Applied Non-Classical Logics (JANCL), 23 (2013), 1-2; 159 - 212
  • Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems / W. Dvorak, S. Gaggl, J. P. Wallner, S. Woltran / 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
  • Abstract Dialectical Frameworks Revisited / G. Brewka, St. Ellmauthaler, H. Strass, J. P. Wallner, S. Woltran / Poster: Twenty-third International Conference on Artificial Intelligence, Beijing, China; 2013-08-03 - 2013-08-09; 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
  • Admissibility in the Abstract Dialectical Framework / S. Polberg, J. P. Wallner, S. Woltran / Talk: 14th International Workshop on Computational Logic in Multi-Agent Systems, Corunna, Spain; 2013-09-16 - 2013-09-18; 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
  • ARVis: Visualizing Relations between Answer Sets / T. Ambroz, G. Charwat, A. Jusits, J. P. Wallner, S. Woltran / Talk: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain; 2013-09-15 - 2013-09-19; in: "Logic Programming and Nonmonotonic Reasoning", P. Cabalar, T. Son (ed.); Springer, 8143 (2013), ISBN: 978-3-642-40563-1; 73 - 78
  • Advanced SAT Techniques for Abstract Argumentation / J. P. Wallner, G. Weissenbacher, S. Woltran / Talk: International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), Corunna, Spanien; 2013-09-16 - 2013-09-18; in: "CLIMA", Springer / LNCS, 8143 (2013), ISBN: 978-3-642-40623-2; 138 - 154
  • The Fourth Answer Set Programming Competition: Preliminary Report / 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 / Talk: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain (invited); 2013-09-15 - 2013-09-19; in: "12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)", P. Cabalar, T. Son (ed.); Springer, 8148 (2013), 42 - 53
  • VCWC: A Versioning Competition Workflow Compiler / G. Charwat, G. Ianni, T. Krennwallner, M. Kronegger, A. Pfandler, C. Redl, M. Schwengerer, L. Spendier, J. P. Wallner, G. Xiao / Talk: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain; 2013-09-15 - 2013-09-19; in: "12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)", T. Son, P. Cabalar (ed.); Springer, 8148 (2013), 233 - 238

2012

  • CEGARTIX: A SAT-Based Argumentation System / W. Dvorak, M. Järvisalo, J. P. Wallner, S. Woltran / Talk: Theory and Application of Satisfiability Testing -- SAT, Trento, Italy; 2012-06-17 - 2012-06-20
  • Computational Aspects of Abstract Dialectical Frameworks / J. P. Wallner / Poster: Principles of Knowledge Representation and Reasoning Doctoral Consortium (KR-DC), Rome, Italy; 2012-06-10 - 2012-06-14
  • Knowledge Base Change and Abstract Dialectical Frameworks / J. P. Wallner / Talk: Workshop on the Dynamics of Argumentation, Rules and Conditionals DARC, University Luxembourg, Luxembourg; 2012-04-02 - 2012-04-03
  • Evaluating Abstract Dialectical Frameworks with ASP / St. Ellmauthaler, J. P. Wallner / Poster: COMMA - International Conference on Computational Models of Argument, Vienna, Austria; 2012-09-10 - 2012-09-12; 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
  • Utilizing ASP for Generating and Visualizing Argumentation Frameworks / G. Charwat, J. P. Wallner, S. Woltran / Talk: 5th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), Budapest, Ungarn; 2012-09-04; in: "5th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012)", M. Fink, Y. Lierler (ed.); CoRR, (2012), 15 pages
  • Complexity-Sensitive Decision Procedures for Abstract Argumentation / W. Dvorak, M. Järvisalo, J. P. Wallner, S. Woltran / Talk: Principles of Knowledge Representation and Reasoning (KR), Rome, Italy; 2012-06-10 - 2012-06-14; 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

2011

 

  • Distinguished student paper prize at the 13th International Conference on Principles of Knowledge Representation and Reasoning. / KR Inc / 2012

Soon, this page will include additional information such as reference projects, activities as journal reviewer and editor, memberships in councils and committees, and other research activities.

Until then, please visit Johannes Wallner’s research profile in TISS .