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 > ADF Project

Tools: Print

Project: Abstract Dialectical Frameworks: Advanced Tools for Formal Argumentation

       

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

Contents

News

Project finished

2016-12-01
The project has come to an end. We are happy to announce the successor project GRAPPA.

Paper accepted

2016-04-07
We are happy to announce that the following paper has been accepted at IJCAI 2016.

Investigating the Relationship between Argumentation Semantics via Signatures
Paul E. Dunne, Thomas Linsbichler, Christof Spanring, and Stefan Woltran.

Solver Competition - Honorable Mention

2015-08-24
CEGARTIX, the SAT-based system for abstract argumentation developed by members of the project, has received an honorable mention at the First International Competition on Computational Models of Argumentation (ICCMA'15) for winning two of the three tracks it participated in. The full results can be found here.

New journal article

2015-07-28
We are happy to announce the publication of a new article in the Artificial Intelligence journal.

Characteristics of multiple viewpoints in abstract argumentation
Paul E. Dunne, Wolfgang Dvořák, Thomas Linsbichler and Stefan Woltran.
Artificial Intelligence, 228: 153-178, 2015. [ DOI ]

For previous events see Archive.

Top

Project team


Project team

Project leaders

Project staff

Project partners

Top

Goal of the Project

The aim of the project is to advance the research of a novel formalism for abstract argumentation, namely abstract dialectical frameworks (ADFs), recently proposed by the principal investigators of this project. ADFs are able to act as an intermediate layer in the instantiation process solving the aforementioned problems with Dung's frameworks. The fundamental idea of ADFs is to treat arguments as atomic entities, yet to allow for much more flexible relationships among arguments by specifying these relations as logical formulae.

The project goals can be listed along four axes: first, we need to further develop the theory of ADFs. Second, we want to focus on the dynamics of argumentation exploiting the fact that the logic-based specification in ADFs allows to directly apply methods from disciplines such as belief change and diagnosis. Third, we have to analyse the full potential of ADFs in the instantiation-based argumentation process. Finally, we will provide implementations and systems for ADFs, paving the way towards argumentation tools for practical application scenarios.

Top

Software

Top

Related Webpages

Top

Publications

[ bibtex ]

2016

[86] 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 ]
[85] Inconsistency management in reactive multi-context systems.
Gerd Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, and Jörg Pührer.
In Loizos Michael and Antonis C. Kakas, editors, Proceedings of the 15th European Conference On Logics In Artificial Intelligence, JELIA 2016, pages 529-535. Springer, 2016.
[ bib | DOI ]
[84] Understanding the abstract dialectical framework.
Sylwia Polberg.
In Loizos Michael and Antonis C. Kakas, editors, Proceedings of the 15th European Conference On Logics In Artificial Intelligence, JELIA 2016, pages 430-446. Springer, 2016.
[ bib | DOI | long version at arXiv ]
[83] Stream packing for asynchronous multi-context systems using ASP.
Stefan Ellmauthaler and Jörg Pührer.
In Proceedings of the Workshop on Trends and Applications of Answer Set Programming (TAASP 2016), 2016.
[ bib ]
[82] Investigating the relationship between argumentation semantics via signatures.
Paul E. Dunne, Thomas Linsbichler, Christof Spanring, and Stefan Woltran.
In Gerhard Friedrich, Malte Helmert, and Franz Wotawa, editors, KI 2016: Advances in Artificial Intelligence - 39th Annual German Conference on AI, Proceedings, extended abstract, pages 271-277. Springer, 2016.
[ bib | proceedings ]
[81] 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 ]
[80] 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 ]
[79] Quantifying the difference between argumentation semantics.
Sylvie Doutre and Jean-Guy Mailly.
In Pietro Baroni, Thomas F. Gordon, Tatjana Scheffler, and Manfred Stede, editors, Computational Models of Argument - Proceedings of COMMA 2016, pages 255-262. IOS Press, 2016.
[ bib | paper ]
[78] 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 ]
[77] 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 ]
[76] Comparing the expressiveness of argumentation semantics.
Wolfgang Dvořák and Christof Spanring.
J. Log. Comput., 2016.
[ bib | paper ]
[75] 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, 2016. Extended Abstract of Invited Talk.
[ bib | pdf ]
[74] 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 ]
[73] Towards inconsistency management in reactive multi-context systems.
Gerd Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, and Jörg Pührer.
In Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, and Ivan José Varzinczak, editors, Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16), volume 1626 of CEUR Workshop Proceedings. CEUR-WS.org, 2016.
[ bib | pdf ]
[72] Investigating the relationship between argumentation semantics via signatures.
Paul E. Dunne, Thomas Linsbichler, Christof Spanring, and Stefan Woltran.
In Subbarao Kambhampati, editor, Proceedings of the 25th International Joint Conference on Artificial Intelligence, IJCAI 2016, pages 1051-1057. IJCAI/AAAI Press, 2016.
[ bib | paper ]
[71] 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, 2016.
[ bib | paper at arXiv ]
[70] How different are two argumentation semantics?
Sylvie Doutre and Jean-Guy Mailly.
In Dixièmes Journées d'Intelligence Artificielle Fondamentale (IAF'16), 2016.
[ bib ]
[69] Conflicts in abstract argumentation.
Christof Spanring.
In Cardiff Argumentation Forum, CAF 2016, 2016.
[ bib | pdf ]
[68] Intertranslatability of abstract argumentation frameworks.
Sylwia Polberg.
In Cardiff Argumentation Forum, CAF 2016, 2016.
[ bib | pdf ]
[67] Merging of abstract argumentation frameworks.
Jérôme Delobelle, Adrian Haret, Sébastien Konieczny, Jean-Guy Mailly, Julien Rossit, and Stefan Woltran.
In Chitta Baral, James P. Delgrande, and Frank Wolter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, pages 33-42. AAAI Press, 2016.
[ bib | paper ]
[66] On the functional completeness of argumentation semantics.
Massimiliano Giacomin, Thomas Linsbichler, and Stefan Woltran.
In Chitta Baral, James P. Delgrande, and Frank Wolter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference, KR 2016, pages 43-52. AAAI Press, 2016.
[ bib | paper ]
[65] Using enthymemes to fill the gap between logical argumentation and revision of abstract argumentation frameworks.
Jean-Guy Mailly.
In Gabriele Kern-Isberner and Renata Wassermann, editors, Proceedings of the 16th International Workshop on Non-monotonic reasoning, NMR 2016, 2016.
[ bib | paper at arXiv ]
[64] Characterizing realizability in abstract argumentation.
Thomas Linsbichler, Jörg Pührer, and Hannes Strass.
In Gabriele Kern-Isberner and Renata Wassermann, editors, Proceedings of the 16th International Workshop on Non-monotonic reasoning, NMR 2016, pages 85-94, 2016.
[ bib |  paper at arXiv |  system UNREAL ]
[63] Verifiability of argumentation semantics.
Ringo Baumann, Thomas Linsbichler, and Stefan Woltran.
In Gabriele Kern-Isberner and Renata Wassermann, editors, Proceedings of the 16th International Workshop on Non-monotonic reasoning, NMR 2016, pages 5-14, 2016.
[ bib | paper at arXiv ]
[62] The role of self-attacking arguments in characterizations of equivalence notions.
Ringo Baumann and Stefan Woltran.
J. Log. Comput., 26(4):1293-1313, 2016.
[ bib |  http ]

