argumentation.bib
@inproceedings{DvorakSW12,
author = {Wolfgang Dvo\v{r}{\'a}k and
Stefan Szeider and
Stefan Woltran},
title = {Abstract Argumentation via Monadic Second Order Logic},
booktitle = {Scalable Uncertainty Management - 6th International Conference,
SUM 2012, Marburg, Germany, September 17-19, 2012. Proceedings},
pages = {85-98},
editor = {Eyke H{\"u}llermeier and
Sebastian Link and
Thomas Fober and
Bernhard Seeger},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7520},
year = {2012}
}
@inproceedings{DvorakS12,
author = {Dvor{\'a}k, Wolfgang and Spanring, Christof},
booktitle = {Proceedings of the Fourth International Conference on Computational Models of Argument, COMMA 2012},
editor = {Verheij, Bart and Szeider, Stefan and Woltran, Stefan},
pages = {261--272},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {245},
title = {{Comparing the Expressiveness of Argumentation Semantics}},
year = {2012},
publisher = {IOS Press},
}
@inproceedings{CreignouES12,
author = {Creignou, Nadia and Egly, Uwe and Schmidt, Johannes},
booktitle = {Proceedings of the Fourth International Conference on Computational Models of Argument, COMMA 2012},
editor = {Verheij, Bart and Szeider, Stefan and Woltran, Stefan},
pages = {237--248},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {245},
title = {{Complexity of logic-based argumentation in Schaefer's framework}},
year = {2012},
publisher = {IOS Press},
}
@inproceedings{CharwatD12,
author = {Charwat, G\"unther and Dvor{\'a}k, Wolfgang},
booktitle = {Proceedings of the Fourth International Conference on Computational Models of Argument, COMMA 2012},
editor = {Verheij, Bart and Szeider, Stefan and Woltran, Stefan},
pages = {507--508},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {245},
title = {{dynPARTIX 2.0 - Dynamic Programming Argumentation Reasoning Tool}},
year = {2012},
publisher = {IOS Press},
}
@inproceedings{EllmauthalerW12,
author = {Ellmauthaler, Stefan and Wallner, Johannes Peter},
booktitle = {Proceedings of the Fourth International Conference on Computational Models of Argument, COMMA 2012},
editor = {Verheij, Bart and Szeider, Stefan and Woltran, Stefan},
pages = {505--506},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {245},
title = {{Evaluating Abstract Dialectical Frameworks with ASP}},
year = {2012},
publisher = {IOS Press},
}
@INPROCEEDINGS{BaumannBDW12,
author = {Ringo Baumann and Gerhard Brewka and Wolfgang Dvo\v{r}\'ak and Stefan
Woltran},
title = {Parameterized Splitting: A Simple Modification-Based Approach},
booktitle = {Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir
Lifschitz},
year = {2012},
editor = {Esra Erdem and Joohyung Lee and Yuliya Lierler and David Pearce},
volume = {7265},
series = {Lecture Notes in Computer Science},
pages = {57-71},
publisher = {Springer},
ee = {http://dx.doi.org/10.1007/978-3-642-30743-0_5},
isbn = {978-3-642-30742-3},
owner = {dvorak},
timestamp = {2012.09.21}
}
@inproceedings{DvorakG12a,
author ={Wolfgang Dvor{\'a}k and
Sarah Alice Gaggl},
title = {Incorporating Stage Semantics in the SCC-recursive Schema for
Argumentation Semantics},
booktitle = {In Proceedings of the 14th International Workshop on
Non-Monotonic Reasoning \textrm{(}NMR 2012 \textrm{)}, Rome, Italy},
year ={2012},
}
@inproceedings{DvorakJWW12,
author = {Wolfgang Dvor{\'a}k and
Matti J{\"a}rvisalo and
Johannes Peter Wallner and
Stefan Woltran},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Complexity-Sensitive Decision Procedures for Abstract Argumentation},
booktitle = {Proceedings of the 13th International Conference on Principles
of Knowledge Representation and Reasoning (KR 2012), Rome,
Italy, June 10-14, 2012},
year = {2012},
ee = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4508},
publisher = {AAAI Press},
pages ={54--64},
}
@inproceedings{DvorakG12b,
author ={Wolfgang Dvor{\'a}k and
Sarah Alice Gaggl},
title = {Computational Aspects of cf2 and stage2 Argumentation Semantics},
booktitle = {Proceedings of the 4th International Conference on
Computational Models of Argument \textrm{(}COMMA 2012 \textrm{)},
Vienna, Austria, September 10-12, 2012},
editor = {Bart Verheij and
Stefan Szeider and
Stefan Woltran},
publisher = {IOS Press},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {245},
pages = {273--284},
year ={2012},
}
@inproceedings{CharwatWW12,
author = {G\"unther Charwat and Johannes Peter Wallner and Stefan Woltran},
booktitle = {Proceedings of the Fifth Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2012},
editor = {Fink, Michael and Lierler, Yuliya},
pages = {51--65},
title = {{Utilizing ASP for Generating and Visualizing Argumentation Frameworks}},
year = {2012},
month = {September 4},
address = {Budapest, Hungary}
}
@article{CreignouSTW11,
title={ Complexity of logic-based argumentation in Post's framework},
author={Nadia Creignou and Johannes Schmidt and Michael Thomas and Stefan Woltran },
journal={Argument and Computation},
volume={2},
number={2-3},
pages={107--129},
year={2011}
}
@TechReport{dbai-tr-2011-74,
author = {Wolfgang {Dvo\v{r}\'ak} and
Reinhard Pichler and
Stefan Woltran},
title = {Towards Fixed-Parameter Tractable Algorithms for Abstract Argumentation.},
institution={Technische Universität Wien},
year = {2011},
type = {Technical Report},
number = {DBAI-TR-2011-74},
pdf = {http://www.dbai.tuwien.ac.at/research/project/argumentation/papers/dbai-tr-2011-74.pdf}
}
@TechReport{dbai-tr-2012-77,
author = {Sarah Alice Gaggl and
Stefan Woltran},
title = {The cf2 Argumenation Semantics Revisited.},
institution={Technische Universität Wien},
year = {2012},
type = {Technical Report},
number = {DBAI-TR-2011-77},
pdf =
{http://www.dbai.tuwien.ac.at/research/report/dbai-tr-2012-77.pdf}
}
@TechReport{dbai-tr-2012-78,
author = {Wolfgang {Dvo\v{r}\'ak} and
Sarah Alice Gaggl},
title = {Incorporating Stage Semantics in the SCC-recursive Schema for
Argumentation Semantics.},
institution={Technische Universität Wien},
year = {2012},
type = {Technical Report},
number = {DBAI-TR-2011-78},
pdf =
{http://www.dbai.tuwien.ac.at/research/report/dbai-tr-2012-78.pdf}
}
@TechReport{dbai-tr-2012-79,
author = {Wolfgang {Dvo\v{r}\'ak} and
Stefan Szeider and
Stefan Woltran},
title = {Abstract Argumentation via Monadic Second Order Logic.},
institution={Technische Universität Wien},
year = {2012},
type = {Technical Report},
number = {DBAI-TR-2011-79},
pdf =
{http://www.dbai.tuwien.ac.at/research/report/dbai-tr-2012-79.pdf}
}
@ARTICLE{DvorakGWW11,
author = {Wolfgang Dvo\v{r}{\'a}k and Sarah Alice Gaggl and Johannes Peter
Wallner and Stefan Woltran},
title = {Making Use of Advances in Answer-Set Programming for Abstract Argumentation
Systems},
journal = {CoRR},
year = {2011},
volume = {abs/1108.4942},
ee = {http://arxiv.org/abs/1108.4942},
}
@ARTICLE{DvorakMNW11,
author = {Wolfgang Dvo\v{r}{\'a}k and Michael Morak and Clemens Nopp and Stefan
Woltran},
title = {dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation},
journal = {CoRR},
year = {2011},
volume = {abs/1108.4804},
ee = {http://arxiv.org/abs/1108.4804},
}
@article{DvorakW11,
author = {Wolfgang {Dvo\v{r}\'ak} and
Stefan Woltran},
title = {On the Intertranslatability of Argumentation Semantics},
journal = {J. Artif. Intell. Res. (JAIR)},
volume = {41},
year = {2011},
pages = {445-475},
ee = {http://dx.doi.org/10.1613/jair.3318},
}
@article{OikarinenW11,
author = {Emilia Oikarinen and
Stefan Woltran},
title = {Characterizing strong equivalence for argumentation frameworks},
journal = {Artif. Intell.},
volume = {175},
number = {14-15},
year = {2011},
pages = {1985-2009},
ee = {http://dx.doi.org/10.1016/j.artint.2011.06.003},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@TechReport{dbai-tr-2011-70,
author = {Wolfgang {Dvo\v{r}\'ak} and
Sarah Alice Gaggl and
Johannes Wallner and
Stefan Woltran},
title = {Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems.},
institution={Technische Universität Wien},
year = {2011},
type = {Technical Report},
number = {DBAI-TR-2011-70},
pdf = {http://www.dbai.tuwien.ac.at/research/project/argumentation/papers/dbai-tr-2011-70.pdf}
}
@inproceedings{Dvorak11,
author = {Wolfgang {Dvo\v{r}\'ak}},
title = {On the Complexity of Computing the Justification Status of an Argument. },
booktitle = {First International Workshop on the Theory and Applications of Formal Argumentation (TAFA-11))},
year = {2011},
address = {Barcelona, Catalonia, Spain,},
month = {July 16-17}
}
@inproceedings{DvorakDW11,
author = {Wolfgang {Dvo\v{r}\'ak} and
Paul E. Dunne and
Stefan Woltran},
title = {Parametric Properties of Ideal Semantics},
booktitle = {IJCAI 2011, Proceedings of the 22nd International Joint
Conference on Artificial Intelligence, Barcelona, Catalonia,
Spain, July 16-22, 2011},
year = {2011},
pages = {851-856},
ee = {http://ijcai.org/papers11/Papers/IJCAI11-148.pdf},
editor = {Toby Walsh},
publisher = {IJCAI/AAAI},
year = {2011},
isbn = {978-1-57735-516-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{BrewkaDW11,
author = {Gerhard Brewka and
Paul E. Dunne and
Stefan Woltran},
title = {Relating the Semantics of Abstract Dialectical Frameworks
and Standard AFs},
booktitle = {IJCAI 2011, Proceedings of the 22nd International Joint
Conference on Artificial Intelligence, Barcelona, Catalonia,
Spain, July 16-22, 2011},
year = {2011},
pages = {780-785},
ee = {http://ijcai.org/papers11/Papers/IJCAI11-137.pdf},
editor = {Toby Walsh},
publisher = {IJCAI/AAAI},
year = {2011},
isbn = {978-1-57735-516-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{GagglW13,
author = {Sarah Alice Gaggl and
Stefan Woltran},
title = {The cf2 argumentation semantics revisited},
volume = {23},
number = {5},
pages = {925--949},
year = {2013},
doi = {doi: 10.1093/logcom/exs011}
journal = {Journal of Logic and Computation}
}
@inproceedings{GagglW11,
author = {Sarah Alice Gaggl and
Stefan Woltran},
title = {Strong Equivalence for Argumentation Semantics Based on
Conflict-Free Sets},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- 11th European Conference, ECSQARU 2011, Belfast, UK, June
29-July 1, 2011. Proceedings},
year = {2011},
pages = {38-49},
ee = {http://dx.doi.org/10.1007/978-3-642-22152-1_4},
editor = {Weiru Liu},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6717},
year = {2011},
isbn = {978-3-642-22151-4},
ee = {http://dx.doi.org/10.1007/978-3-642-22152-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{FaberW11a,
author = {Wolfgang Faber and
Stefan Woltran},
title = {Manifold Answer-Set Programs for Meta-reasoning},
booktitle = {Gelfond Festschrift},
publisher = {Springer},
series = {Lecture Notes in Artificial Intelligence},
volume={6565},
pages={44--63},
year={2011}
}
@TechReport{dbai-tr-2011-68,
author = {Sarah Alice Gaggl and
Stefan Woltran},
title = {Strong Equivalence for Argumentation Semantics based on Conflict-free Sets.},
institution={Technische Universität Wien},
year = {2011},
type = {Technical Report},
number = {DBAI-TR-2011-68},
pdf = {http://www.dbai.tuwien.ac.at/research/project/argumentation/papers/dbai-tr-2011-68.pdf}
}
@inproceedings{DvorakW10b,
author = {Wolfgang {Dvo\v r\'ak} and Stefan Woltran},
title = {On the Intertranslatability of Argumentation Semantics},
booktitle = {In Proceedings of the Conference on Thirty Years of Nonmonotonic
Reasoning(NonMon@30)},
year = {2010},
address = {Lexington, KY, USA},
month = {October 22-25},
url = {http://www.cs.uky.edu/~marek/nonmonat30.dir/dvorakWoltran.pdf}
}
@inproceedings{CreignouSTW10,
author = {Nadia Creignou and
Johannes Schmidt and
Michael Thomas and
Stefan Woltran},
title = {Sets of Boolean Connectives That Make Argumentation Easier},
booktitle = {Logics in Artificial Intelligence - 12th European Conference,
JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings},
year = {2010},
pages = {117-129},
ee = {http://dx.doi.org/10.1007/978-3-642-15675-5_12},
editor = {Tomi Janhunen and
Ilkka Niemel{\"a}},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6341},
year = {2010},
isbn = {978-3-642-15674-8},
ee = {http://dx.doi.org/10.1007/978-3-642-15675-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{GagglW10,
author = {Sarah Alice Gaggl and
Stefan Woltran},
title = {cf2 Semantics Revisited},
booktitle = {Computational Models of Argument: Proceedings of COMMA 2010,
Desenzano del Garda, Italy, September 8-10, 2010},
year = {2010},
pages = {243-254},
ee = {http://dx.doi.org/10.3233/978-1-60750-618-8-243},
editor = {Pietro Baroni and
Federico Cerutti and
Massimiliano Giacomin and
Guillermo Ricardo Simari},
publisher = {IOS Press},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {216},
year = {2010},
isbn = {978-1-60750-618-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DvorakSW10,
author = {Wolfgang Dvo{\v r}{\'a}k and
Stefan Szeider and
Stefan Woltran},
title = {Reasoning in Argumentation Frameworks of Bounded Clique-Width},
booktitle = {Computational Models of Argument: Proceedings of COMMA 2010,
Desenzano del Garda, Italy, September 8-10, 2010},
year = {2010},
pages = {219-230},
ee = {http://dx.doi.org/10.3233/978-1-60750-618-8-219},
editor = {Pietro Baroni and
Federico Cerutti and
Massimiliano Giacomin and
Guillermo Ricardo Simari},
publisher = {IOS Press},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {216},
year = {2010},
isbn = {978-1-60750-618-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{Gaggl10,
title={Towards a General Argumentation System based on Answer-Set Programming$\}$},
author={Sarah Alice Gaggl},
editor= {Manuel Hermenegildo and Thorsten Schaub},
booktitle={Technical Communications of the 26th International Conference on Logic Programming},
volume={7},
pages={265--269},
organization={Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}
}
@article{EglyGW10,
title={Answer-set programming encodings for argumentation frameworks},
author={Uwe Egly and Sarah Alice Gaggl and Stefan Woltran},
journal={Argument and Computation},
volume={1},
number={2},
pages={147--177},
year={2010}
}
@article{DvorakW10,
author = {Wolfgang Dvo{\v r}{\'a}k and
Stefan Woltran},
title = {Complexity of semi-stable and stage semantics in
argumentation frameworks},
journal = {Inf. Process. Lett.},
volume = {110},
number = {11},
year = {2010},
pages = {425-430},
ee = {http://dx.doi.org/10.1016/j.ipl.2010.04.005}
}
@inproceedings{DvorakPW10,
author = {Wolfgang Dvo{\v r}{\'a}k and
Reinhard Pichler and
Stefan Woltran},
title = {Towards Fixed-Parameter Tractable Algorithms for Argumentation},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Twelfth International Conference, KR 2010, Toronto,
Ontario, Canada, May 9-13, 2010},
year = {2010},
ee = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1331},
editor = {Fangzhen Lin and
Ulrike Sattler and
Miroslaw Truszczynski},
publisher = {AAAI Press},
year = {2010},
pages = {112-122}
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@Article{DvorakPW12,
author = "Wolfgang Dvo\v{r}{\'a}k and Reinhard Pichler and Stefan Woltran",
title = "Towards fixed-parameter tractable algorithms for abstract argumentation",
journal = "Artificial Intelligence",
volume = "186",
number = "0",
pages = "1--37",
year = "2012",
note = "",
issn = "0004-3702",
doi = "10.1016/j.artint.2012.03.005",
url = "http://www.sciencedirect.com/science/article/pii/S0004370212000264"
}
@Article{DvorakOS12,
author = {Wolfgang Dvo\v{r}{\'a}k and Sebastian Ordyniak and Stefan Szeider},
title = "Augmenting tractable fragments of abstract argumentation",
journal = "Artificial Intelligence",
volume = "186",
number = "0",
pages = "157--173",
year = "2012",
note = "",
issn = "0004-3702",
doi = "10.1016/j.artint.2012.03.002",
url = "http://www.sciencedirect.com/science/article/pii/S0004370212000239"
}
@inproceedings{OikarinenW10,
author = {Emilia Oikarinen and
Stefan Woltran},
title = {Characterizing Strong Equivalence for Argumentation Frameworks},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Twelfth International Conference, KR 2010, Toronto,
Ontario, Canada, May 9-13, 2010},
year = {2010},
ee = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1332},
editor = {Fangzhen Lin and
Ulrike Sattler and
Miroslaw Truszczynski},
publisher = {AAAI Press},
year = {2010},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{BrewkaW10,
author = {Gerhard Brewka and
Stefan Woltran},
title = {Abstract Dialectical Frameworks},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Twelfth International Conference, KR 2010, Toronto,
Ontario, Canada, May 9-13, 2010},
year = {2010},
ee = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1294},
editor = {Fangzhen Lin and
Ulrike Sattler and
Miroslaw Truszczynski},
publisher = {AAAI Press},
year = {2010},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@TechReport{dbai-tr-2011-66,
author = {Wolfgang {Dvo\v r\'ak} and Stefan Woltran},
title = {Technical Note: Complexity of Stage Semantics in Argumentation Frameworks},
institution = {Technische Universit\"at Wien, Database and Artificial Intelligence
Group},
year = {2009},
type = {Technical Report},
number = {DBAI-TR-2009-66},
pdf = {http://www.dbai.tuwien.ac.at/research/project/argumentation/papers/dbai-tr-2011-66.pdf}
}
@inproceedings{FaberW09b,
title={A framework for programming with module consequences},
author={Wolfgang Faber and Stefan Woltran},
booktitle = {Proceedings of the LPNMR-09 Workshop on Software Engineering for Answer Set Programming, (SEA'09)},
editor = {Marina De Vos and Torsten Schaub},
pages={34--48},
year={2009}
}
@article{BesnardHW09,
title = "Encoding Deductive Argumentation in Quantified Boolean Formulae",
journal = "Artificial Intelligence",
volume = "173",
number = "15",
pages = "1406 -- 1423",
year = "2009",
note = "",
issn = "0004-3702",
doi = "DOI: 10.1016/j.artint.2009.06.006",
url = {http://www.sciencedirect.com/science/article/B6TYF-4WMDHN6-1/2/16ee215c9137c7539939d67c3cf42ace},
author = "Philippe Besnard and Anthony Hunter and Stefan
Woltran",
pdf = {http://www.dbai.tuwien.ac.at/research/project/argumentation/BesnardHW09.pdf}
}
@inproceedings{FaberW09a,
author = {Wolfgang Faber and
Stefan Woltran},
title = {Manifold Answer-Set Programs for Meta-reasoning},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International
Conference, LPNMR 2009, Potsdam, Germany, September 14-18,
2009. Proceedings},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5753},
year = {2009},
pages = {115-128},
isbn = {978-3-642-04237-9},
ee = {http://dx.doi.org/10.1007/978-3-642-04238-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
pdf = {http://www.dbai.tuwien.ac.at/research/project/argumentation/FaberW09a.pdf}
}
@inproceedings{EglyGW08a,
author = {Uwe Egly and
Sarah Alice Gaggl and
Stefan Woltran},
title = {ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set
Programming},
booktitle = {Logic Programming, 24th International Conference, ICLP 2008,
Udine, Italy, December 9-13 2008, Proceedings},
year = {2008},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5366},
year = {2008},
isbn = {978-3-540-89981-5},
ee = {http://dx.doi.org/10.1007/978-3-540-89982-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
pages = {734-738},
bibsource = {DBLP, http://dblp.uni-trier.de}
pdf = {http://www.dbai.tuwien.ac.at/research/project/argumentation/EglyGW08a.pdf}
}
@inproceedings{EglyGW08b,
author = {Uwe Egly and
Sarah Alice Gaggl and
Stefan Woltran},
title = {Answer-Set Programming Encodings for Argumentation Frameworks},
booktitle = {1st Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2008), Udine, Italy},
year = {2008},
pdf = {http://www.dbai.tuwien.ac.at/research/project/argumentation/EglyGW08b.pdf}
}
@TechReport{EglyGW08c,
author = {Uwe Egly and
Sarah Alice Gaggl and
Stefan Woltran},
title = {Answer-Set Programming Encodings for Argumentation Frameworks},
institution={Technische Universität Wien},
year = {2008},
type = {Technical Report},
number = {DBAI-TR-2008-62},
pdf = {http://www.dbai.tuwien.ac.at/research/project/argumentation/EglyGW08c.pdf}
}
@TechReport{dbai-tr-2008-60,
author = {Philippe Besnard and
Anthony Hunter and
Stefan Woltran},
title = {Encoding Deductive Argumentation in Quantified Boolean Formulae},
institution={Technische Universität Wien},
year = {2008},
type = {Technical Report},
number = {DBAI-TR-2008-60},
pdf = {http://www.dbai.tuwien.ac.at/research/project/argumentation/dbai-tr-2008-60.pdf}
}
@inproceedings{EglyW06,
author = {Uwe Egly and
Stefan Woltran},
title = {Reasoning in Argumentation Frameworks Using Quantified Boolean
Formulas},
booktitle = {Computational Models of Argument: Proceedings of COMMA 2006,
September 11-12, 2006, Liverpool, UK},
year = {2006},
editor = {Paul E. Dunne and
Trevor J. M. Bench-Capon},
publisher = {IOS Press},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {144},
isbn = {978-1-58603-652-2},
ee = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=1934},
bibsource = {DBLP, http://dblp.uni-trier.de}
pages = {133-144},
pdf = {http://www.dbai.tuwien.ac.at/research/project/argumentation/EglyW06.pdf}
}