Skip to content

Johannes Peter Wallner

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

10

Venues

4

Active years

2012–2015

Best venue rank

A*

Where they publish

Papers

10 indexed papers, newest first.

YearVenueTitleAuthors
2015IJCAIComplexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract).Wolfgang Dvork, Matti Jrvisalo, Johannes Peter Wallner, Stefan Woltran
2015IJCAIOn the Parameterized Complexity of Belief Revision.Andreas Pfandler, Stefan Rmmele, Johannes Peter Wallner, Stefan Woltran
2014COMMAReasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas.Martin Diller, Johannes Peter Wallner, Stefan Woltran
2014KRAnalyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory.Hannes Strass, Johannes Peter Wallner
2013IJCAIAbstract Dialectical Frameworks Revisited.Gerhard Brewka, Hannes Strass, Stefan Ellmauthaler, Johannes Peter Wallner, Stefan Woltran
2013LPNMRThe Fourth Answer Set Programming Competition: Preliminary Report.Mario Alviano, Francesco Calimeri, Gnther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jrg Phrer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao
2013LPNMRARVis: Visualizing Relations between Answer Sets.Thomas Ambroz, Gnther Charwat, Andreas Jusits, Johannes Peter Wallner, Stefan Woltran
2013LPNMRVCWC: A Versioning Competition Workflow Compiler.Gnther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao
2012COMMAEvaluating Abstract Dialectical Frameworks with ASP.Stefan Ellmauthaler, Johannes Peter Wallner
2012KRComplexity-Sensitive Decision Procedures for Abstract Argumentation.Wolfgang Dvork, Matti Jrvisalo, Johannes Peter Wallner, Stefan Woltran