2015

[61] Hunt for the collapse of semantics in infinite abstract argumentation frameworks.
Christof Spanring.
In Claudia Schulz and Daniel Liew, editors, Proceedings of the 2015 Imperial College Computing Student Workshop, ICCSW 2015, pages 70-77, 2015.
[ bib | pdf ]
[60] Expressiveness of two-valued semantics for abstract dialectical frameworks.
Hannes Strass.
J. Artif. Intell. Res. (JAIR), 54:193-231, 2015.
[ bib | DOI ]
[59] On the Functional Completeness of Argumentation Semantics
Massimiliano Giacmoin, Thomas Linsbichler and Stefan Woltran.
In Chistoph Beierle, Gabriele Kern-Isberner, Marco Ragni and Frieder Stolzenburg, editors, Proceedings of the 5th Workshop on Dynamics of Knowledge and Belief (DKB 2015) and the 4th Workshop KI & Kognition (KIK 2015), pages 43-54, 2015.
[ bib | pdf ]
[58] Improved answer-set programming encodings for abstract argumentation.
Sarah A. Gaggl, Norbert Manthey, Alessandro Ronca, Johannes P. Wallner and Stefan Woltran.
TPLP, 15(4-5): 434-448, 2015.
[ bib | DOI | technical report ]
[57] Characteristics of multiple viewpoints in abstract argumentation.
Paul E. Dunne, Wolfgang Dvořák, Thomas Linsbichler and Stefan Woltran.
Artif. Intell., 228: 153-178, 2015.
[ bib | DOI ]
[56] Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory.
Hannes Strass and Johannes P. Wallner.
Artif. Intell., 226: 34-74, 2015.
[ bib | DOI ]
[55] Reasoning in Abstract Dialectical Frameworks using Quantified Boolean Formulas.
Martin Diller, Johannes P. Wallner and Stefan Woltran.
Argument & Computation, 6(2):149-177, 2015.
[ bib |  DOI ]
[54] Complexity-sensitive decision procedures for abstract argumentation (extended abstract).
Wolfgang Dvořák, Matti Järvisalo, Johannes P. Wallner and Stefan Woltran.
In Qiang Yang and Michael Wooldridge, editors, Proceedings of the 24th International Joint Conference on Artificial Intelligence, IJCAI 2015, pages 4173-4177. AAAI Press, 2015.
[ bib |  pdf | extended abstract of [18] ]
[53] An extension-based approach to belief revision in abstract argumentation.
Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele and Stefan Woltran.
In Qiang Yang and Michael Wooldridge, editors, Proceedings of the 24th International Joint Conference on Artificial Intelligence, IJCAI 2015, pages 2926-2932. AAAI Press, 2015.
[ bib |  paper |  poster ]
[52] Realizability of Three-Valued Semantics for Abstract Dialectical Frameworks.
Jörg Pührer.
In Qiang Yang and Michael Wooldridge, editors, Proceedings of the 24th International Joint Conference on Artificial Intelligence, IJCAI 2015, pages 3171-3177. AAAI Press, 2015.
[ bib |  paper ]
[51] AGM Meets Abstract Argumentation: Expansion and Revision for Dung Frameworks.
Ringo Baumann and Gerd Brewka.
In Qiang Yang and Michael Wooldridge, editors, Proceedings of the 24th International Joint Conference on Artificial Intelligence, IJCAI 2015, pages 2734-2740. AAAI Press, 2015.
[ bib |  paper ]
[50] Abstract solvers for Dung's argumentation frameworks.
Remi Brochenin, Thomas Linsbichler, Marco Maratea, Johannes P. Wallner and Stefan Woltran.
In Elizabeth Black, Sanjay Modgil, and Nir Oren, editors, Theory and Applications of Formal Argumentation - Third International Workshop, TAFA 2015, Revised Selected Papers, pages 40-58. Springer, 2015.
[ bib |  DOI ]
[49] The Hidden Power of Abstract Argumentation Semantics.
Thomas Linsbichler, Christof Spanring and Stefan Woltran.
In Elizabeth Black, Sanjay Modgil, and Nir Oren, editors, Theory and Applications of Formal Argumentation - Third International Workshop, TAFA 2015, Revised Selected Papers, pages 146-162. Springer, 2015.
[ bib | DOI ]
[48] Comparing the expressiveness of argumentation semantics.
Wolfgang Dvořák and Christof Spanring.
Technical Report DBAI-TR-2014-90, Technische Universität Wien, 2015.
[ bib |  pdf ]
[47] Characteristics of Multiple Viewpoints in Abstract Argumentation
Paul E. Dunne, Wolfgang Dvořák, Thomas Linsbichler and Stefan Woltran.
Technical Report DBAI-TR-2015-89, Technische Universität Wien, 2015, long version of [19].
[ bib | pdf ]
[46] Revisiting Extension-Based Semantics of Abstract Dialectical Frameworks
Sylwia Polberg.
Technical Report DBAI-TR-2015-88, Technische Universität Wien, 2015.
[ bib | pdf ]
[45] The Relative Expressiveness of Abstract Argumentation and Logic Programming
Hannes Strass.
In Sven Koenig and Blai Bonet, editors, Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015), pages 1625-1631, 2015.
[ bib | pdf ]
[44] Infinite Argumentation Frameworks
Ringo Baumann and Christof Spanring.
In Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation. Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, pages 281-295, 2015.
[ bib | DOI ]
[43] Reduction-based Approaches to Implement Modgil's Extended Argumentation Frameworks
Wolfgang Dvořák, Sarah A. Gaggl, Thomas Linsbichler and Johannes P. Wallner.
In Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation. Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, pages 249-264, 2015.
[ bib | DOI ]
[42] Asynchronous Multi-Context Systems
Stefan Ellmauthaler and Jörg Pührer.
In Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation. Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, pages 141-156, 2015.
[ bib | DOI ]
[41] Methods for solving reasoning problems in abstract argumentation - a survey
Günther Charwat, Wolfgang Dvořák, Sarah A. Gaggl, Johannes P. Wallner and Stefan Woltran.
In Artificial Intelligence, 220: 28-63, 2015.
[ bib | DOI ]

