Skip to Content

TU Wien Fakultät für Informatik DBAI Database and Artificial Intelligence Group
Top-level Navigation: Current-level Navigation:

Path: DBAI > research > project > argumentation

Tools: Drucken

Project: New Methods for Analyzing, Comparing, and Solving Argumentation Problems

(has been funded by the Vienna Science and Technology Fund (WWTF) through project ICT08-028)

Contents

News

Research Project finished

31.10.2012
This project is finished.

For previous events see Archive.

Top

Duration:

The project started at 1 April 2009 and the duration is 3 years.

Top

Project team


Project team

Project Leader:

Project Staff:

Project Partners:

Top

Goal of the project

In the past decade, argumentation as a research field has become a core issue within the frame of Artificial Intelligence (AI), providing a formal treatment for reasoning problems such as can be typically found in multi-agent systems or law research. The approach allows to pinpoint conflicts between arguments. The project investigates the basics for comparing argumentation frameworks and to accelerate the computing process by new methods. It will also provide a first prototype for an "argumentation support system" which could be used for legal reasoning, mediation processes and to analyse social interactions on the Internet.

Top

Software

Top

Teaching

Top

Links

Top

Publications

2013

[61] Parametric Properties of Ideal Semantics
Paul E. Dunne, Wolfgang Dvořák and Stefan Woltran.
In Artificial Intelligence, 202: 1-28 (2013). [ paper at sciencedirect ]
[60] On the Limits of Expressiveness in Abstract Argumentation Semantics: Realizability and Signatures
Thomas Linsbichler
Master's Thesis, Technische Universität Wien, Stefan Woltran and Wolfgang Dvořák advisors, 2013. [ .pdf |  official version ]
[59] Implementing Abstract Argumentation - A Survey
Günther Charwat, Wolfgang Dvořák, Sarah Alice Gaggl, Johannes Peter Wallner and Stefan Woltran.
Technical Report DBAI-TR-2013-82, Technische Universität Wien, 2013. [ .pdf ]
[58] Argumentation and Answer-Set Programming Modelling the Resolution-Based Grounded Semantics
Christian Weichselbaum
Master's Thesis, Technische Universität Wien, Stefan Woltran and Sarah Gaggl advisors, 2013. [ obv ]
[57] Intertranslatability Results for Abstract Argumentation Semantics
Christof Spanring
Master's Thesis, Universität Wien, Stefan Woltran and Wolfgang Dvořák advisors, 2013. [ pdf ]

2012

