Project: New Methods for Analyzing, Comparing, and Solving Argumentation Problems
(supported by the Wiener Wissenschafts-, Forschungs- und Technologiefonds WWTF under grant ICT 08-028)
Archive
Paper accepted for ASPOCP 2012
06.08.2012-
Utilizing ASP for Generating and Visualizing Argumentation Frameworks
Günther Charwat, Johannes Peter Wallner and Stefan Woltran.
Best Student Papers
14.06.2012We are happy to announce that two of our papers have been awarded:
- Distinguished Student Paper Prize at KR 2012
for the paper
Complexity-Sensitive Decision Procedures for Abstract Argumentation.
Wolfgang Dvořák, Matti Järvisalo, Johannes Peter Wallner and Stefan Woltran. - Best Student Paper Award at NMR 2012
for the paper
Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics.
Wolfgang Dvořák and Sarah Alice Gaggl.
Paper accepted for SUM 2012
06.06.2012-
Abstract Argumentation via Monadic Second Order Logic
Wolfgang Dvořák, Stefan Szeider and Stefan Woltran.
System description accepted for PoS 2012
29.05.2012A system description of the CEGARTIX-system has been accepted for presentation at the PoS 2012 workshop.
-
CEGARTIX: A SAT-Based Argumentation System
Wolfgang Dvořák, Matti Järvisalo, Johannes Peter Wallner and Stefan Woltran.
Papers accepted for COMMA 2012
23.05.2012-
Comparing the Expressiveness of Argumentation Semantics. (full paper)
Wolfgang Dvořák and Christof Spanring -
Computational Aspects of cf2 and stage2 Argumentation Semantics. (full paper)
Wolfgang Dvořák and Sarah Alice Gaggl -
Complexity of logic-based argumentation in Schaefer's
framework. (full paper)
Nadia Creignou, Uwe Egly and Johannes Schmidt -
dynPARTIX 2.0 - Dynamic Programming Argumentation Reasoning Tool. (demonstration extended abstract)
Günther Charwat and Wolfgang Dvořák -
Evaluating Abstract Dialectical Frameworks with ASP
(demonstration extended abstract)
Stefan Ellmauthaler and Johannes Peter Wallner
Paper accepted for NMR 2012
27.04.2012-
Incorporating Stage Semantics in the SCC-recursive Schema for
Argumentation Semantics.
Wolfgang Dvořák and Sarah Alice Gaggl.
Three Journal Papers online
27.04.2012-
The cf2 argumentation semantics revisited.
Sarah Alice Gaggl and Stefan Woltran.
Journal of Logic and Computation 2012; doi: 10.1093/logcom/exs011. [ bib | paper]. -
Towards Fixed-Parameter Tractable Algorithms for Abstract Argumentation.
Wolfgang Dvořák, Reinhard Pichler and Stefan Woltran.
Artificial Intelligence Journal. (paper at sciencedirect) -
Augmenting Tractable Fragments of Abstract Argumentation.
Wolfgang Dvořák, Sebastion Ordyniak and Stefan Szeider.
Artificial Intelligence Journal. (paper at sciencedirect)
Paper accepted for KR 2012
12.2.2012We are happy to report the following paper has been accepted for KR 2012:
-
Complexity-Sensitive Decision Procedures for Abstract Argumentation.
Wolfgang Dvořák, Matti Järvisalo,
Johannes Peter Wallner and Stefan Woltran.
Jounal Paper published
20.12.2011Nadia Creignou, Johannes Schmidt, Michael Thomas and Stefan Woltran.
Complexity of logic-based argumentation in Post's framework.
Argument & Computation, 2:2-3,107-129 [ paper at Taylor & Francis Online ]
Pictures of INAP
The Pictures of the INAP-Conference (and of our presentations there [34,35]) are online and can be found here and here.Jounal Paper published
22.08.2011Wolfgang Dvořák, and Stefan Woltran. On the Intertranslatability of Argumentation Semantics. In Journal of Artificial Intelligence Research, 41 (2011): 445-475. [ paper ]
Jounal Paper published
16.08.2011Emilia Oikarinen, and Stefan Woltran. Characterizing strong equivalence for argumentation frameworks. In Artificial Intelligence, 175 (14-15): 1985-2009 (2011)
Accepted Papers at INAP 2011
16.08.2011We are happy to report that we have two papers accepted at the 19th International Conference on Applications of Declarative Programming and Knowledge Management.
- Wolfgang Dvořák, Sarah Alice Gaggl, Johannes Wallner and Stefan Woltran. Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems. (technical paper) [arXiv:1108.4942]
- Wolfgang Dvořák, Michael Morak, Clemens Nopp and Stefan Woltran. dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation. (system description) [arXiv:1108.4804]
New argumentation system available
20.06.2011dynPARTIX, an abstract argumentation system based on tree decompositions and dynamic programming is now available on its webpage.
Accepted Paper at TAFA-2011
06.05.2011Wolfgang Dvořák. On the Complexity of Computing the Justification Status of an Argument. (TAFA-11)
New team member
01.05.2011Johannes Wallner joined the project
Accepted Papers at IJCAI 2011 and ECSQARU 2011
04.04.2011We are happy to report that we have three accepted papers at IJCAI 2011 and ECSQARU 2011, namely
- Gerd Brewka, Paul E. Dunne, and Stefan Woltran. Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs. (IJCAI 2011)
- Paul E. Dunne, Wolfgang Dvořák, and Stefan Woltran. Parametric Properties of Ideal Semantics. (IJCAI 2011)
- Sarah Gaggl and Stefan Woltran. Strong Equivalence for Argumentation Semantics based on Conflict-free Sets. (ECSQARU 2011)
Paper published
04.04.2011- Manifold Answer-Set Programs for Meta-Reasoning.
Wolfgang Faber and Stefan Woltran. In: M. Balduccini and T.C. Son (Eds.): Gelfond Festschrift, volumne 6565 of Lecture Notes in Artificial Intelligence,pages 44–63. Springer, Heidelberg (2011)
Argumentation Christmas Meeting in Vienna
16.12.2010 |
| © www.meinwienheute.at |
On 7th and 8th of December 2010, Gerd Brewka, Stefan Szeider and Stefan Woltran organized a Mini-Workshop ("Argumentation Christmas Meeting") at the Vienna University of Technology, considered as a forum for researchers in the field of argumentation to interchange ideas and present novel or ongoing work. Participants were: Ringo Baumann, Gerd Brewka, Martin Caminada, Wolfgang Dvorak, Sarah Gaggl, Sanjay Modgil, Emilia Oikarinen, Stefan Szeider, Serena Villata and Stefan Woltran.
Best Student Paper Award
13.09.2010
Sarah Gaggl received the "Best Student Paper Award" for co-authoring and presenting the paper
-
cf2 Semantics Revisited [pdf ]
Sarah Gaggl and Stefan Woltran
ASPARTIX Conquers the Web
07.06.2010
The web-paltform of ASPARTIX is now available online.
Visit
http://rull.dbai.tuwien.ac.at:8080/ASPARTIX
to see the web application.
System Demonstration
09.09.2010We give a system demonstration of the web-platform of ASPARTIX at the COMMA 2010 in Desenzano del Garda, Italy, 8th-10th September 2010.
Two Accepted Papers at COMMA 2010
07.06.2010We are happy to report that we have two accepted papers at COMMA 2010, namely
-
cf2 Semantics Revisited [pdf ]
Sarah Gaggl and Stefan Woltran.
-
Reasoning in Argumentation Frameworks of Bounded Clique-Width [pdf ]
Wolfgang Dvořák, Stefan Szeider and Stefan Woltran.
Two Journal Papers Accepted for Publication
04.05.2010Recently two journal papers have been accepted for publication, namely:
-
Complexity of Semi-Stable and Stage Semantics in Argumentation
Frameworks
Wolfgang Dvořák and Stefan Woltran
In Inf. Process. Lett., 110(11): 425 - 430 (2010). [ bib | paper at sciencedirect ] - Answer-Set Programming Encodings for Argumentation
Frameworks
Uwe
Egly, Sarah Gaggl
and Stefan Woltran.
In Argument and Computation, 1(2): 147 - 177 (2010).[pdf]
Three Accepted Papers at KR 2010
26.01.2010We are happy to report that we have three accepted papers at KR 2010, namely
- Gerd Brewka and Stefan Woltran. (5) Abstract Dialectical Frameworks.
- Wolfgang Dvořák, Reinhard Pichler and Stefan Woltran. (106) Towards Fixed-Parameter Tractable Algorithms for Argumentation
- Emilia Oikarinen and Stefan Woltran. (170) Characterizing Strong Equivalence for Argumentation Frameworks
Argumentation Christmas Meeting in Leipzig
09.12.2009
On 3rd and 4th of December 2009, Gerd Brewka and Stefan Woltran organized a Mini-Workshop ("Argumentation Christmas Meeting") at the University of Leipzig, considered as a forum for researchers in the field of argumentation to interchange ideas and present novel or ongoing work. Participants were: Leila Amgoud, Tony Hunter, Tom Gordon, and Henry Prakken.
Nomination for the "Wiener Zukunftspreis 2009"
Our project has been nominated for the "Wiener Zukunftspreis 2009"
under the category "Startups and Newcomer".
Every year the city of Vienna together with the newspaper "News" awards
the "Wiener Zukunftspreis" to scientists and creative projects of
Vienna.
Interview of Stefan Woltran in "derStandard.at"
http://derstandard.at/?url=/?id=1234508562546
[04.03.2009]
Notification of ICT Call 2008 on "www.informatik.tuwien.ac.at"
http://www.informatik.tuwien.ac.at/aktuelles/129
[12.11.2008]
Notification of ICT Call 2008 on "wien.at"
http://www.wien.gv.at/vtx/rk?DATUM=20081118&SEITE=020081118018
[18.11.2008]
Back