2014

[40] Complexity Results and Algorithms for Argumentation - Dung's Frameworks and Beyond
Johannes P. Wallner.
PhD thesis, Technische Universität Wien, Stefan Woltran and Georg Weissenbacher, advisors, 2014
[ bib | obv ]
[39] Axiom of Choice, Maximal Independent Sets, Argumentation and Dialogue Games
Christof Spanring.
In Rumyana Neykova and Nicholas Ng, editors, Proceedings of the 2014 Imperial College Computing Student Workshop (ICCSW 2014), pages 91-98, 2014.
[ bib | pdf ]
[38] Probabilistic Abstract Dialectical Frameworks
Sylwia Polberg and Dragan Doder.
In Eduardo Fermé and João Leite, editors, Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA 2014), pages 591-599, 2014.
[ bib | DOI ]
[37] Probabilistic Argumentation Frameworks - A Logical Approach
Dragan Doder and Stefan Woltran.
In Umberto Straccia and Andrea Calì, editors, Proceedings of the 8th International Conference on Scalable Uncertainty Management (SUM 2014), pages 134-147, 2014.
[ bib | DOI ]
[36] The DIAMOND System for Computing with Abstract Dialectical Frameworks
Stefan Ellmauthaler and Hannes Strass.
In Simon Parsons, Nir Oren, Chris Reed and Federico Cerutti, editors, Proceedings of the 5th International Conference on Computational Models of Argument (COMMA 2014), pages 233-240, 2014.
[ bib | DOI ]
[35] Decomposing Abstract Dialectical Frameworks
Sarah Alice Gaggl and Hannes Strass.
In Simon Parsons, Nir Oren, Chris Reed and Federico Cerutti, editors, Proceedings of the 5th International Conference on Computational Models of Argument (COMMA 2014), pages 281-292, 2014.
[ bib | DOI ]
[34] Extension-based Semantics of Abstract Dialectical Frameworks
Sylwia Polberg.
In Ulle Endriss and João Leite, editors, Proceedings of the 7th European Starting AI Researcher Symposium (STAIRS 2014), pages 240-249, 2014.
[ bib | DOI ]
[33] Revisiting Support in Abstract Argumentation Systems
Sylwia Polberg and Nir Oren.
In Simon Parsons, Nir Oren, Chris Reed and Federico Cerutti, editors, Proceedings of the 5th International Conference on Computational Models of Argument (COMMA 2014), pages 369-376, 2014.
[ bib | DOI | long version ]
[32] Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas
Martin Diller, Johannes P. Wallner and Stefan Woltran.
In Simon Parsons, Nir Oren, Chris Reed and Federico Cerutti, editors, Proceedings of the 5th International Conference on Computational Models of Argument (COMMA 2014), pages 241-252, 2014.
[ bib | DOI ]
[31] Resolution-Based Grounded Semantics Revisited
Wolfgang Dvořák, Thomas Linsbichler, Emilia Oikarinen and Stefan Woltran.
In Simon Parsons, Nir Oren, Chris Reed and Federico Cerutti, editors, Proceedings of the 5th International Conference on Computational Models of Argument (COMMA 2014), pages 269-280, 2014.
[ bib | DOI ]
[30] Splitting Abstract Dialectical Frameworks
Thomas Linsbichler.
In Simon Parsons, Nir Oren, Chris Reed and Federico Cerutti, editors, Proceedings of the 5th International Conference on Computational Models of Argument (COMMA 2014), pages 357-368, 2014.
[ bib | DOI ]
[29] 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 ]
[28] Multi-Context Systems for Reactive Reasoning in Dynamic Environments
Gerd Brewka, Stefan Ellmauthaler and Jörg Pührer.
In Torsten Schaub, Gerhard Friedrich and Barry O'Sullivan, editors, Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), pages 159-164, 2014.
[ bib | DOI ]
[27] Compact Argumentation Frameworks
Ringo Baumann, Wolfgang Dvořák, Thomas Linsbichler, Hannes Strass 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 69-74, 2014.
[ bib | DOI ]
[26] Context-free and Context-sensitive Kernels: Update and Deletion Equivalence in Abstract Argumentation
Ringo Baumann.
In Torsten Schaub, Gerhard Friedrich and Barry O'Sullivan, editors, Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), pages 63-68, 2014.
[ bib | DOI ]
[25] Solving Reasoning Problems on Abstract Dialectical Frameworks via Quantified Boolean Formulas
Martin Diller
Master's Thesis, Technische Universität Wien, Stefan Woltran and Johannes P. Wallner advisors, 2014.
[ bib | obv ]
[24] Compact Argumentation Frameworks
Ringo Baumann, Wolfgang Dvořák, Thomas Linsbichler, Hannes Strass and Stefan Woltran.
In Sébastien Koniecny and Hans Tompits, editors, Proceedings of the 15th International Workshop on Non-monotonic Reasoning (NMR 2014), pages 263-272, 2014.
[ bib | paper at arXiv | proceedings ]
[23] Extension-based Semantics of Abstract Dialectical Frameworks
Sylwia Polberg.
In Sébastien Koniecny and Hans Tompits, editors, Proceedings of the 15th International Workshop on Non-monotonic Reasoning (NMR 2014), pages 273-282, 2014.
[ bib | paper at arXiv | proceedings ]
[22] On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks
Hannes Strass.
In Sébastien Koniecny and Hans Tompits, editors, Proceedings of the 15th International Workshop on Non-monotonic Reasoning (NMR 2014), pages 292-300, 2014.
[ bib | paper at arXiv | proceedings ]
[21] Generalizations of Dung Frameworks and Their Role in Formal Argumentation
Gerhard Brewka, Sylwia Polberg and Stefan Woltran.
In IEEE Intelligent Systems, 29(1): 30-38, 2014
[ bib | DOI | extended version ]
[20] Extension-Based Semantics of Abstract Dialectical Frameworks
Sylwia Polberg.
Technical Report DBAI-TR-2014-85, Technische Universität Wien, 2014
[ bib | pdf ]
[19] Characteristics of Multiple Viewpoints in Abstract Argumentation
Paul E. Dunne, Wolfgang Dvořák, Thomas Linsbichler and Stefan Woltran.
In Chitta Baral, Giuseppe De Giacomo and Thomas Eiter, editors, Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014), pages 72-81, 2014.
[ bib | paper ]
[18] Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory
Hannes Strass and Johannes P. Wallner.
In Chitta Baral, Giuseppe De Giacomo and Thomas Eiter, editors, Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014), pages 101-110, 2014.
[ bib | paper ]
[17] Complexity-Sensitive Decision Procedures for Abstract Argumentation
Wolfgang Dvořák, Matti Järvisalo, Johannes P. Wallner and Stefan Woltran.
In Artificial Intelligence, 206: 53-78, 2014
[ bib | DOI ]

