Publikationsliste für
Johannes Peter Wallner
als Autorin / Autor bzw. wesentlich beteiligte Person
55 Datensätze (2011 - 2021)
Zeitschriftenartikel
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;
S. 2263
- 2318.
Zusätzliche Informationen
R. Brochenin, T. Linsbichler, M. Maratea, J. P. Wallner, S. Woltran:
"Abstract Solvers for Dung's Argumentation Frameworks";
Argument & Computation,
9
(2018),
1;
S. 41
- 72.
Zusätzliche Informationen
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),
S. 28
- 63.
Zusätzliche Informationen
M. Diller, J. P. Wallner, S. Woltran:
"Reasoning in Abstract Dialectical Frameworks using Quantified Boolean Formulas";
Argument & Computation,
6
(2015),
2;
S. 149
- 177.
Zusätzliche Informationen
W. Dvorak, M. Järvisalo, J. P. Wallner, S. Woltran:
"Complexity-Sensitive Decision Procedures for Abstract Argumentation";
Artificial Intelligence,
206
(2014),
S. 53
- 78.
Zusätzliche Informationen
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;
S. 434
- 448.
Zusätzliche Informationen
A. Niskanen, J. P. Wallner, M. Järvisalo:
"Synthesizing Argumentation Frameworks from Examples";
Journal of Artificial Intelligence Research,
66
(2019),
66;
S. 503
- 554.
Zusätzliche Informationen
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;
S. 159
- 212.
Zusätzliche Informationen
H. Strass, J. P. Wallner:
"Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory";
Artificial Intelligence,
226
(2015),
S. 34
- 74.
Zusätzliche Informationen
M. Thimm, J. P. Wallner:
"On the complexity of inconsistency measurement";
Artificial Intelligence,
275
(2019),
S. 411
- 456.
Zusätzliche Informationen
J. P. Wallner:
"Structural Constraints for Dynamic Operators in Abstract Argumentation";
Argument & Computation,
11
(2020),
1-2;
S. 151
- 190.
Zusätzliche Informationen
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),
S. 1
- 40.
Zusätzliche Informationen
Buchbeiträge
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 (Hrg.);
College Publications,
http://www.collegepublications.co.uk/handbooks/,
2018,
ISBN: 978-1-84890-275-6,
S. 237
- 285.
Zusätzliche Informationen
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 (Hrg.);
College Publications,
2018,
ISBN: 978-1-84890-275-6,
S. 688
- 767.
Zusätzliche Informationen
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 (Hrg.);
herausgegeben von: Springer;
Springer,
2015,
ISBN: 978-3-319-14726-0,
S. 249
- 264.
Zusätzliche Informationen
Beiträge in Tagungsbänden
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 (Hrg.);
Springer,
2013,
ISBN: 978-3-642-41523-4,
S. 114
- 133.
Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag)
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";
Vortrag: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013),
Corunna, Spain (eingeladen);
15.09.2013
- 19.09.2013; in: "12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)",
P. Cabalar, T. Son (Hrg.);
Springer,
8148
(2013),
S. 42
- 53.
Zusätzliche Informationen
T. Ambroz, G. Charwat, A. Jusits, J. P. Wallner, S. Woltran:
"ARVis: Visualizing Relations between Answer Sets";
Vortrag: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013),
Corunna, Spain;
15.09.2013
- 19.09.2013; in: "Logic Programming and Nonmonotonic Reasoning",
P. Cabalar, T. Son (Hrg.);
Springer,
8143
(2013),
ISBN: 978-3-642-40563-1;
S. 73
- 78.
Zusätzliche Informationen
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;
03.08.2013
- 09.08.2013; in: "Proceedings of the twenty-third International Joint Conference on Artificial Intelligence (IJCAI 2013)",
F. Rossi (Hrg.);
AAAI Press,
(2013),
ISBN: 978-1-57735-633-2;
S. 803
- 809.
Zusätzliche Informationen
G. Brewka, H. Strass, J. P. Wallner, S. Woltran:
"Weighted Abstract Dialectical Frameworks";
Vortrag: AAAI Conference,
New Orleans, Louisiana, USA;
02.02.2018
- 07.02.2018; in: "Proceedings AAAI 2018",
S. McIlraith, K. Weinberger (Hrg.);
AAAI Press,
(2018),
S. 1779
- 1786.
Zusätzliche Informationen
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";
Vortrag: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013),
Corunna, Spain;
15.09.2013
- 19.09.2013; in: "12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)",
T. Son, P. Cabalar (Hrg.);
Springer,
8148
(2013),
S. 233
- 238.
Zusätzliche Informationen
G. Charwat, J. P. Wallner, S. Woltran:
"Utilizing ASP for Generating and Visualizing Argumentation Frameworks";
Vortrag: 5th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012),
Budapest, Ungarn;
04.09.2012; in: "5th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012)",
M. Fink, Y. Lierler (Hrg.);
CoRR,
(2012),
15 S.
Zusätzliche Informationen
M. Diller, J. P. Wallner, S. Woltran:
"Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas";
Vortrag: COMMA - International Conference on Computational Models of Argument,
Pitlochry, Scotland, United Kingdom;
09.09.2014
- 12.09.2014; in: "Computational Models of Argument",
IOS Press,
266
(2014),
ISSN: 1879-8314;
S. 241
- 252.
Zusätzliche Informationen
W. Dvorak, S. Gaggl, A. Rapberger, J. P. Wallner, S. Woltran:
"The ASPARTIX system suite";
Vortrag: COMMA - International Conference on Computational Models of Argument,
online;
08.09.2020
- 11.09.2020; in: "Proceedings COMMA",
H. Prakken, S. Bistarelli, F. Santini, C. Taticchi (Hrg.);
IOS Press,
326
(2020),
ISBN: 978-1-64368-107-8;
S. 461
- 462.
Zusätzliche Informationen
W. Dvorak, S. Gaggl, J. P. Wallner, S. Woltran:
"Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems.";
Vortrag: International Conference on Applications of Declarative Programming and Knowledge Management,
Vienna, Austria;
28.09.2011
- 30.09.2011; in: "19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011)",
(2011),
14 S.
Zusätzliche Informationen
W. Dvorak, M. Järvisalo, J. P. Wallner, S. Woltran:
"Complexity-Sensitive Decision Procedures for Abstract Argumentation";
Vortrag: Principles of Knowledge Representation and Reasoning (KR),
Rome, Italy;
10.06.2012
- 14.06.2012; in: "Proceedings of 13th int. conf. of Principles of Knowledge Representation and Reasoning",
G. Brewka, T. Eiter, S. McIlraith (Hrg.);
AAAI Press,
(2012),
ISBN: 978-1-57735-560-1;
S. 54
- 64.
Zusätzliche Informationen
W. Dvorak, J. Pührer, J. P. Wallner, S. Woltran, M. Diller:
"Application of ASP in formal argumentation";
Vortrag: TAASP - Workshop on Trends and Applications of Answer Set Programming,
Wien;
19.11.2018
- 20.11.2018; in: "2nd Workshop on Trends and Applications of Answer Set Programming (TAASP 2018)",
(2018),
S. 1
- 11.
Zusätzliche Informationen
W. Dvorak, A. Rapberger, J. P. Wallner:
"Labelling-based Algorithms for SETAFs";
Vortrag: Third International Workshop on Systems and Algorithms for Formal Argumentation,
online;
08.09.2020; in: "Proceedings SAFA 2020",
S. Gaggl, M. Thimm, M. Vallati (Hrg.);
CEUR-WS.org,
2672
(2020),
S. 34
- 46.
W. Dvorak, A. Rapberger, J. P. Wallner, S. Woltran:
"ASPARTIX-V19 - An Answer-set Programming based System for Abstract Argumentation";
Vortrag: International Symposium on Foundations of Information and Knowledge Systems (FoIKS),
Dortmund;
17.02.2020
- 20.02.2020; in: "Foundations of Information and Knowledge Systems",
A. Herzig, J. Kontinen (Hrg.);
Springer,
12012
(2020),
S. 79
- 89.
Zusätzliche Informationen
W. Dvorak, J. P. Wallner:
"Computing Strongly Admissible Sets";
Vortrag: COMMA - International Conference on Computational Models of Argument,
online;
08.09.2020
- 11.09.2020; in: "Proceedings COMMA",
H. Prakken, S. Bistarelli, F. Santini, C. Taticchi (Hrg.);
IOs Press,
2326
(2020),
ISBN: 978-1-64368-107-8;
S. 179
- 190.
Zusätzliche Informationen
St. Ellmauthaler, J. P. Wallner:
"Evaluating Abstract Dialectical Frameworks with ASP";
Poster: COMMA - International Conference on Computational Models of Argument,
Vienna, Austria;
10.09.2012
- 12.09.2012; in: "Proceedings of Computational Models of Argument - Proceedings of COMMA 2012",
B. Verheij, St. Szeider, S. Woltran (Hrg.);
IOS Press,
245
(2012),
ISBN: 978-1-61499-110-6;
S. 505
- 506.
A. Haret, M. Lackner, A. Pfandler, J. P. Wallner:
"Proportional Belief Merging";
Vortrag: AAAI Conference,
New York;
07.02.2020
- 12.02.2020; in: "Proceedings AAAI",
V. Conitzer, F. Sha (Hrg.);
AAAI Press,
(2020),
S. 2822
- 2829.
Zusätzliche Informationen
A. Haret, J. P. Wallner:
"Manipulating Skeptical and Credulous Consequences when Merging Beliefs";
Vortrag: European Conference on Logics in Artificial Intelligence (JELIA),
Rende, Italy;
08.05.2019
- 10.05.2019; in: "Proceedings JELIA",
F. Calimeri, N. Leone, M. Manna (Hrg.);
Springer,
11468
(2019),
ISBN: 978-3-030-19570-0;
S. 133
- 150.
Zusätzliche Informationen
A. Haret, J. P. Wallner:
"Manipulation of Semantic Aggregation Procedures for Propositional Knowledge Bases and Argumentation Frameworks";
Vortrag: International Workshop on Non-Monotonic Reasoning (NMR),
Tempe, Arizona;
27.10.2018
- 29.10.2018; in: "Proceedings of the 17th International Workshop on Non-monotonic Reasoning",
E. Fermé, S. Villata (Hrg.);
(2018),
Paper-Nr. 146,
10 S.
Zusätzliche Informationen
A. Haret, J. P. Wallner, S. Woltran:
"Two Sides of the Same Coin: Belief Revision and Enforcing Arguments";
Vortrag: International Joint Conference on Artificial Intelligence (IJCAI),
Stockholm;
13.07.2018
- 19.07.2018; in: "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence",
J. Lang (Hrg.);
IJCAI,
(2018),
S. 1854
- 1860.
Zusätzliche Informationen
T. Lehtonen, J. P. Wallner, M. Järvisalo:
"An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework";
Vortrag: Principles of Knowledge Representation and Reasoning (KR),
Rhodes, Greece (online);
08.09.2020
- 12.09.2020; in: "Proceedings KR",
D. Calvanese, E. Erdem, M. Thielscher (Hrg.);
IJCAI Organization,
(2020),
ISSN: 2334-1033;
S. 636
- 646.
Zusätzliche Informationen
T. Lehtonen, J. P. Wallner, M. Järvisalo:
"From Structured to Abstract Argumentation: Assumption-Based Acceptance via AF Reasoning";
Vortrag: European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU),
Lugano;
10.07.2017
- 14.07.2017; in: "Proceedings of Fourteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2017)",
A. Antonucci, L. Cholvy, O. Papini (Hrg.);
Springer,
10369
(2017),
ISBN: 978-3-319-61580-6;
S. 57
- 68.
Zusätzliche Informationen
T. Lehtonen, J. P. Wallner, M. Järvisalo:
"Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings";
Vortrag: AAAI Conference,
Honolulu, Hawaii;
27.01.2019
- 01.02.2019; in: "Proceedings AAAI 2019",
P. Van Hentenryck, Z. Zhou (Hrg.);
AAAI Press,
(2019),
S. 2938
- 2945.
Zusätzliche Informationen
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";
Vortrag: International Joint Conference on Artificial Intelligence (IJCAI),
Stockholm;
13.07.2018
- 19.07.2018; in: "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence",
J. Lang (Hrg.);
IJCAI,
(2018),
S. 1905
- 1911.
Zusätzliche Informationen
J. Maly, J. P. Wallner:
"Ranking Sets of Defeasible Elements in Preferential Approaches to Structured Argumentation: Postulates, Relations, and Characterizations";
Vortrag: 35th AAAI 2021,
virtual event;
02.02.2021
- 09.02.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),
S. 6435
- 6443.
Zusätzliche Informationen
A. Niskanen, J. P. Wallner, M. Järvisalo:
"Extension Enforcement under Grounded Semantics in Abstract Argumentation";
Vortrag: Principles of Knowledge Representation and Reasoning (KR),
Tempe, Arizona;
30.10.2018
- 02.11.2018; in: "Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning",
M. Thielscher, F. Toni, F. Wolter (Hrg.);
AAAI Press,
(2018),
S. 178
- 183.
Zusätzliche Informationen
A. Pfandler, St. Rümmele, J. P. Wallner, S. Woltran:
"On the Parameterized Complexity of Belief Revision";
Vortrag: Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015,
Buenos Aires, Argentina;
25.07.2015
- 31.07.2015; in: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence - IJCAI 2015",
Q. Yang, M. Wooldridge (Hrg.);
AAAI Press,
(2015),
ISBN: 978-1-57735-738-4;
S. 3149
- 3155.
Zusätzliche Informationen
S. Polberg, J. P. Wallner, S. Woltran:
"Admissibility in the Abstract Dialectical Framework";
Vortrag: 14th International Workshop on Computational Logic in Multi-Agent Systems,
Corunna, Spain;
16.09.2013
- 18.09.2013; in: "Computational Logic in Multi-Agent Systems",
J. Leite, T. Son, P. Torroni, L. van der Torre, S. Woltran (Hrg.);
Springer,
8143
(2013),
ISBN: 978-3-642-40623-2;
S. 102
- 118.
Zusätzliche Informationen
Z. G. Saribatur, J. P. Wallner, S. Woltran:
"Explaining Non-Acceptability in Abstract Argumentation";
Vortrag: European Conference on Artificial Intelligence (ECAI),
Santiago de Compostela, Spain;
08.06.2020
- 12.06.2020; in: "Proceedings ECAI",
G. De Giacomo (Hrg.);
IOS Press,
325
(2020),
ISBN: 978-1-64368-101-6;
S. 881
- 888.
Zusätzliche Informationen
H. Strass, J. P. Wallner:
"Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory";
Vortrag: Principles of Knowledge Representation and Reasoning (KR),
Wien;
20.07.2014
- 24.07.2014; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference",
C. Baral, G. De Giacomo, T. Eiter (Hrg.);
AAAI Press,
(2014),
ISBN: 978-1-57735-657-8;
S. 101
- 110.
Zusätzliche Informationen
J. P. Wallner:
"Structural Constraints for Dynamic Operators in Abstract Argumentation";
Vortrag: COMMA - International Conference on Computational Models of Argument,
Warschau;
11.09.2018
- 14.09.2018; in: "Computational Models of Argument",
S. Modgil, K. Budzynska, J. Lawrence (Hrg.);
IOS Press,
305
(2018),
ISBN: 978-1-61499-905-8;
S. 73
- 84.
Zusätzliche Informationen
J. P. Wallner, G. Weissenbacher, S. Woltran:
"Advanced SAT Techniques for Abstract Argumentation";
Vortrag: International Workshop on Computational Logic in Multi-Agent Systems (CLIMA),
Corunna, Spanien;
16.09.2013
- 18.09.2013; in: "CLIMA",
Springer / LNCS,
8143
(2013),
ISBN: 978-3-642-40623-2;
S. 138
- 154.
Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag)
W. Dvorak, M. Järvisalo, J. P. Wallner, S. Woltran:
"CEGARTIX: A SAT-Based Argumentation System";
Vortrag: Theory and Application of Satisfiability Testing -- SAT,
Trento, Italy;
17.06.2012
- 20.06.2012.
W. Dvorak, M. König, A. Rapberger, J. P. Wallner, S. Woltran:
"ASPARTIX-V - A Solver for Argumentation Tasks Using ASP";
Vortrag: ASPOCP 2021 - 14th Workshop on Answer Set Programming and Other Computing Paradigms,
Porto;
20.09.2021
- 27.09.2021.
Zusätzliche Informationen
J. P. Wallner:
"Computational Aspects of Abstract Dialectical Frameworks";
Poster: Principles of Knowledge Representation and Reasoning Doctoral Consortium (KR-DC),
Rome, Italy;
10.06.2012
- 14.06.2012.
Zusätzliche Informationen
J. P. Wallner:
"Knowledge Base Change and Abstract Dialectical Frameworks";
Vortrag: Workshop on the Dynamics of Argumentation, Rules and Conditionals DARC,
University Luxembourg, Luxembourg;
02.04.2012
- 03.04.2012.
Dissertationen (eigene und begutachtete)
J. P. Wallner:
"Complexity Results and Algorithms for Argumentation - Dung's Frameworks and Beyond";
Betreuer/in(nen), Begutachter/in(nen): S. Woltran, G. Weissenbacher;
Institute of Information Systems,
2014;
Rigorosum: 28.05.2014.
Zusätzliche Informationen
Diplom- und Master-Arbeiten (eigene und betreute)
M. Diller:
"Solving Reasoning Problems on Abstract Dialectical Frameworks via Quantified Boolean Formulas";
Betreuer/in(nen): S. Woltran, J. P. Wallner;
Institut für Informationssysteme,
2014;
Abschlussprüfung: 11.04.2014.
Zusätzliche Informationen
St. Ellmauthaler:
"Abstract Dialectical Frameworks: Properties, Complexity, and Implementation";
Betreuer/in(nen): S. Woltran, J. P. Wallner;
Institut für Informationssysteme,
2012;
Abschlussprüfung: 13.09.2012.
Zusätzliche Informationen
Wissenschaftliche Berichte
W. Dvorak, S. Gaggl, J. P. Wallner, S. Woltran:
"Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems";
Bericht für TU Wien, Institut für Informationssysteme;
Berichts-Nr. DBAI-TR-2011-70,
2011;
32 S.
Zusätzliche Informationen