grappa-proj.bib

@inproceedings{BrewkaPW19,
  author = {Gerhard Brewka and
               J{\"{o}}rg P{\"{u}}hrer and
               Stefan Woltran},
  title = {Multi-valued {GRAPPA}},
  booktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}
               2019, Rende, Italy, May 7-11, 2019, Proceedings},
  pages = {85--101},
  year = {2019},
  url = {https://doi.org/10.1007/978-3-030-19570-0\_6},
  doi = {10.1007/978-3-030-19570-0\_6},
  editor = {Francesco Calimeri and
               Nicola Leone and
               Marco Manna},
  publisher = {Springer}
}
@inproceedings{DvorakJLNW19,
  author = {Wolfgang Dvor{\'{a}}k and
               Matti J{\"{a}}rvisalo and
               Thomas Linsbichler and
               Andreas Niskanen and
               Stefan Woltran},
  title = {Preprocessing Argumentation Frameworks via Replacement Patterns},
  booktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}
               2019, Rende, Italy, May 7-11, 2019, Proceedings},
  pages = {116--132},
  year = {2019},
  url = {https://doi.org/10.1007/978-3-030-19570-0\_8},
  doi = {10.1007/978-3-030-19570-0\_8},
  publisher = {Springer},
  editor = {Francesco Calimeri and
               Nicola Leone and
               Marco Manna}
}
@inproceedings{RolfKB19,
  author = {Lena Rolf and
               Gabriele Kern{-}Isberner and
               Gerhard Brewka},
  title = {Argumentation-Based Explanations for Answer Sets Using {ADF}},
  booktitle = {Logic Programming and Nonmonotonic Reasoning - 15th International
               Conference, {LPNMR} 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings},
  pages = {89--102},
  year = {2019},
  editor = {Marcello Balduccini and
               Yuliya Lierler and
               Stefan Woltran},
  publisher = {Springer},
  url = {https://doi.org/10.1007/978-3-030-20528-7\_8},
  doi = {10.1007/978-3-030-20528-7\_8}
}
@inproceedings{BaumannU18,
  author = {Ringo Baumann and
               Markus Ulbricht},
  title = {If Nothing Is Accepted - Repairing Argumentation Frameworks},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
               30 October - 2 November 2018.},
  pages = {108--117},
  editor = {Michael Thielscher and
               Francesca Toni and
               Frank Wolter},
  publisher = {{AAAI} Press},
  year = {2018},
  url = {http://www.aaai.org/Library/KR/kr18contents.php},
  isbn = {978-1-57735-803-9},
  timestamp = {Thu, 18 Oct 2018 09:44:31 +0200},
  biburl = {https://dblp.org/rec/bib/conf/kr/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DDPWW18,
  author = {Martin Diller and Wolfgang Dvo\v{r}{\'{a}}k and J{\"{o}}rg P{\"{u}}hrer and Johannes P. Wallner and Stefan Woltran},
  title = {Application of {ASP} in Formal Argumentation},
  booktitle = {Proceedings of the 2nd Workshop on Trends and Applications of Answer Set Programming (TAASP 2018)},
  editor = {Michael Morak and Philipp Wanko and Markus Hecher and Peter Sch{\"{u}}ller},
  year = {2018},
  url = {http://www.kr.tuwien.ac.at/events/taasp18/papers/TAASP_2018_paper_16.pdf}
}
@article{Puhrer18,
  author = {J{\"{o}}rg P{\"{u}}hrer},
  title = {ArgueApply: Abstract Argumentation at Your Fingertips},
  journal = {{KI}},
  volume = {32},
  number = {2-3},
  pages = {209--212},
  year = {2018},
  url = {https://doi.org/10.1007/s13218-018-0532-1},
  doi = {10.1007/s13218-018-0532-1}
}
@inproceedings{DFW18,
  author = {Wolfgang Dvo\v{r}{\'{a}}k and Jorge Fandinno and Stefan Woltran},
  title = {On the Expressive Power of Collective Attacks},
  pages = {49--60},
  url = {https://doi.org/10.3233/978-1-61499-906-5-49},
  doi = {10.3233/978-1-61499-906-5-49},
  booktitle = {Proceedings of the 7th International Conference on Computational Models of Argument (COMMA'18), Warsaw,
               Poland, 12-14 September 2018},
  year = {2018},
  editor = {Sanjay Modgil and
               Katarzyna Budzynska and
               John Lawrence},
  series = {Frontiers in Artificial Intelligence and Applications},
  volume = {305},
  publisher = {{IOS} Press},
  isbn = {978-1-61499-905-8}
}
@inproceedings{DZLW18,
  author = {Martin Diller and
               Atefeh Keshavarzi Zafarghandi and
               Thomas Linsbichler and
               Stefan Woltran},
  title = {Investigating Subclasses of Abstract Dialectical Frameworks},
  pages = {61--72},
  url = {https://doi.org/10.3233/978-1-61499-906-5-61},
  doi = {10.3233/978-1-61499-906-5-61},
  booktitle = {Proceedings of the 7th International Conference on Computational Models of Argument (COMMA'18), Warsaw,
               Poland, 12-14 September 2018},
  year = {2018},
  editor = {Sanjay Modgil and
               Katarzyna Budzynska and
               John Lawrence},
  series = {Frontiers in Artificial Intelligence and Applications},
  volume = {305},
  publisher = {{IOS} Press},
  isbn = {978-1-61499-905-8}
}
@inproceedings{DvorakGW18,
  author = {Wolfgang Dvo\v{r}{\'{a}}k and
               Alexander Gre{\ss}ler and
               Stefan Woltran},
  title = {Evaluating {SETAFs} via Answer-Set Programming},
  pages = {10--21},
  url = {http://ceur-ws.org/Vol-2171/paper_2.pdf},
  booktitle = {Proceedings of the Second International Workshop on Systems and Algorithms
               for Formal Argumentation {(SAFA} 2018) co-located with the 7th International
               Conference on Computational Models of Argument {(COMMA} 2018), Warsaw,
               Poland, September 11, 2018.},
  editor = {Matthias Thimm and
               Federico Cerutti and
               Mauro Vallati},
  series = {{CEUR} Workshop Proceedings},
  volume = {2171},
  publisher = {CEUR-WS.org},
  year = {2018},
  urn = {urn:nbn:de:0074-2171-3}
}
@inproceedings{HaretWW18,
  author = {Adrian Haret and
               Johannes Peter Wallner and
               Stefan Woltran},
  title = {Two Sides of the Same Coin: Belief Revision and Enforcing Arguments},
  booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
               Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
               Sweden.},
  pages = {1854--1860},
  year = {2018},
  url = {https://doi.org/10.24963/ijcai.2018/256},
  doi = {10.24963/ijcai.2018/256},
  editor = {J{\'{e}}r{\^{o}}me Lang},
  publisher = {ijcai.org},
  isbn = {978-0-9992411-2-7}
}
@inproceedings{LinsbichlerMNWW18,
  author = {Thomas Linsbichler and
               Marco Maratea and
               Andreas Niskanen and
               Johannes Peter Wallner and
               Stefan Woltran},
  title = {Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and {SAT} Solving},
  booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
               Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
               Sweden.},
  pages = {1905--1911},
  year = {2018},
  url = {https://doi.org/10.24963/ijcai.2018/263},
  doi = {10.24963/ijcai.2018/263},
  editor = {J{\'{e}}r{\^{o}}me Lang},
  publisher = {ijcai.org},
  isbn = {978-0-9992411-2-7}
}
@article{BESJW17,
  author = {Gerhard Brewka and Stefan Ellmauthaler and Hannes Strass and Johannes P. Wallner and Stefan Woltran},
  title = {{Abstract Dialectical Frameworks}. {A}n {O}verview},
  journal = {{IfCoLog Journal of Logics and their Applications}},
  editor = {Pietro Baroni and Dov Gabbay and Massimiliano Giacomin and Leendert van der Torre},
  volume = {4},
  number = {8},
  url = {http://www.collegepublications.co.uk/admin/download.php?ID=ifcolog00017},
  pages = {2263-2319},
  year = {2017},
  isbn = {978-1-84890-253-4}
}
@article{DD17,
  author = {Wolfgang Dvo{\v{r}}{\'{a}}k and Paul E. Dunne},
  title = {Computational Problems in Formal Argumentation and their Complexity},
  journal = {{IfCoLog Journal of Logics and their Applications}},
  editor = {Pietro Baroni and Dov Gabbay and Massimiliano Giacomin and Leendert van der Torre},
  volume = {4},
  number = {8},
  url = {http://www.collegepublications.co.uk/admin/download.php?ID=ifcolog00017},
  pages = {2557-2622},
  year = {2017},
  isbn = {978-1-84890-253-4}
}
@article{CGTW17,
  author = {Federico Cerutti and Sarah A. Gaggl and Matthias Thimm and Johannes P. Wallner},
  title = {Foundations of Implementations for Formal Argumentation.},
  journal = {{IfCoLog Journal of Logics and their Applications}},
  editor = {Pietro Baroni and Dov Gabbay and Massimiliano Giacomin and Leendert van der Torre},
  volume = {4},
  number = {8},
  url = {http://www.collegepublications.co.uk/admin/download.php?ID=ifcolog00017},
  pages = {2623-2706},
  year = {2017},
  isbn = {978-1-84890-253-4}
}
@incollection{BESJW18,
  author = {Gerhard Brewka and Stefan Ellmauthaler and Hannes Strass and Johannes P. Wallner and Stefan Woltran},
  title = {{Abstract Dialectical Frameworks}. {A}n {O}verview},
  booktitle = {Handbook of Formal Argumentation},
  publisher = {College Publications},
  editor = {Pietro Baroni and Dov Gabbay and Massimiliano Giacomin and Leendert van der Torre},
  address = {London},
  chapter = {5},
  pages = {237--285},
  year = 2018
}
@incollection{DD18,
  author = {Wolfgang Dvo{\v{r}}{\'{a}}k and Paul E. Dunne},
  title = {Computational Problems in Formal Argumentation and their Complexity},
  booktitle = {Handbook of Formal Argumentation},
  publisher = {College Publications},
  editor = {Pietro Baroni and Dov Gabbay and Massimiliano Giacomin and Leendert van der Torre},
  address = {London},
  chapter = {13},
  pages = {631--688},
  year = 2018
}
@incollection{CGTW18,
  author = {Federico Cerutti and Sarah A. Gaggl and Matthias Thimm and Johannes P. Wallner},
  title = {Foundations of Implementations for Formal Argumentation.},
  booktitle = {Handbook of Formal Argumentation},
  publisher = {College Publications},
  editor = {Pietro Baroni and Dov Gabbay and Massimiliano Giacomin and Leendert van der Torre},
  address = {London},
  chapter = {14},
  pages = {688--767},
  year = 2018
}
@article{B17,
  author = {Ringo Baumann},
  title = {On the Nature of Argumentation Semantics: Existence and Uniqueness,
Expressibility, and Replaceability},
  journal = {{IfCoLog Journal of Logics and their Applications}},
  editor = {Pietro Baroni and Dov Gabbay and Massimiliano Giacomin and Leendert van der Torre},
  volume = {4},
  number = {8},
  url = {http://www.collegepublications.co.uk/admin/download.php?ID=ifcolog00017},
  pages = {2779-2886},
  year = {2017},
  isbn = {978-1-84890-253-4}
}
@inproceedings{BrewkaW2010,
  author = {Brewka, Gerhard and Woltran, Stefan},
  title = {{Abstract Dialectical Frameworks}},
  booktitle = {Proceedings of the Twelfth International Conference on Principles
	of Knowledge Representation and Reasoning, KR 2010},
  year = {2010},
  editor = {Lin, Fangzhen and Sattler, Ulrike and Truszczynski, Miroslaw},
  pages = {102--111},
  address = {Toronto, Ontario, Canada},
  month = {May},
  publisher = {AAAI Press},
  url = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1294}
}
@inproceedings{BrewkaESWW2013,
  author = {Gerhard Brewka and Stefan Ellmauthaler and Hannes Strass and Johannes
	P. Wallner and Stefan Woltran},
  title = {{Abstract Dialectical Frameworks Revisited}},
  booktitle = {Proceedings of the 23rd International Joint Conference on Artificial
	Intelligence, IJCAI 2013},
  year = {2013},
  editor = {Francesca Rossi},
  pages = {803--809},
  address = {Beijing, China},
  month = {August},
  publisher = {AAAI Press / IJCAI},
  url = {http://ijcai.org/papers13/Papers/IJCAI13-125.pdf}
}
@inproceedings{BrewkaW2014,
  author = {Gerd Brewka and Stefan Woltran},
  title = {GRAPPA: A Semantical Framework for Graph-Based Argument Processing},
  booktitle = {Proceedings of the 21st European Conference on Artificial Intelligence, ECAI 2014},
  year = {2014},
  pages = {153--158},
  editor = {Torsten Schaub, Gerhard Friedrich and Barry O'Sullivan},
  doi = {http://dx.doi.org/10.3233/978-1-61499-419-0-153}
}
@inproceedings{LinsbichlerW16,
  author = {Thomas Linsbichler and
               Stefan Woltran},
  title = {Revision of Abstract Dialectical Frameworks: Preliminary Report},
  booktitle = {First international Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning, Arg-LPNMR 2016},
  year = {2016},
  editor = {Sarah Gaggl and
               Juan Carlos Nieves and
               Hannes Strass},
  pages = {15--22},
  url = {https://arxiv.org/abs/1611.02439}
}
@inproceedings{LinsbichlerPS16,
  author = {Thomas Linsbichler and
               J{\"{o}}rg P{\"{u}}hrer and
               Hannes Strass},
  title = {A Uniform Account of Realizability in Abstract Argumentation},
  booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
               Proceedings},
  pages = {252--260},
  year = {2016},
  editor = {Gal A. Kaminka and
               Maria Fox and
               Paolo Bouquet and
               Eyke H{\"{u}}llermeier and
               Virginia Dignum and
               Frank Dignum and
               Frank van Harmelen},
  series = {Frontiers in Artificial Intelligence and Applications},
  volume = {285},
  publisher = {{IOS} Press},
  url = {http://dx.doi.org/10.3233/978-1-61499-672-9-252}
}
@inproceedings{Woltran16,
  author = {Stefan Woltran},
  title = {Towards Advanced Systems for Abstract Argumentation},
  booktitle = {Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation, SAFA 2016},
  year = {2016},
  editor = {Matthias Thimm and
               Federico Cerutti and
               Hannes Strass and
               Mauro Vallati},
  note = {Extended Abstract of Invited Talk},
  pages = {1--3},
  url = {http://ceur-ws.org/Vol-1672/woltran.pdf}
}
@inproceedings{BaumannLW16,
  author = {Ringo Baumann and
               Thomas Linsbichler and
               Stefan Woltran},
  title = {Verifiability of Argumentation Semantics},
  booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2016},
  pages = {83--94},
  year = {2016},
  editor = {Pietro Baroni and
               Thomas F. Gordon and
               Tatjana Scheffler and
               Manfred Stede},
  series = {Frontiers in Artificial Intelligence and Applications},
  volume = {287},
  publisher = {{IOS} Press}
}
@inproceedings{BliemHW16,
  author = {Bernhard Bliem and
               Markus Hecher and
               Stefan Woltran},
  title = {On Efficiently Enumerating Semi-Stable Extensions via Dynamic Programming
               on Tree Decompositions},
  booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2016},
  pages = {107--118},
  year = {2016},
  editor = {Pietro Baroni and
               Thomas F. Gordon and
               Tatjana Scheffler and
               Manfred Stede},
  series = {Frontiers in Artificial Intelligence and Applications},
  volume = {287},
  publisher = {{IOS} Press}
}
@inproceedings{Spanring16,
  author = {Christof Spanring},
  title = {Perfection in Abstract Argumentation},
  booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2016},
  pages = {439--446},
  year = {2016},
  editor = {Pietro Baroni and
               Thomas F. Gordon and
               Tatjana Scheffler and
               Manfred Stede},
  series = {Frontiers in Artificial Intelligence and Applications},
  volume = {287},
  publisher = {{IOS} Press}
}
@inproceedings{HeissenbergerW16,
  author = {Georg Heissenberger and
               Stefan Woltran},
  title = {GrappaVis - {A} System for Advanced Graph-Based Argumentation},
  booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2016},
  pages = {473--474},
  year = {2016},
  editor = {Pietro Baroni and
               Thomas F. Gordon and
               Tatjana Scheffler and
               Manfred Stede},
  series = {Frontiers in Artificial Intelligence and Applications},
  volume = {287},
  publisher = {{IOS} Press}
}
@article{BaumannDLSSW16,
  author = {Ringo Baumann and
               Wolfgang Dvo{\v{r}}{\'{a}}k and
               Thomas Linsbichler and
               Christof Spanring and
               Hannes Strass and
               Stefan Woltran},
  title = {On rejected arguments and implicit conflicts: The hidden power of argumentation semantics},
  journal = {Artif. Intell.},
  volume = {241},
  pages = {244--284},
  year = {2016},
  url = {http://dx.doi.org/10.1016/j.artint.2016.09.004}
}
@inproceedings{BrewkaDHLW17,
  author = {Gerhard Brewka and
               Martin Diller and
               Georg Heissenberger and
               Thomas Linsbichler and
               Stefan Woltran},
  title = {Solving Advanced Argumentation Problems with Answer-Set Programming},
  booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence},
  pages = {1077--1083},
  year = {2017},
  url = {http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14369},
  editor = {Satinder P. Singh and
               Shaul Markovitch},
  publisher = {{AAAI} Press}
}
@phdthesis{Linsbichler17,
  title = {Advances in Abstract Argumentation -- Expressiveness and Dynamics},
  author = {Thomas Linsbichler},
  school = {TU Wien},
  year = {2017}
}
@inproceedings{Puehrer17,
  author = {J{\"{o}}rg P{\"{u}}hrer},
  title = {{ArgueApply}: {A} Mobile App for Argumentation},
  booktitle = {Proceedings of the 14th International
               Conference on Logic Programming and Nonmonotonic Reasoning, {LPNMR} 2017},
  pages = {250--262},
  year = {2017},
  url = {https://doi.org/10.1007/978-3-319-61660-5_23},
  editor = {Marcello Balduccini and
               Tomi Janhunen},
  series = {Lecture Notes in Computer Science},
  volume = {10377},
  publisher = {Springer}
}
@inproceedings{BrewkaTU17,
  author = {Gerhard Brewka and
               Matthias Thimm and
               Markus Ulbricht},
  title = {Strong Inconsistency in Nonmonotonic Reasoning},
  booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2017},
  pages = {901--907},
  year = {2017},
  url = {https://doi.org/10.24963/ijcai.2017/125},
  editor = {Carles Sierra},
  publisher = {ijcai.org}
}
@inproceedings{Kern-IsbernerB17,
  author = {Gabriele Kern{-}Isberner and
               Gerhard Brewka},
  title = {Strong Syntax Splitting for Iterated Belief Revision},
  booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2017},
  pages = {1131--1137},
  year = {2017},
  url = {https://doi.org/10.24963/ijcai.2017/157},
  editor = {Carles Sierra},
  publisher = {ijcai.org}
}
@inproceedings{KrollPW17,
  author = {Markus Kr{\"{o}}ll and
               Reinhard Pichler and
               Stefan Woltran},
  title = {On the Complexity of Enumerating the Extensions of Abstract Argumentation
               Frameworks},
  booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2017},
  pages = {1145--1152},
  year = {2017},
  url = {https://doi.org/10.24963/ijcai.2017/159},
  editor = {Carles Sierra},
  publisher = {ijcai.org}
}
@article{DvorakS17,
  author = {Wolfgang Dvo\v{r}{\'{a}}k and
               Christof Spanring},
  title = {Comparing the expressiveness of argumentation semantics},
  journal = {J. Log. Comput.},
  volume = {27},
  number = {5},
  pages = {1489--1521},
  year = {2017},
  url = {https://doi.org/10.1093/logcom/exw008},
  doi = {10.1093/logcom/exw008},
  timestamp = {Thu, 14 Sep 2017 17:30:07 +0200},
  biburl = {https://dblp.org/rec/bib/journals/logcom/DvorakS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{BaumannDLW17,
  author = {Ringo Baumann and
               Wolfgang Dvo{\v{r}}{\'{a}}k and
               Thomas Linsbichler and
               Stefan Woltran},
  title = {A General Notion of Equivalence for Abstract Argumentation},
  booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2017},
  pages = {800--806},
  year = {2017},
  url = {https://doi.org/10.24963/ijcai.2017/111},
  editor = {Carles Sierra},
  publisher = {ijcai.org}
}
@mastersthesis{Keshavarzi17,
  author = {Atefeh Keshavarzi},
  title = {Investigating Subclasses of Abstract Dialectical Frameworks},
  school = {TU Wien},
  year = {2017},
  url = {http://katalog.ub.tuwien.ac.at/AC13796946}
}
@inproceedings{DillerWS17,
  author = {Martin Diller and
               Adam Z. Wyner and
               Hannes Strass},
  title = {Defeasible {AceRules}: {A} {P}rototype},
  booktitle = {{IWCS} 2017 - 12th International Conference on Computational Semantics
               - Long papers, Montpellier, France, September 19 - 22, 2017},
  editor = {Claire Gardent and Christian Retor{\'{e}}},
  publisher = {The Association for Computer Linguistics},
  year = {2017},
  url = {https://aclanthology.info/volumes/iwcs-2017-12th-international-conference-on-computational-semantics-long-papers}
}
@inproceedings{LehtonenWJ17,
  author = {Tuomo Lehtonen and
               Johannes Peter Wallner and
               Matti J{\"{a}}rvisalo},
  title = {From Structured to Abstract Argumentation: Assumption-Based Acceptance
               via {AF} Reasoning},
  booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty
               - 14th European Conference, {ECSQARU} 2017, Lugano, Switzerland, July
               10-14, 2017, Proceedings},
  pages = {57--68},
  editor = {Alessandro Antonucci and
               Laurence Cholvy and
               Odile Papini},
  series = {Lecture Notes in Computer Science},
  volume = {10369},
  publisher = {Springer},
  year = {2017},
  url = {https://doi.org/10.1007/978-3-319-61581-3},
  doi = {10.1007/978-3-319-61581-3},
  isbn = {978-3-319-61580-6}
}
@inproceedings{BaumannS17,
  author = {Ringo Baumann and
               Christof Spanring},
  title = {A Study of Unrestricted Abstract Argumentation Frameworks},
  booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
               19-25, 2017},
  pages = {807--813},
  year = {2017},
  url = {https://doi.org/10.24963/ijcai.2017/112},
  doi = {10.24963/ijcai.2017/112},
  editor = {Carles Sierra},
  publisher = {ijcai.org},
  url = {http://www.ijcai.org/Proceedings/2017/},
  isbn = {978-0-9992411-0-3}
}
@article{DillerHLRW18,
  author = {Martin Diller and
               Adrian Haret and
               Thomas Linsbichler and
               Stefan R{\"{u}}mmele and
               Stefan Woltran},
  title = {An Extension-Based Approach to Belief Revision in Abstract Argumentation},
  journal = {Int. J. Approx. Reasoning},
  volume = {93},
  pages = {395--423},
  year = {2018},
  url = {https://doi.org/10.1016/j.ijar.2017.11.013}
}
@article{BrocheninLMWW18,
  author = {R{\'{e}}mi Brochenin and
               Thomas Linsbichler and
               Marco Maratea and
               Johannes Peter Wallner and
               Stefan Woltran},
  title = {Abstract solvers for Dung's argumentation frameworks},
  journal = {Argument {\&} Computation},
  volume = {9},
  number = {1},
  pages = {41--72},
  year = {2018},
  url = {https://doi.org/10.3233/AAC-170031},
  doi = {10.3233/AAC-170031},
  timestamp = {Fri, 23 Feb 2018 14:51:19 +0100},
  biburl = {https://dblp.org/rec/bib/journals/argcom/BrocheninLMWW18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{GagglLMW18,
  author = {Sarah A. Gaggl and 
            Thomas Linsbichler and
            Marco Maratea and
            Stefan Woltran},
  title = {Summary Report of the Second International Competition on Computational Models of Argumentation},
  journal = {AI Magazine},
  volume = {39},
  number = {4},
  pages = {77-79},
  year = {2018},
  url = {https://www.aaai.org/ojs/index.php/aimagazine/article/view/2781}
}
@inproceedings{BrewkaDHLW18,
  author = {Gerhard Brewka and
               Hannes Strass and
               Johannes Peter Wallner and
               Stefan Woltran},
  title = {Weighted Abstract Dialectical Frameworks},
  booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
               New Orleans, Louisiana, USA, February 2-7, 2018},
  year = {2018},
  editor = {Sheila A. McIlraith and
               Kilian Q. Weinberger},
  url = {https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/16373},
  publisher = {{AAAI} Press}
}
@article{OetschPT18,
  author = {Johannes Oetsch and
               J{\"{o}}rg P{\"{u}}hrer and
               Hans Tompits},
  title = {Stepwise debugging of answer-set programs},
  journal = {{Theory and Practice of Logic Programming}},
  volume = {18},
  number = {1},
  pages = {30--80},
  year = {2018},
  url = {https://doi.org/10.1017/S1471068417000217},
  doi = {10.1017/S1471068417000217},
  timestamp = {Wed, 07 Feb 2018 13:19:42 +0100},
  biburl = {https://dblp.org/rec/bib/journals/tplp/OetschPT18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{BrewkaEGKLP18,
  author = {Gerhard Brewka and
               Stefan Ellmauthaler and
               Ricardo Gon{\c{c}}alves and
               Matthias Knorr and
               Jo{\~{a}}o Leite and
               J{\"{o}}rg P{\"{u}}hrer},
  title = {Reactive multi-context systems: Heterogeneous reasoning in dynamic
               environments},
  journal = {Artificial Intelligence},
  volume = {256},
  pages = {68--104},
  year = {2018},
  url = {https://doi.org/10.1016/j.artint.2017.11.007},
  doi = {10.1016/j.artint.2017.11.007},
  timestamp = {Fri, 16 Feb 2018 15:01:17 +0100},
  biburl = {https://dblp.org/rec/bib/journals/ai/BrewkaEGKLP18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{BaumannDLW19,
  author = {Ringo Baumann and
               Wolfgang Dvor{\'{a}}k and
               Thomas Linsbichler and
               Stefan Woltran},
  title = {A general notion of equivalence for abstract argumentation},
  journal = {Artif. Intell.},
  volume = {275},
  pages = {379--410},
  year = {2019},
  url = {https://doi.org/10.1016/j.artint.2019.06.006},
  doi = {10.1016/j.artint.2019.06.006},
  timestamp = {Mon, 23 Sep 2019 17:27:00 +0200},
  biburl = {https://dblp.org/rec/bib/journals/ai/BaumannDLW19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DvorakFW19,
  author = {Wolfgang Dvor{\'{a}}k and
               Jorge Fandinno and
               Stefan Woltran},
  title = {On the expressive power of collective attacks},
  journal = {Argument {\&} Computation},
  volume = {10},
  number = {2},
  pages = {191--230},
  year = {2019},
  url = {https://doi.org/10.3233/AAC-190457},
  doi = {10.3233/AAC-190457},
  timestamp = {Tue, 08 Oct 2019 17:06:31 +0200},
  biburl = {https://dblp.org/rec/bib/journals/argcom/DvorakFW19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DvorakW19,
  author = {Wolfgang Dvor{\'{a}}k and
               Stefan Woltran},
  title = {Complexity of Abstract Argumentation under a Claim-Centric View},
  booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
               2019, The Thirty-First Innovative Applications of Artificial Intelligence
               Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
               Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
               USA, January 27 - February 1, 2019},
  pages = {2801--2808},
  year = {2019},
  publisher = {{AAAI} Press},
  url = {https://doi.org/10.1609/aaai.v33i01.33012801},
  doi = {10.1609/aaai.v33i01.33012801},
  timestamp = {Wed, 25 Sep 2019 11:05:08 +0200},
  biburl = {https://dblp.org/rec/bib/conf/aaai/DvorakW19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{BaumannB19,
  author = {Ringo Baumann and
               Gerhard Brewka},
  title = {Extension Removal in Abstract Argumentation - An Axiomatic Approach},
  booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
               2019, The Thirty-First Innovative Applications of Artificial Intelligence
               Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
               Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
               USA, January 27 - February 1, 2019},
  pages = {2670--2677},
  year = {2019},
  publisher = {{AAAI} Press},
  url = {https://doi.org/10.1609/aaai.v33i01.33012670},
  doi = {10.1609/aaai.v33i01.33012670},
  timestamp = {Wed, 25 Sep 2019 11:05:08 +0200},
  biburl = {https://dblp.org/rec/bib/conf/aaai/BaumannB19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{FichteHM19,
  author = {Johannes Klaus Fichte and
               Markus Hecher and
               Arne Meier},
  title = {Counting Complexity for Reasoning in Abstract Argumentation},
  booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
               2019, The Thirty-First Innovative Applications of Artificial Intelligence
               Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
               Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
               USA, January 27 - February 1, 2019},
  pages = {2827--2834},
  year = {2019},
  publisher = {{AAAI} Press},
  url = {https://doi.org/10.1609/aaai.v33i01.33012827},
  doi = {10.1609/aaai.v33i01.33012827},
  timestamp = {Wed, 25 Sep 2019 11:05:08 +0200},
  biburl = {https://dblp.org/rec/bib/conf/aaai/FichteHM19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{LehtonenWJ19,
  author = {Tuomo Lehtonen and
               Johannes Peter Wallner and
               Matti J{\"{a}}rvisalo},
  title = {Reasoning over Assumption-Based Argumentation Frameworks via Direct
               Answer Set Programming Encodings},
  booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
               2019, The Thirty-First Innovative Applications of Artificial Intelligence
               Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
               Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
               USA, January 27 - February 1, 2019},
  pages = {2938--2945},
  year = {2019},
  publisher = {{AAAI} Press},
  url = {https://doi.org/10.1609/aaai.v33i01.33012938},
  doi = {10.1609/aaai.v33i01.33012938},
  timestamp = {Wed, 25 Sep 2019 11:05:08 +0200},
  biburl = {https://dblp.org/rec/bib/conf/aaai/LehtonenWJ19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DvorakRW19,
  author = {Wolfgang Dvor{\'{a}}k and
               Anna Rapberger and
               Stefan Woltran},
  title = {Strong Equivalence for Argumentation Frameworks with Collective Attacks},
  booktitle = {{KI} 2019: Advances in Artificial Intelligence - 42nd German Conference
               on AI, Kassel, Germany, September 23-26, 2019, Proceedings},
  pages = {131--145},
  year = {2019},
  editor = {Christoph Benzm{\"{u}}ller and
               Heiner Stuckenschmidt},
  series = {Lecture Notes in Computer Science},
  volume = {11793},
  publisher = {Springer},
  url = {https://doi.org/10.1007/978-3-030-30179-8\_11},
  doi = {10.1007/978-3-030-30179-8\_11},
  timestamp = {Mon, 23 Sep 2019 17:27:06 +0200},
  biburl = {https://dblp.org/rec/bib/conf/ki/DvorakRW19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{Wallner18,
  author = {Johannes Peter Wallner},
  title = {Structural Constraints for Dynamic Operators in Abstract Argumentation},
  pages = {73--84},
  url = {https://doi.org/10.3233/978-1-61499-906-5-73},
  doi = {10.3233/978-1-61499-906-5-73},
  booktitle = {Proceedings of the 7th International Conference on Computational Models of Argument (COMMA'18), Warsaw,
               Poland, 12-14 September 2018},
  year = {2018},
  editor = {Sanjay Modgil and
               Katarzyna Budzynska and
               John Lawrence},
  series = {Frontiers in Artificial Intelligence and Applications},
  volume = {305},
  publisher = {{IOS} Press},
  isbn = {978-1-61499-905-8}
}
@article{Puhrer20,
  author = {J{\"{o}}rg P{\"{u}}hrer},
  title = {Realizability of three-valued semantics for abstract dialectical frameworks},
  journal = {Artif. Intell.},
  volume = {278},
  year = {2020},
  url = {https://doi.org/10.1016/j.artint.2019.103198},
  doi = {10.1016/j.artint.2019.103198},
  timestamp = {Wed, 27 Nov 2019 08:28:25 +0100},
  biburl = {https://dblp.org/rec/bib/journals/ai/Puhrer20},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{GagglLMW20,
  author = {Sarah Alice Gaggl and
               Thomas Linsbichler and
               Marco Maratea and
               Stefan Woltran},
  title = {Design and results of the Second International Competition on Computational
               Models of Argumentation},
  journal = {Artif. Intell.},
  volume = {279},
  year = {2020},
  url = {https://doi.org/10.1016/j.artint.2019.103193},
  doi = {10.1016/j.artint.2019.103193},
  timestamp = {Tue, 07 Jan 2020 08:31:14 +0100},
  biburl = {https://dblp.org/rec/bib/journals/ai/GagglLMW20},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{UlbrichtB19,
  author = {Markus Ulbricht and
               Ringo Baumann},
  title = {If Nothing Is Accepted - Repairing Argumentation Frameworks},
  journal = {J. Artif. Intell. Res.},
  volume = {66},
  pages = {1099--1145},
  year = {2019},
  url = {https://doi.org/10.1613/jair.1.11791},
  doi = {10.1613/jair.1.11791},
  timestamp = {Mon, 06 Jan 2020 17:16:01 +0100},
  biburl = {https://dblp.org/rec/bib/journals/jair/UlbrichtB19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{Wallner20,
  title = {Structural constraints for dynamic operators in abstract argumentation},
  author = {Wallner, Johannes P},
  journal = {Argument \& Computation},
  volume = {11},
  pages = {151--190},
  year = {2020}
}
@article{BrewkaDHLW20,
  author = {Gerhard Brewka and
               Martin Diller and
               Georg Heissenberger and
               Thomas Linsbichler and
               Stefan Woltran},
  title = {Solving Advanced Argumentation Problems with Answer Set Programming},
  journal = {Theory Pract. Log. Program.},
  volume = {20},
  number = {3},
  pages = {391--431},
  year = {2020},
  url = {https://doi.org/10.1017/S1471068419000474},
  doi = {10.1017/S1471068419000474},
  timestamp = {Wed, 06 May 2020 17:29:06 +0200},
  biburl = {https://dblp.org/rec/journals/tplp/BrewkaDHLW20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DillerKLW20,
  title = {Investigating subclasses of abstract dialectical frameworks},
  author = {Martin Diller and {Keshavarzi Zafarghandi}, Atefeh and Thomas Linsbichler and Stefan Woltran},
  year = {2020},
  month = {1},
  day = {17},
  doi = {10.3233/AAC-190481},
  language = {English},
  journal = {Argument & Computation},
  issn = {1946-2174},
  publisher = {IOS Press}
}
@inproceedings{DvorakRWW20,
  author = {Wolfgang Dvor{\'{a}}k and
               Anna Rapberger and
               Johannes Peter Wallner and
               Stefan Woltran},
  editor = {Andreas Herzig and
               Juha Kontinen},
  title = {{ASPARTIX-V19} - An Answer-Set Programming Based System for Abstract
               Argumentation},
  booktitle = {Foundations of Information and Knowledge Systems - 11th International
               Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings},
  series = {Lecture Notes in Computer Science},
  volume = {12012},
  pages = {79--89},
  publisher = {Springer},
  year = {2020},
  url = {https://doi.org/10.1007/978-3-030-39951-1\_5},
  doi = {10.1007/978-3-030-39951-1\_5},
  timestamp = {Thu, 06 Feb 2020 18:14:50 +0100},
  biburl = {https://dblp.org/rec/conf/foiks/DvorakRWW20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DVORAKW20,
  title = {Complexity of abstract argumentation under a claim-centric view},
  journal = {Artificial Intelligence},
  volume = {285},
  pages = {103290},
  year = {2020},
  issn = {0004-3702},
  doi = {https://doi.org/10.1016/j.artint.2020.103290},
  url = {http://www.sciencedirect.com/science/article/pii/S0004370220300497},
  author = {Wolfgang Dvořák and Stefan Woltran}
}
@article{UlbrichtTB20,
  author = {Markus Ulbricht and
                 Matthias Thimm and
			Gerhard Brewka},
  title = {Handling and measuring inconsistency in non-monotonic logics},
  journal = {Artif. Intell.},
  volume = {286},
  pages = {103344},
  year = {2020},
  url = {https://doi.org/10.1016/j.artint.2020.103344},
  doi = {10.1016/j.artint.2020.103344},
  timestamp = {Fri, 07 Aug 2020 08:55:33 +0200},
  biburl = {https://dblp.org/rec/journals/ai/UlbrichtTB20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{BaumannBU20,
  author = {Ringo Baumann and
               Gerhard Brewka and
               Markus Ulbricht},
  title = {Revisiting the Foundations of Abstract Argumentation - Semantics Based
               on Weak Admissibility and Weak Defense},
  booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
               2020, The Thirty-Second Innovative Applications of Artificial Intelligence
               Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
               Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
               February 7-12, 2020},
  pages = {2742--2749},
  publisher = {{AAAI} Press},
  year = {2020},
  url = {https://aaai.org/ojs/index.php/AAAI/article/view/5661},
  timestamp = {Tue, 02 Feb 2021 08:01:01 +0100},
  biburl = {https://dblp.org/rec/conf/aaai/BaumannBU20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{BaumannB020,
  author = {Ringo Baumann and
               Gerhard Brewka and
               Markus Ulbricht},
  editor = {Diego Calvanese and
               Esra Erdem and
               Michael Thielscher},
  title = {Comparing Weak Admissibility Semantics to their Dung-style Counterparts
               - Reduct, Modularization, and Strong Equivalence in Abstract Argumentation},
  booktitle = {Proceedings of the 17th International Conference on Principles of
               Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
               September 12-18, 2020},
  pages = {79--88},
  year = {2020},
  url = {https://doi.org/10.24963/kr.2020/9},
  doi = {10.24963/kr.2020/9},
  timestamp = {Fri, 29 Jan 2021 19:06:02 +0100},
  biburl = {https://dblp.org/rec/conf/kr/BaumannB020.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{Woltran20,
  author = {Stefan Woltran},
  editor = {Francesco Calimeri and
               Simona Perri and
               Ester Zumpano},
  title = {Computational Argumentation - Formal Models and Complexity Results
               (invited talk)},
  booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
               - {CILC} 2020, Rende, Italy, October 13-15, 2020},
  series = {{CEUR} Workshop Proceedings},
  volume = {2710},
  pages = {2},
  publisher = {CEUR-WS.org},
  year = {2020},
  url = {http://ceur-ws.org/Vol-2710/abstract-invited-2.pdf},
  timestamp = {Wed, 28 Oct 2020 17:00:55 +0100},
  biburl = {https://dblp.org/rec/conf/cilc/Woltran20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

This file was generated by bibtex2html 1.97.