2013

[16] Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory
Hannes Strass and Johannes P. Wallner.
Tech. Rep. 2, Institute of Computer Science, Leipzig University, Nov. 2013
[ bib | URN ]
[15] Approximating Operators and Semantics for Abstract Dialectical Frameworks
Hannes Strass.
In Artificial Intelligence, 205: 39-70, 2013
[ bib | DOI ]
[14] Analyzing the Equivalence Zoo in Abstract Argumentation
Ringo Baumann and Gerhard Brewka.
In João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre and Stefan Woltran, editors, Proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems, (CLIMA XIV), pages 86-101, Springer, 2013
[ bib | DOI ]
[13] Characteristics of Multiple Viewpoints in Abstract Argumentation
Paul E. Dunne, Wolfgang Dvořák, Thomas Linsbichler and Stefan Woltran.
In Chistoph Beierle and Gabriele Kern-Isberner, editors, Proceedings of the 4th Workshop on Dynamics of Knowledge and Belief (DKB 2013), pages 16-30, 2013
[ bib | pdf ]
[12] Structural Properties for Deductive Argument Systems
Anthony Hunter and Stefan Woltran.
In Linda C. van der Gaag, editor, Proceedings of the 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2013), pages 278-289, 2013.
[ bib | DOI ]
[11] The DIAMOND system for argumentation: Preliminary report
Stefan Ellmauthaler and Hannes Strass.
In Michael Fink and Yuliya Lierler, editors, Proceedings of the Sixth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), pages 97-107, 2013.
[ bib | Proceedings ]
[10] Instantiating Knowledge Bases in Abstract Dialectical Frameworks
Hannes Strass.
In João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre and Stefan Woltran, editors, Proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems, (CLIMA XIV), pages 86-101, Springer, 2013
[ bib | DOI ]
[9] Admissibility in the Abstract Dialectical Framework
Sylwia Polberg, Johannes P. Wallner and Stefan Woltran.
In João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre and Stefan Woltran, editors, Proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems, (CLIMA XIV), pages 102-118, Springer, 2013
[ bib | DOI ]
[8] Advanced SAT Techniques for Abstract Argumentation
Johannes P. Wallner, Georg Weissenbacher and Stefan Woltran.
In João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre and Stefan Woltran, editors, Proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems, (CLIMA XIV), pages 138-154, Springer, 2013
[ bib | DOI ]
[7] 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 ]

