Skip to Content

Vienna University of Technology Faculty of Informatics Database and Artificial Intelligence Group Leipzig University - Intelligent Systems Department
Top-level Navigation: Current-level Navigation:

Path: DBAI > Research > Projects > GRAPPA Project

Tools: Print

Project: A Semantical Framework for Graph-Based Argument Processing


       

(funded by Deutsche Forschungsgemeinschaft (DFG) and the Austrian Science Fund (FWF) under grants BR 1817/7-2 and I2854

Contents

News

Research Project finished

2020-11-30
This project is finished.

Invited Talk by Stefan Woltran

2020-10-14
Stefan Woltran gave an invited talk titled Computational Argumentation - Formal Models and Complexity Results (abstract) at the 35th Italian Conference on Computational Logic (CILC 2020).

Best STAIRS Paper Award

2020-09-01
Anna Rapberger received the Best STAIRS Paper Award for the paper Defining Argumentation Semantics under a Claim-centric View at the 9th European Starting AI Researcher's Symposium (STAIRS).

PhD and Master Theses

2020-01-24 (updated)
We are happy to announce that project members and former project members have successfully defended their PhD: Moreover, we congratulate the following students to their successful defense of their Master's theses:

Talk at KI 2019

2019-09-25
We presented our work on "Strong equivalence for argumentation frameworks with collective attacks" [53] at KI 2019 in Kassel, Germany (photo).

Gerhard Brewka elected Leading German Expert in AI by #KI50

2019-05-07
Congratulations to Gerhard Brewka, who has been elected one of the leading german experts in AI in the scope of the project “#KI50: Künstliche Intelligenz in Deutschland – gestern, heute morgen” (#KI50 – die zehn prägenden Köpfe der deutschen KI-Geschichte).

Workshop on New Trends in Formal Argumentation 2019

2019-04-30
On April 30, 2019 we hosed the second Workshop on New Trends in Formal Argumentation with local and international participation.

EurAI Dissertation Award Honourable Mention

2018-07-24
We are happy to announce that the European Association for Artificial Intelligence has decided to award an honourable mention to Thomas Linsbichler for his PhD thesis Advances in Abstract Argumentation - Expressiveness and Dynamics (photo).

Invited Talk by Gerhard Brewka

2018-05-24
Gerhard Brewka gave a keynote speech on Computational Models of Argument: A New Perspective on Persisting KR Problems (abstract, slides), at the Tenth International Symposium on Foundations of Information and Knowledge Systems (FOIKS 2018).

Invited Talk by Stefan Woltran

2018-04-16
Stefan Woltran gave an invited talk titled Expressibility of Argumentation Frameworks and its Relation to the Dynamics of Argumentation (slides) at the AMANDE - Argument Strength 2018 Workshop.

Handbook of Formal Argumentation

2017-11-12
Selected articles of the upcoming Handbook of Formal Argumentation have been published in a dedicated issue of the IfCoLog Journal of Logics and their Applications. Project members and partners have contributed the following articles:

ICCMA 2017: Results announced

2017-09-30
The 2nd International Competition on Computational Models of Argumentation (ICCMA 2017), co-organized by Stefan Woltran and Thomas Linsbichler, aiming to foster the advancement of solvers and systems for abstract argumentation problems, has been completed. The results can be found here.
A summary report of the competition appeared in the AI Magazine.

Invited Talk by Gerhard Brewka

2017-09-29
Gerhard Brewka has given a keynote speech on Computational Models of Argument: A Fresh View on Old AI Problems (abstract, slides) at the 40th German Conference on Artificial Intelligence (KI 2017).

Workshop on New Trends in Formal Argumentation 2017

2017-08-17
On August 17, 2017 we hosted the Workshop on New Trends in Formal Argumentation with local and international participation.

Invited Talk by Stefan Woltran

2017-07-03
Stefan Woltran has given an invited talk titled Towards Preprocessing for Abstract Argumentation Frameworks [slides] at the Fourth International Workshop on Defeasible and Ampliative Reasoning (DARe-17).

ArgueApply

2017-03-29 (updated)
We are happy to present ArgueApply, a mobile application developed by Jörg Pührer. ArgueApply allows users to involve in online discussions and make use of the GRAPPA framework to resolve conflicts and evaluate these discussions. A system paper titled ArgueApply: A Mobile App for Argumentation won the best system description award at LPNMR 2017.

Kickoff meeting

2017-03-27
The Vienna team visited Leipzig and we held an internal workshop to discuss future plans for the project (photo).

For previous events see Archive.

Top

Project team

Project leaders

Project staff

Internal project partners

External project partners

Top

Goal of the Project

This project is a successor to the project Abstract Dialectical Frameworks: Advanced Tools for Formal Argumentation, which was on the theoretical foundations of ADFs: we clarified, corrected and generalized the semantics of ADFs; we performed an in depth complexity analysis; we studied dynamic aspects of abstract argumentation; we also did various test implementations. Although theoretical investigations are still at the heart of our research, in this project we will give a lot more emphasis to the development of software tools. An important question we want to address now is the following: how to turn the by now quite well-understood abstract representation formalism of ADFs into easy-to-use tools which help lay users both to specify and to evaluate complex argumentation scenarios and debates.

The objectives of the proposed research are the following:

Top

Software

Top

Related Webpages

Top

Publications

[ bibtex ]

2020

[67] Computational argumentation - formal models and complexity results (invited talk).
Stefan Woltran.
In Francesco Calimeri, Simona Perri, and Ester Zumpano, editors, Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020, volume 2710 of CEUR Workshop Proceedings, page 2. CEUR-WS.org, 2020. [ bib | .pdf ]
[66] Comparing weak admissibility semantics to their dung-style counterparts - reduct, modularization, and strong equivalence in abstract argumentation.
Ringo Baumann, Gerhard Brewka, and Markus Ulbricht.
In Diego Calvanese, Esra Erdem, and Michael Thielscher, editors, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020, pages 79-88, 2020. [ bib | DOI | http ]
[65] Revisiting the foundations of abstract argumentation - semantics based on weak admissibility and weak defense.
Ringo Baumann, Gerhard Brewka, and Markus Ulbricht.
In 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. AAAI Press, 2020. [ bib | http ]
[64] Handling and measuring inconsistency in non-monotonic logics.
Markus Ulbricht, Matthias Thimm, and Gerhard Brewka.
Artif. Intell., 286:103344, 2020. [ bib | DOI | http ]
[63] Complexity of abstract argumentation under a claim-centric view.
Wolfgang Dvořák and Stefan Woltran.
Artificial Intelligence, 2020. [ bib | DOI | http ]
[62] Solving advanced argumentation problems with answer set programming.
Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, and Stefan Woltran.
Theory Pract. Log. Program., 20(3):391-431, 2020. [ bib | DOI | http ]
[61] Investigating subclasses of abstract dialectical frameworks.
Martin Diller, Atefeh Keshavarzi Zafarghandi, Thomas Linsbichler, and Stefan Woltran.
Argument & Computation, 11(1-2):191-219, 2020. [ bib | DOI ]
[60] ASPARTIX-V19 - An Answer-set Programming based System for Abstract Argumentation
Wolfgang Dvořák, Anna Rapberger, Johannes P. Wallner, and Stefan Woltran.
In Andreas Herzig and Juha Kontinen, editors, Foundations of Information and Knowledge Systems - 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings, volume 12012 of Lecture Notes in Computer Science, pages 79-89. Springer, 2020. [ bib | DOI | http ]
[59] Structural Constraints for Dynamic Operators in Abstract Argumentation
Johannes P. Wallner.
Argument & Computation, 11(1-2):151-190, 2020. [ bib |  DOI |  conference version: [37] ]
[58] Realizability of three-valued semantics for abstract dialectical frameworks.
Jörg Pührer.
Artif. Intell., 278, 2020. [ bib | DOI | http ]
[57] Design and results of the second international competition on computational models of argumentation.
Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, and Stefan Woltran.
Artif. Intell., 279, 2020. [ bib | DOI | http ]

2019

[56] If nothing is accepted - repairing argumentation frameworks.
Markus Ulbricht and Ringo Baumann.
J. Artif. Intell. Res., 66:1099-1145, 2019. [ bib | DOI | http ]
[55] A general notion of equivalence for abstract argumentation.
Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, and Stefan Woltran.
Artif. Intell., 275:379-410, 2019. [ bib | DOI | http ]
[54] On the expressive power of collective attacks.
Wolfgang Dvorák, Jorge Fandinno, and Stefan Woltran.
Argument & Computation, 10(2):191-230, 2019. [ bib | DOI | http ]
[53] Strong equivalence for argumentation frameworks with collective attacks.
Wolfgang Dvorák, Anna Rapberger, and Stefan Woltran.
In Christoph Benzmüller and Heiner Stuckenschmidt, editors, KI 2019: Advances in Artificial Intelligence - 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings, volume 11793 of Lecture Notes in Computer Science, pages 131-145. Springer, 2019. [ bib | DOI | http ]
[52] Complexity of abstract argumentation under a claim-centric view.
Wolfgang Dvorák and Stefan Woltran.
In 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. AAAI Press, 2019. [ bib | DOI | http ]
[51] Extension removal in abstract argumentation - an axiomatic approach.
Ringo Baumann and Gerhard Brewka.
In 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. AAAI Press, 2019. [ bib | DOI | http ]
[50] Counting complexity for reasoning in abstract argumentation.
Johannes Klaus Fichte, Markus Hecher, and Arne Meier.
In 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. AAAI Press, 2019. [ bib | DOI | http ]
[49] Reasoning over assumption-based argumentation frameworks via direct answer set programming encodings.
Tuomo Lehtonen, Johannes Peter Wallner, and Matti Järvisalo. In 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. AAAI Press, 2019. [ bib | DOI | http ]
[48] Multi-valued GRAPPA.
Gerhard Brewka, Jörg Pührer, and Stefan Woltran.
In Francesco Calimeri, Nicola Leone, and Marco Manna, editors, Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings, pages 85-101. Springer, 2019. [ bib | DOI | http ]
[47] Preprocessing argumentation frameworks via replacement patterns.
Wolfgang Dvorák, Matti Järvisalo, Thomas Linsbichler, Andreas Niskanen, and Stefan Woltran.
In Francesco Calimeri, Nicola Leone, and Marco Manna, editors, Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings, pages 116-132. Springer, 2019. [ bib | DOI | http ]
[46] Argumentation-based explanations for answer sets using ADF.
Lena Rolf, Gabriele Kern-Isberner, and Gerhard Brewka.
In Marcello Balduccini, Yuliya Lierler, and Stefan Woltran, editors, Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, pages 89-102. Springer, 2019. [ bib | DOI | http ]

2018

[45] If nothing is accepted - repairing argumentation frameworks.
Ringo Baumann and Markus Ulbricht.
In Michael Thielscher, Francesca Toni, and Frank Wolter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pages 108-117. AAAI Press, 2018. [ bib | http ]
[44] Application of ASP in formal argumentation.
Martin Diller, Wolfgang Dvořák, Jörg Pührer, Johannes P. Wallner, and Stefan Woltran.
In Michael Morak, Philipp Wanko, Markus Hecher, and Peter Schüller, editors, Proceedings of the 2nd Workshop on Trends and Applications of Answer Set Programming (TAASP 2018), 2018. [ bib | .pdf ]
[43] Abstract Dialectical Frameworks. An Overview.
Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes P. Wallner, and Stefan Woltran.
In Pietro Baroni, Dov Gabbay, Massimiliano Giacomin, and Leendert van der Torre, editors, Handbook of Formal Argumentation, chapter 5, pages 237-285. College Publications, London, 2018. [ bib ]
[42] Computational problems in formal argumentation and their complexity.
Wolfgang Dvořák and Paul E. Dunne.
In Pietro Baroni, Dov Gabbay, Massimiliano Giacomin, and Leendert van der Torre, editors, Handbook of Formal Argumentation, chapter 13, pages 631-688. College Publications, London, 2018. [ bib ]
[41] Foundations of implementations for formal argumentation.
Federico Cerutti, Sarah A. Gaggl, Matthias Thimm, and Johannes P. Wallner.
In Pietro Baroni, Dov Gabbay, Massimiliano Giacomin, and Leendert van der Torre, editors, Handbook of Formal Argumentation, chapter 14, pages 688-767. College Publications, London, 2018. [ bib ]
[40] Argueapply: Abstract argumentation at your fingertips.
Jörg Pührer.
KI, 32(2-3):209-212, 2018. [ bib | DOI | http ]
[39] On the expressive power of collective attacks.
Wolfgang Dvořák, Jorge Fandinno, and Stefan Woltran.
In Sanjay Modgil, Katarzyna Budzynska, and John Lawrence, editors, Proceedings of the 7th International Conference on Computational Models of Argument (COMMA'18), Warsaw, Poland, 12-14 September 2018, volume 305 of Frontiers in Artificial Intelligence and Applications, pages 49-60. IOS Press, 2018. [ bib | DOI | http ]
[38] Investigating subclasses of abstract dialectical frameworks.
Martin Diller, Atefeh Keshavarzi Zafarghandi, Thomas Linsbichler, and Stefan Woltran.
In Sanjay Modgil, Katarzyna Budzynska, and John Lawrence, editors, Proceedings of the 7th International Conference on Computational Models of Argument (COMMA'18), Warsaw, Poland, 12-14 September 2018, volume 305 of Frontiers in Artificial Intelligence and Applications, pages 61-72. IOS Press, 2018. [ bib | DOI | http ]
[37] Structural constraints for dynamic operators in abstract argumentation.
Johannes Peter Wallner.
In Sanjay Modgil, Katarzyna Budzynska, and John Lawrence, editors, Proceedings of the 7th International Conference on Computational Models of Argument (COMMA'18), Warsaw, Poland, 12-14 September 2018, volume 305 of Frontiers in Artificial Intelligence and Applications, pages 73-84. IOS Press, 2018. [ bib | DOI | http ]
[36] Evaluating SETAFs via answer-set programming.
Wolfgang Dvořák, Alexander Greßler, and Stefan Woltran.
In Matthias Thimm, Federico Cerutti, and Mauro Vallati, editors, 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., volume 2171 of CEUR Workshop Proceedings, pages 10-21. CEUR-WS.org, 2018. [ bib | .pdf ]
[35] Two sides of the same coin: Belief revision and enforcing arguments.
Adrian Haret, Johannes Peter Wallner, and Stefan Woltran.
In Jérôme Lang, editor, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden., pages 1854-1860. ijcai.org, 2018. [ bib | DOI | http ]
[34] Novel algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving.
Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes Peter Wallner, and Stefan Woltran.
In Jérôme Lang, editor, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden., pages 1905-1911. ijcai.org, 2018. [ bib | DOI | http ]
[33] Weighted abstract dialectical frameworks.
Gerhard Brewka, Hannes Strass, Johannes P. Wallner, and Stefan Woltran.
In Sheila A. McIlraith and Kilian Q. Weinberger, editors, Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, Louisiana, USA, February 2-7, 2018. AAAI Press, 2018. [ bib | http ]
[32] Summary report of the second international competition on computational models of argumentation.
Sarah A. Gaggl, Thomas Linsbichler, Marco Maratea, and Stefan Woltran.
AI Magazine, 39(4):77-79, 2018. [ bib | http ]
[31] Abstract solvers for dung's argumentation frameworks.
Rémi Brochenin, Thomas Linsbichler, Marco Maratea, Johannes Peter Wallner, and Stefan Woltran. Argument & Computation, 9(1):41-72, 2018. [ bib | DOI | http ]
[30] An extension-based approach to belief revision in abstract argumentation.
Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, and Stefan Woltran.
Int. J. Approx. Reasoning, 93:395-423, 2018.
[ bib | DOI ]
[29] Reactive multi-context systems: Heterogeneous reasoning in dynamic environments.
Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, and Jörg Pührer. Artificial Intelligence, 256:68-104, 2018. [ bib | DOI | http ]
[28] Stepwise debugging of answer-set programs.
Johannes Oetsch, Jörg Pührer, and Hans Tompits. Theory and Practice of Logic Programming, 18(1):30-80, 2018. [ bib | DOI | http ]

2017

[27] Abstract Dialectical Frameworks. An Overview.
Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes P. Wallner, and Stefan Woltran. IfCoLog Journal of Logics and their Applications, 4(8):2263-2319, 2017. [ bib | http ]
[26] Computational problems in formal argumentation and their complexity.
Wolfgang Dvořák and Paul E. Dunne. IfCoLog Journal of Logics and their Applications, 4(8):2557-2622, 2017. [ bib | http ]
[25] Foundations of implementations for formal argumentation.
Federico Cerutti, Sarah A. Gaggl, Matthias Thimm, and Johannes P. Wallner. IfCoLog Journal of Logics and their Applications, 4(8):2623-2706, 2017. [ bib | http ]
[24] On the nature of argumentation semantics: Existence and uniqueness, expressibility, and replaceability.
Ringo Baumann. IfCoLog Journal of Logics and their Applications, 4(8):2779-2886, 2017. [ bib | http ]
[23] Comparing the expressiveness of argumentation semantics.
Wolfgang Dvořák and Christof Spanring. J. Log. Comput., 27(5):1489-1521, 2017. [ bib | DOI | http ]
[22] Defeasible AceRules: A Prototype.
Martin Diller, Adam Z. Wyner, and Hannes Strass. In Claire Gardent and Christian Retoré, editors, IWCS 2017 - 12th International Conference on Computational Semantics - Long papers, Montpellier, France, September 19 - 22, 2017. The Association for Computer Linguistics, 2017. [ bib | http ]
[21] From structured to abstract argumentation: Assumption-based acceptance via AF reasoning.
Tuomo Lehtonen, Johannes Peter Wallner, and Matti Järvisalo. In Alessandro Antonucci, Laurence Cholvy, and Odile Papini, editors, Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings, volume 10369 of Lecture Notes in Computer Science, pages 57-68. Springer, 2017. [ bib | DOI | http ]
[20] A study of unrestricted abstract argumentation frameworks.
Ringo Baumann and Christof Spanring. In Carles Sierra, editor, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pages 807-813. ijcai.org, 2017. [ bib | DOI | http ]
[19] Investigating subclasses of abstract dialectical frameworks.
Atefeh Keshavarzi.
Master's thesis, TU Wien, Stefan Woltran, Martin Diller, and Thomas Linsbichler, advisors, 2017.
[ bib | http ]
[18] A general notion of equivalence for abstract argumentation.
Ringo Baumann, Wolfgang Dvořák, Thomas Linsbichler, and Stefan Woltran.
In Carles Sierra, editor, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, pages 800-806. ijcai.org, 2017.
[ bib | DOI ]
[17] On the complexity of enumerating the extensions of abstract argumentation frameworks.
Markus Kröll, Reinhard Pichler, and Stefan Woltran.
In Carles Sierra, editor, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, pages 1145-1152. ijcai.org, 2017.
[ bib | DOI ]
[16] Strong syntax splitting for iterated belief revision.
Gabriele Kern-Isberner and Gerhard Brewka.
In Carles Sierra, editor, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, pages 1131-1137. ijcai.org, 2017.
[ bib | DOI ]
[15] Strong inconsistency in nonmonotonic reasoning.
Gerhard Brewka, Matthias Thimm, and Markus Ulbricht.
In Carles Sierra, editor, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, pages 901-907. ijcai.org, 2017.
[ bib | DOI ]
[14] ArgueApply: A mobile app for argumentation.
Jörg Pührer.
In Marcello Balduccini and Tomi Janhunen, editors, Proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017, pages 250-262. Springer, 2017.
[ bib | DOI ]
[13] Advances in Abstract Argumentation - Expressiveness and Dynamics.
Thomas Linsbichler.
PhD thesis, TU Wien, Stefan Woltran and Wolfgang Dvořák, advisors, 2017.
[ bib | obv ]
[12] Solving Advanced Argumentation Problems with Answer-Set Programming.
Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, and Stefan Woltran.
In Satinder P. Singh and Shaul Markovitch, editors, Proceedings of the 31st AAAI Conference on Artificial Intelligence, pages 1077-1083. AAAI Press, 2017.
[ bib | paper | system YADF  ]

2016

[11] On rejected arguments and implicit conflicts: The hidden power of argumentation semantics.
Ringo Baumann, Wolfgang Dvořák, Thomas Linsbichler, Christof Spanring, Hannes Strass, and Stefan Woltran.
Artif. Intell., 241:244-284, 2016.
[ bib | DOI ]
[10] Grappavis - A system for advanced graph-based argumentation.
Georg Heissenberger and Stefan Woltran.
In Pietro Baroni, Thomas F. Gordon, Tatjana Scheffler, and Manfred Stede, editors, Computational Models of Argument - Proceedings of COMMA 2016, pages 473-474. IOS Press, 2016.
[ bib | paper | system GrappaVis ]
[9] Perfection in abstract argumentation.
Christof Spanring.
In Pietro Baroni, Thomas F. Gordon, Tatjana Scheffler, and Manfred Stede, editors, Computational Models of Argument - Proceedings of COMMA 2016, pages 439-446. IOS Press, 2016.
[ bib | paper ]
[8] On efficiently enumerating semi-stable extensions via dynamic programming on tree decompositions.
Bernhard Bliem, Markus Hecher, and Stefan Woltran.
In Pietro Baroni, Thomas F. Gordon, Tatjana Scheffler, and Manfred Stede, editors, Computational Models of Argument - Proceedings of COMMA 2016, pages 107-118. IOS Press, 2016.
[ bib | paper ]
[7] Verifiability of argumentation semantics.
Ringo Baumann, Thomas Linsbichler, and Stefan Woltran.
In Pietro Baroni, Thomas F. Gordon, Tatjana Scheffler, and Manfred Stede, editors, Computational Models of Argument - Proceedings of COMMA 2016, pages 83-94. IOS Press, 2016.
[ bib | paper ]
[6] Towards advanced systems for abstract argumentation.
Stefan Woltran.
In Matthias Thimm, Federico Cerutti, Hannes Strass, and Mauro Vallati, editors, Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation, SAFA 2016, pages 1-3, 2016. Extended Abstract of Invited Talk.
[ bib | pdf ]
[5] A uniform account of realizability in abstract argumentation.
Thomas Linsbichler, Jörg Pührer, and Hannes Strass.
In Gal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum, and Frank van Harmelen, editors, ECAI 2016 - 22nd European Conference on Artificial Intelligence, Proceedings, pages 252-260. IOS Press, 2016.
[ bib |  paper |  system UNREAL ]
[4] Revision of abstract dialectical frameworks: Preliminary report.
Thomas Linsbichler and Stefan Woltran.
In Sarah Gaggl, Juan Carlos Nieves, and Hannes Strass, editors, First international Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning, Arg-LPNMR 2016, pages 15-22, 2016.
[ bib | paper at arXiv ]

Preliminary Publications

[3] GRAPPA: A Semantical Framework for Graph-Based Argument Processing
Gerd Brewka and Stefan Woltran.
In Torsten Schaub, Gerhard Friedrich and Barry O'Sullivan, editors, Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), pages 153-158, 2014.
[ bib | DOI ]
[2] Abstract Dialectical Frameworks Revisited
Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes P. Wallner and Stefan Woltran.
In Francesca Rossi, editor, Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), pages 803-809, IJCAI/AAAI, 2013
[ bib | pdf ]
[1] Abstract Dialectical Frameworks
Gerd Brewka and Stefan Woltran.
In Fangzhen Lin, Ulrike Sattler and Miroslaw Truszczynski, editors, Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR 2010), pages 102–111, AAAI Press, 2010.
[ bib | pdf ]
Top

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist das Institut für Logic and Computation an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. Disclaimer / Datenschutzerklärung