Johannes Peter Wallner


portrait

Address Department of Computer Science / HIIT
P.O. Box 68 (Gustaf Hällströmin katu 2b)
FI-00014 University of Helsinki
Finland
Mail mail address
Office Room A332,
3rd floor of Exactum, wing A
Gustaf Hällströmin katu 2b

Contents

About me

I'm a researcher in the Constraint Reasoning and Optimization group at the University of Helsinki, Computer Science Department. Before that, I worked in the DBAI group, Institute of Information Systems, at the Vienna University of Technology in several projects focussing on KR and related fields. In particular, I worked in two argumentation projects (1 and 2), a project on SPARQL, and on the topic of belief revision.

In 2012 I visited Gerhard Brewka and his group at Leipzig University for two months.

Before working at DBAI 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

PC member of IJCAI 2016 (main track), COMMA 2016, SAFA 2016, TAASP 2016, IJCAI 2015 (KR track), and RCRA 2015.

Conference reviewing for AAAI 2016, CILC 2013, ICDT 2015, KR 2014, and LPNMR 2013/2015.

Research Interests

My research interests include:

Teaching

Software

Publications and Presentations

See also: [ Google Scholar | DBLP | BibTeX | PubDB@TU vienna | TUHAT@Univ. Helsinki ]

2016

[31] Optimal Status Enforcement in Abstract Argumentation
Andreas Niskanen, Johannes P. Wallner, and Matti Järvisalo.
Accepted for IJCAI'16.
[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 | system page | .pdf (with formal proofs) ]
[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, Vienna University of Technology, 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

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 ]

Valid CSS! Valid XHTML 1.0 Transitional

orcid id