Publication list for
Johannes Peter Wallner
as author or essentially involved person
57 records (2011 - 2021)
Publications in Scientific Journals
-
J. P. Wallner:
"Structural Constraints for Dynamic Operators in Abstract Argumentation";
Argument & Computation,
11
(2020),
1-2;
151
- 190.
More information
-
A. Niskanen, J. P. Wallner, M. Järvisalo:
"Synthesizing Argumentation Frameworks from Examples";
Journal of Artificial Intelligence Research,
66
(2019),
66;
503
- 554.
More information
-
M. Thimm, J. P. Wallner:
"On the complexity of inconsistency measurement";
Artificial Intelligence,
275
(2019),
411
- 456.
More information
-
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
-
G. Brewka, St. Ellmauthaler, H. Strass, J. P. Wallner, S. Woltran:
"Abstract Dialectical Frameworks. An Overview";
IfCoLog Journal of Logics and their Applications,
4
(2017),
8;
2263
- 2318.
More information
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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,
http://www.collegepublications.co.uk/handbooks/,
2018,
ISBN: 978-1-84890-275-6,
237
- 285.
More information
-
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
-
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
-
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)
-
J. Maly, J. P. Wallner:
"Ranking Sets of Defeasible Elements in Preferential Approaches to Structured Argumentation: Postulates, Relations, and Characterizations";
Talk: 35th AAAI 2021,
virtual event;
02-02-2021
- 02-09-2021; in: "Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI} 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9, 2021",
(2021),
6435
- 6443.
More information
-
W. Dvorak, S. Gaggl, A. Rapberger, J. P. Wallner, S. Woltran:
"The ASPARTIX system suite";
Talk: COMMA - International Conference on Computational Models of Argument,
online;
09-08-2020
- 09-11-2020; in: "Proceedings COMMA",
H. Prakken, S. Bistarelli, F. Santini, C. Taticchi (ed.);
IOS Press,
326
(2020),
ISBN: 978-1-64368-107-8;
461
- 462.
More information
-
W. Dvorak, A. Rapberger, J. P. Wallner:
"Labelling-based Algorithms for SETAFs";
Talk: Third International Workshop on Systems and Algorithms for Formal Argumentation,
online;
09-08-2020; in: "Proceedings SAFA 2020",
S. Gaggl, M. Thimm, M. Vallati (ed.);
CEUR-WS.org,
2672
(2020),
34
- 46.
-
W. Dvorak, J. P. Wallner:
"Computing Strongly Admissible Sets";
Talk: COMMA - International Conference on Computational Models of Argument,
online;
09-08-2020
- 09-11-2020; in: "Proceedings COMMA",
H. Prakken, S. Bistarelli, F. Santini, C. Taticchi (ed.);
IOs Press,
2326
(2020),
ISBN: 978-1-64368-107-8;
179
- 190.
More information
-
T. Lehtonen, J. P. Wallner, M. Järvisalo:
"An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework";
Talk: Principles of Knowledge Representation and Reasoning (KR),
Rhodes, Greece (online);
09-08-2020
- 09-12-2020; in: "Proceedings KR",
D. Calvanese, E. Erdem, M. Thielscher (ed.);
IJCAI Organization,
(2020),
ISSN: 2334-1033;
636
- 646.
More information
-
Z. G. Saribatur, J. P. Wallner, S. Woltran:
"Explaining Non-Acceptability in Abstract Argumentation";
Talk: European Conference on Artificial Intelligence (ECAI),
Santiago de Compostela, Spain;
06-08-2020
- 06-12-2020; in: "Proceedings ECAI",
G. De Giacomo (ed.);
IOS Press,
325
(2020),
ISBN: 978-1-64368-101-6;
881
- 888.
More information
-
W. Dvorak, A. Rapberger, J. P. Wallner, S. Woltran:
"ASPARTIX-V19 - An Answer-set Programming based System for Abstract Argumentation";
Talk: International Symposium on Foundations of Information and Knowledge Systems (FoIKS),
Dortmund;
02-17-2020
- 02-20-2020; in: "Foundations of Information and Knowledge Systems",
A. Herzig, J. Kontinen (ed.);
Springer,
12012
(2020),
79
- 89.
More information
-
A. Haret, M. Lackner, A. Pfandler, J. P. Wallner:
"Proportional Belief Merging";
Talk: AAAI Conference,
New York;
02-07-2020
- 02-12-2020; in: "Proceedings AAAI",
V. Conitzer, F. Sha (ed.);
AAAI Press,
(2020),
2822
- 2829.
More information
-
A. Haret, J. P. Wallner:
"Manipulating Skeptical and Credulous Consequences when Merging Beliefs";
Talk: European Conference on Logics in Artificial Intelligence (JELIA),
Rende, Italy;
05-08-2019
- 05-10-2019; in: "Proceedings JELIA",
F. Calimeri, N. Leone, M. Manna (ed.);
Springer,
11468
(2019),
ISBN: 978-3-030-19570-0;
133
- 150.
More information
-
T. Lehtonen, J. P. Wallner, M. Järvisalo:
"Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings";
Talk: AAAI Conference,
Honolulu, Hawaii;
01-27-2019
- 02-01-2019; in: "Proceedings AAAI 2019",
P. Van Hentenryck, Z. Zhou (ed.);
AAAI Press,
(2019),
2938
- 2945.
More information
-
W. Dvorak, J. Pührer, J. P. Wallner, S. Woltran, M. Diller:
"Application of ASP in formal argumentation";
Talk: TAASP - Workshop on Trends and Applications of Answer Set Programming,
Wien;
11-19-2018
- 11-20-2018; in: "2nd Workshop on Trends and Applications of Answer Set Programming (TAASP 2018)",
(2018),
1
- 11.
More information
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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.
-
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
-
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
-
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
-
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
-
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.
-
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
-
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
-
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
-
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
-
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.
-
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
-
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
-
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)
-
W. Dvorak, M. König, A. Rapberger, J. P. Wallner, S. Woltran:
"ASPARTIX-V - A Solver for Argumentation Tasks Using ASP";
Talk: ASPOCP 2021 - 14th Workshop on Answer Set Programming and Other Computing Paradigms,
Porto;
09-20-2021
- 09-27-2021.
More information
-
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.
-
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
-
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)
-
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)
-
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
-
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
-
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