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

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 ]

2017

[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
Last updated: 2016-09-20 18:20

Valid CSS! Valid XHTML 1.0 Transitional


Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist das Institut für Informationssysteme 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.