[56] Abstract Argumentation via Monadic Second Order Logic
Wolfgang Dvořák, Stefan Szeider and Stefan Woltran.
In Proceedings of the 6th International Conference on Scalable Uncertainty Management (SUM 2012), Marburg, Germany, September 17-19, 2012, volume 7520 of Lecture Notes in Computer Science, pages 85-98. Springer, 2012. [ bib | paper ].
[55] Abstract Dialectical Frameworks: Properties, Complexity, and Implementation
Stefan Ellmauthaler
Master's Thesis, Technische Universität Wien, Stefan Woltran and Johannes Peter Wallner advisors, 2012. [ obv ]
[54] CEGARTIX: A SAT-Based Argumentation System.
Wolfgang Dvořák, Matti Jävisalo, Johannes Peter Wallner and Stefan Woltran.
Accepted for PoS 2012 workshop
[53] Comparing the Expressiveness of Argumentation Semantics.
Wolfgang Dvořák and Christof Spanring.
In Proceedings of the 4th International Conference on Computational Models of Argument (COMMA 2012), Vienna, Austria, September 10-12, 2012, volume 245 of Frontiers in Artificial Intelligence and Applications, pages 261-272. IOS Press, 2012. [ bib | paper ].
[52] Complexity of logic-based argumentation in Schaefer's framework.
Nadia Creignou, Uwe Egly and Johannes Schmidt.
In Proceedings of the 4th International Conference on Computational Models of Argument (COMMA 2012), Vienna, Austria, September 10-12, 2012, volume 245 of Frontiers in Artificial Intelligence and Applications, pages 237-248. IOS Press, 2012. [ bib | paper ].
[51] dynPARTIX 2.0 - Dynamic Programming Argumentation Reasoning Tool. (demonstration extended abstract)
Günther Charwat and Wolfgang Dvořák.
In Proceedings of the 4th International Conference on Computational Models of Argument (COMMA 2012), Vienna, Austria, September 10-12, 2012, volume 245 of Frontiers in Artificial Intelligence and Applications, pages 507-508. IOS Press, 2012. [ bib | extended abstract ].
[50] Evaluating Abstract Dialectical Frameworks with ASP. (demonstration extended abstract)
Stefan Ellmauthaler and Johannes Peter Wallner.
In Proceedings of the 4th International Conference on Computational Models of Argument (COMMA 2012), Vienna, Austria, September 10-12, 2012, volume 245 of Frontiers in Artificial Intelligence and Applications, pages 505-506. IOS Press, 2012. [ bib | extended abstract ].
[49] Utilizing ASP for Generating and Visualizing Argumentation Frameworks.
Günther Charwat, Johannes Peter Wallner and Stefan Woltran.
In Michael Fink and Yuliya Lierler, editors, Proceedings of the Fifth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), pages 51-65, Budapest, Hungary, September 4, 2012. [ bib | paper ].
[48] Computational Aspects of cf2 and stage2 Argumentation Semantics.
Wolfgang Dvořák and Sarah Alice Gaggl.
In Proceedings of the 4th International Conference on Computational Models of Argument (COMMA 2012), Vienna, Austria, September 10-12, 2012, volume 245 of Frontiers in Artificial Intelligence and Applications , pages 273-284. IOS Press, 2012. [ bib |  paper].
[47] Parameterized Splitting: A Simple Modification-Based Approach.
Ringo Baumann, Gerhard Brewka, Wolfgang Dvořák, and Stefan Woltran
In Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz, LNCS 7265, Springer 2012: 57-71 [ bib |  paper].
[46] Complexity-Sensitive Decision Procedures for Abstract Argumentation.
Wolfgang Dvořák, Matti Jävisalo, Johannes Peter Wallner and Stefan Woltran.
In Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), Rome, Italy, June 10-14, 2012. [ bib |  paper].
[45] Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics.
Wolfgang Dvořák and Sarah Alice Gaggl.
In Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR 2012), Rome, Italy, June 8-10, 2012. [ bib | paper ].
[44] Towards fixed-parameter tractable algorithms for abstract argumentation
Wolfgang Dvořák, Reinhard Pichler, and Stefan Woltran.
In Artificial Intelligence, 186: 1-37 (2012). [ bib | paper at sciencedirect ]
[43] Augmenting Tractable Fragments of Abstract Argumentation.
Wolfgang Dvořák, Sebastion Ordyniak, and Stefan Szeider.
In Artificial Intelligence, 186: 157-173 (2012). [ bib | paper at sciencedirect ]
[42] The cf2 argumentation semantics revisited.
Sarah Alice Gaggl and Stefan Woltran.
Journal of Logic and Computation 2012; doi: 10.1093/logcom/exs011. [ bib | paper].
[41] Abstract Argumentation via Monadic Second Order Logic.
Wolfgang Dvořák, Stefan Szeider and Stefan Woltran.
Technical Report DBAI-TR-2012-79, Technische Universität Wien, 2012. [ bib | .pdf ]
[40] Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics.
Wolfgang Dvořák and Sarah Alice Gaggl.
Technical Report DBAI-TR-2012-78, Technische Universität Wien, 2012. [ bib | .pdf ]
[39] The cf2 Argumentation Semantics Revisited.
Sarah Alice Gaggl and Stefan Woltran.
Technical Report DBAI-TR-2012-77, Technische Universität Wien, 2012. [ bib | .pdf ]
[38] Tree-Decomposition based Algorithms for Abstract Argumentation Frameworks
Günther Charwat.
Master's Thesis, Technische Universität Wien, Stefan Woltran and Wolfgang Dvořák advisors, 2012. [ .pdf, obv ]

2011

