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} 
}