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

EurAI Dissertation Award Honourable Mention

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

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

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.

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).

PhD and Master Theses

2017-09-13 (updated)
We are happy to announce that (former) project members have successfully defended their PhD theses under the supervision of Stefan Woltran: Moreover, Atefeh Keshavarzi defended her Master's thesis titled Investigating Subclasses of Abstract Dialectical Frameworks (pdf), supervised by Stefan Woltran.

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 ]

2018

[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, 2018.
To appear.
bib ]
[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 Dvorá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