[37] Complexity of logic-based argumentation in Post's framework.
Nadia Creignou, Johannes Schmidt, Michael Thomas and Stefan Woltran.
Argument & Computation, 2:2-3,107-129 [ bib | paper at Taylor & Francis Online ]
[36] Towards Fixed-Parameter Tractable Algorithms for Abstract Argumentation.
Wolfgang Dvořák, Reinhard Pichler, and Stefan Woltran.
Technical Report DBAI-TR-2011-74, Technische Universität Wien, 2011. [ bib | .pdf ]
[35] Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems.
Wolfgang Dvořák, Sarah Alice Gaggl, Johannes Wallner and Stefan Woltran.
In Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) [ bib | paper ]
[34] dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation. (system description)
Wolfgang Dvořák, Michael Morak, Clemens Nopp and Stefan Woltran.
In Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) [ bib | paper ]
[33] On the Intertranslatability of Argumentation Semantics.
Wolfgang Dvořák, and Stefan Woltran.
In Journal of Artificial Intelligence Research, 41 (2011): 445-475. [ bib | paper ]
[32] Characterizing strong equivalence for argumentation frameworks.
Emilia Oikarinen, and Stefan Woltran.
In Artificial Intelligence, 175 (14-15): 1985-2009 (2011), ISSN 0004-3702, DOI: 10.1016/j.artint.2011.06.003. [ bib | paper at sciencedirect ]
[31] Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems.
Wolfgang Dvořák, Sarah Alice Gaggl, Johannes Wallner, and Stefan Woltran.
Technical Report DBAI-TR-2011-70, Technische Universität Wien, 2011. [ bib | .pdf ]
[30] On the Complexity of Computing the Justification Status of an Argument.
Wolfgang Dvořák.
First International Workshop on the Theory and Applications of Formal Argumentation [ bib |  Workshop Proceedings ]
[29] Parametric Properties of Ideal Semantics.
Wolfgang Dvořák, Paul E. Dunne, and Stefan Woltran
In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI 2011), 851-856 , 2011. [ bib |  .pdf ]
[28] Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs.
Gerd Brewka, Paul E. Dunne, and Stefan Woltran.
In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI 2011),780-785 , 2011. [ bib |  .pdf ]
[27] Strong Equivalence for Argumentation Semantics based on Conflict-free Sets.
Sarah Alice Gaggl and Stefan Woltran.
In Proceedings of the 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2011), 38-49, 2011. [ bib | .pdf ]
[26] 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) [ bib ]
[25] Strong Equivalence for Argumentation Semantics based on Conflict-free Sets.
Sarah Alice Gaggl, and Stefan Woltran.
Technical Report DBAI-TR-2011-68, Technische Universität Wien, 2011. [ bib | .pdf ]

2010

[24] On the Intertranslatability of Argumentation Semantics.
Wolfgang Dvořák and Stefan Woltran.
In Proceedings of the Conference on Thirty Years of Nonmonotonic Reasoning (NonMon@30 2010), Lexington, KY, USA, October 22-25, 2010. [ bib | .pdf ]
[23] Analysis of Grounders and Solvers for ASP Encodings of Argumentation Frameworks.
Michael Petritsch.
Bachelor Thesis, Technische Universität Wien, Stefan Woltran supervisor, 2010. [ .pdf ]
[22] Sets of Boolean Connectives that make Argumentation Easier.
Nadia Creignou, Johannes Schmidt, Michael Thomas and Stefan Woltran.
In Proceedings of the 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Helsinki, Finland, September 13-15, 2010. [ bib | .pdf ]
[21] cf2 Semantics Revisited.
Sarah Alice Gaggl and Stefan Woltran.
In Pietro Baroni, Federico Cerutti, Massimiliano Giacomin, Guillermo R. Simari, editors, Proceedings of the Third International Conference on Computational Models of Argument (COMMA 2010), Desenzano del Garda, Italy, September 8-10, 2010, volume 216 of Frontiers in Artificial Intelligence and Applications, pages 243–254. IOS Press, 2010. [ bib | pdf ]
[20] Reasoning in Argumentation Frameworks of Bounded Clique-Width.
Wolfgang Dvořák, Stefan Szeider and Stefan Woltran.
In Pietro Baroni, Federico Cerutti, Massimiliano Giacomin, Guillermo R. Simari, editors, Proceedings of the Third International Conference on Computational Models of Argument (COMMA 2010), Desenzano del Garda, Italy, September 8-10, 2010, volume 216 of Frontiers in Artificial Intelligence and Applications, pages 219–230. IOS Press, 2010. [ bib | .pdf ]
[19] Towards a General Argumentation System based on Answer-Set Programming.
Sarah Alice Gaggl.
In ICLP (Technical Communications) 2010: 265-269. [ bib | pdf]
[18] Answer-Set Programming Encodings for Argumentation Frameworks.
Uwe Egly, Sarah Alice Gaggl, and Stefan Woltran.
In Argument and Computation, 1(2): 147 - 177 (2010). [ bib | pdf]
[17] 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 ]
[16] Towards Fixed-Parameter Tractable Algorithms for Argumentation.
Wolfgang Dvořák, Reinhard Pichler 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), Toronto, Ontario, Canada, May 9-13, 2010, pages 112–122, AAAI Press, 2010. [ bib | pdf ]
[15] Characterizing Strong Equivalence for Argumentation Frameworks.
Emilia Oikarinen 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), Toronto, Ontario, Canada, May 9-13, 2010, pages 123–133, AAAI Press, 2010. [ bib | pdf ]
[14] 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), Toronto, Ontario, Canada, May 9-13, 2010, pages 102–111, AAAI Press, 2010. [ bib | pdf ]