Preliminary Publications

2013

[6] Approximating operators and semantics for Abstract Dialectical Frameworks
Hannes Strass.
Tech. Rep. 1, Institute of Computer Science, Leipzig University, Jan. 2013
[ bib | DOI ]

2012

[5] Abstract Dialectical Frameworks: Properties, Complexity, and Implementation
Stefan Ellmauthaler.
Master's Thesis, Technische Universität Wien, Stefan Woltran and Johannes P. Wallner advisors, 2012.
[ bib | obv ]
[4] Evaluating Abstract Dialectical Frameworks with ASP (demonstration extended abstract)
Stefan Ellmauthaler and Johannes P. Wallner.
In Bart Verheij, Stefan Szeider, and Stefan Woltran, editors, Proceedings of the 4th International Conference on Computational Models of Argument (COMMA 2012), volume 245 of Frontiers in Artificial Intelligence and Applications, pages 505-506. IOS Press, 2012.
[ bib | DOI ].

2011

[3] Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs
Gerd Brewka, Paul E. Dunne, and Stefan Woltran.
In Toby Walsh, editor, Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), pages 780–785, IJCAI/AAAI 2011.
[ bib | pdf ]

2010

[2] Carneades and Abstract Dialectical Frameworks: A Reconstruction
Gerd Brewka and Thomas F. Gordon.
In Pietro Baroni, Federico Cerutti, Massimiliano, Giacomin and Guillermo R. Simari, editors, Proceedings of the 3rd International Conference on Computational Models of Argument (COMMA 2010), volume 216 of Frontiers in Artificial Intelligence and Applications pages 3–12, IOS Press 2010.
[ bib | DOI ]
[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: 2015-04-24 11: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.