2009

[13] Technical Note: Complexity of Stage Semantics in Argumentation Frameworks.
Wolfgang Dvořák and Stefan Woltran.
Technical Report DBAI-TR-2009-66, Technische Universität Wien, Database and Artificial Intelligence Group, 2009. [ bib | .pdf ]
[12] Argumentation with Bounded Tree-Width.
Wolfgang Dvořák.
Poster. ACAI'09 Poster Session. [.pdf | printer friendly ]
[11] ASPARTIX: A System for Computing Different Argumentation Semantics in Answer-Set Programming.
Sarah Alice Gaggl.
Poster. ACAI'09 Poster Session. [.pdf ]
[10] A Framework for Programming with Module Consequences.
Wolfgang Faber and Stefan Woltran.
In Marina De Vos and Torsten Schaub, editors, Proceedings of the LPNMR-09 Workshop on Software Engineering for Answer Set Programming, (SEA'09), pages 34–48. [ bib | .pdf ]
[9] Encoding Deductive Argumentation in Quantified Boolean Formulae.
Philippe Besnard, Anthony Hunter and Stefan Woltran.
In Artificial Intelligence, 173(15): 1406 - 1423 (2009). [ bib | .pdf ]
[8] Manifold Answer-Set Programs for Meta-Reasoning.
Wolfgang Faber and Stefan Woltran.
In Esra Erdem, Fangzhen Lin, and Torsten Schaub, editors, Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning, (LPNMR'09), Potsdam, Germany, September 14-18, 2009, volume 5753 of Lecture Notes in Artificial Intelligence, pages 115–128. Springer, 2009. [ bib | .pdf ]
[7] Manifold Answer-Set Programs for Meta-Reasoning.
Wolfgang Faber and Stefan Woltran.
In Andreas Herzig and Benjamin Johnston, editors, Proceedings of the IJCAI-09 Workshop on Nonmonotonic Reasoning, Action and Change, (NRAC'09), pages 33–40. [ .pdf ]
Top

Previous Publications

[6] Solving Argumentation Frameworks using Answer Set Programming.
Sarah Alice Gaggl.
Masters Thesis, Technische Universität Wien, Uwe Egly and Stefan Woltran supervisors, 2009. [ .pdf ]

2008

[5] ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming.
Uwe Egly, Sarah Alice Gaggl, and Stefan Woltran.
In Maria G. de la Banda and Enrico Pontelli, editors, Proceedings of the Twenty-Fourth International Conference on Logic Programming, (ICLP'08), Udine, Italy, December 9-13, 2008, volume 5366 of Lecture Notes in Computer Science, pages 734–738. Springer, 2008. [ bib | .pdf ]
[4] Answer-Set Programming Encodings for Argumentation Frameworks.
Uwe Egly, Sarah Alice Gaggl, and Stefan Woltran.
In 1st Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2008), Udine, Italy, 2008. [ bib | .pdf ]
[3] Answer-Set Programming Encodings for Argumentation Frameworks.
Uwe Egly, Sarah Alice Gaggl, and Stefan Woltran.
Technical Report DBAI-TR-2008-62, Technische Universität Wien, 2008. [ bib | .pdf ]
[2] Encoding Deductive Argumentation in Quantified Boolean Formulae.
Philippe Besnard, Anthony Hunter, and Stefan Woltran.
Technical Report DBAI-TR-2008-60, Technische Universität Wien, 2008. [ bib | .pdf ]

2006

[1] Reasoning in Argumentation Frameworks Using Quantified Boolean Formulas.
Uwe Egly and Stefan Woltran.
In Paul E. Dunne and Trevor J. M. Bench-Capon, editors, Computational Models of Argument: COMMA 2006, September 11-12, 2006, Liverpool, UK, volume 144 of Frontiers in Artificial Intelligence and Applications, pages 133–144. IOS Press, 2006. [ 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