Conferences

@inproceedings{diller17defeasible-acerules,
  author = {Martin Diller and Adam Z.\ Wyner and Hannes Strass},
  title = {Defeasible {AceRules}: {A} Prototype},
  booktitle = {Proceedings of the Twelfth International Conference on Computational Semantics (IWCS)},
  location = {Montpellier, France},
  month = sep,
  year = 2017,
  editor = {Claire Gardent and Christian Retor\'{e}},
  publisher = {},
  series = {},
  volume = {},
  pages = {},
  pdf = {2017/IWCS17-26.pdf}
}
@inproceedings{wyner-strass17dare,
  author = {Adam Z.\ Wyner and Hannes Strass},
  title = {{dARe} -- {U}sing Argumentation to Explain Conclusions from a Controlled Natural Language Knowledge Base},
  booktitle = {Proceedings of the Thirtieth International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE) -- Special Track on Applications of Argumentation},
  editor = {Salem Benferhat and Karim Tabia and Moonis Ali},
  publisher = {Springer},
  series = {Lecture Notes in Artificial Intelligence},
  volume = {10351},
  pages = {328--338},
  address = {Arras, France},
  month = jun,
  year = {2017},
  doi = {10.1007/978-3-319-60045-1_35},
  pdf = {2017/IEAAIE17-92.pdf}
}
@inproceedings{linsbichler16auniform,
  author = {Thomas Linsbichler and J\"{o}rg P\"{u}hrer and Hannes Strass},
  title = {{A Uniform Account of Realizability in Abstract Argumentation}},
  year = {2016},
  pages = {252--260},
  editor = {Maria Fox and Gal Kaminka and Frank van Harmelen},
  booktitle = {Proceedings of the Twenty-Second European Conference on Artificial Intelligence (ECAI)},
  address = {The Hague, The Netherlands},
  month = sep,
  publisher = {IOS Press},
  series = {Frontiers in Artificial Intelligence and Applications},
  volume = {285},
  pdf = {2016/ECAI16-136.pdf}
}
@inproceedings{ellmauthaler-strass16diamond3.0,
  author = {Stefan Ellmauthaler and Hannes Strass},
  title = {{DIAMOND}~3.0 -- {A} Native {C++}~Implementation of {DIAMOND}},
  year = {2016},
  pages = {471--472},
  editor = {Pietro Baroni},
  booktitle = {Proceedings of the Sixth International Conference on Computational Models of Argument (COMMA)},
  address = {Potsdam, Germany},
  month = sep,
  publisher = {IOS Press},
  series = {Frontiers in Artificial Intelligence and Applications},
  volume = {287},
  pdf = {2016/COMMA16-30.pdf}
}
@inproceedings{baumann-strass16strong-equivalence,
  author = {Ringo Baumann and Hannes Strass},
  title = {An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms},
  booktitle = {Proceedings of the Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning (KR)},
  address = {Cape Town, South Africa},
  publisher = {AAAI Press},
  pages = {525--528},
  month = may,
  year = {2016},
  http = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12834},
  pdf = {2016/KR16-128.pdf}
}
@inproceedings{alviano16boolean,
  author = {Mario Alviano and Wolfgang Faber and Hannes Strass},
  title = {Boolean Functions with Ordered Domains in Answer Set Programming},
  booktitle = {Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI)},
  editor = {Dale Schuurmans and Michael Wellman},
  publisher = {AAAI Press},
  address = {Phoenix, AZ, USA},
  month = feb,
  year = 2016,
  pages = {879--885},
  http = {http://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/12078},
  pdf = {2016/AAAI16-2628.pdf}
}
@inproceedings{denecker15justifications,
  author = {Marc Denecker and Gerhard Brewka and Hannes Strass},
  title = {{A Formal Theory of Justifications}},
  booktitle = {Proceedings of the Thirteenth International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR)},
  address = {Lexington, KY, USA},
  editor = {Francesco Calimeri and Giovambattista Ianni and Miros\l{}aw Truszczy\'{n}ski},
  month = sep,
  year = 2015,
  pages = {250--264},
  http = {http://dx.doi.org/10.1007/978-3-319-23264-5_22},
  publisher = {Springer-Verlag Berlin Heidelberg},
  pdf = {2015/LPNMR15-16.pdf}
}
@inproceedings{gaggl15complexity,
  author = {Sarah Alice Gaggl and Sebastian Rudolph and Hannes Strass},
  title = {On the Computational Complexity of Naive-based Semantics for Abstract Dialectical Frameworks},
  booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI)},
  editor = {Qiang Yang and Michael Wooldridge},
  address = {Buenos Aires, Argentina},
  month = jul,
  year = 2015,
  pages = {2985--2991},
  http = {http://ijcai.org/papers15/Papers/IJCAI15-422.pdf},
  publisher = {IJCAI/AAAI},
  pdf = {2015/IJCAI15-211.pdf}
}
@inproceedings{strass15relative-expressiveness,
  author = {Hannes Strass},
  title = {The Relative Expressiveness of Abstract Argumentation and Logic Programming},
  booktitle = {Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI)},
  editor = {Sven Koenig and Blai Bonet},
  address = {Austin, TX, USA},
  month = jan,
  year = 2015,
  pages = {1625--1631},
  http = {http://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/view/9352},
  pdf = {2015/AAAI15-11.pdf}
}
@inproceedings{ellmauthaler-strass14diamond,
  author = {Stefan Ellmauthaler and Hannes Strass},
  title = {{The DIAMOND System for Computing with Abstract Dialectical Frameworks}},
  year = {2014},
  pages = {233--240},
  editor = {Simon Parsons and Nir Oren and Chris Reed},
  booktitle = {Proceedings of the Fifth International Conference on Computational Models of Argument (COMMA)},
  address = {The Scottish Highlands, Scotland, United Kingdom},
  month = sep,
  publisher = {IOS Press},
  series = {Frontiers in Artificial Intelligence and Applications},
  volume = {266},
  pdf = {2014/COMMA14-27.pdf}
}
@inproceedings{gaggl-strass14decomposing,
  author = {Sarah Alice Gaggl and Hannes Strass},
  title = {Decomposing {Abstract Dialectical Frameworks}},
  year = {2014},
  pages = {281--292},
  editor = {Simon Parsons and Nir Oren and Chris Reed},
  booktitle = {Proceedings of the Fifth International Conference on Computational Models of Argument (COMMA)},
  address = {The Scottish Highlands, Scotland, United Kingdom},
  month = sep,
  publisher = {IOS Press},
  series = {Frontiers in Artificial Intelligence and Applications},
  volume = {266},
  pdf = {2014/COMMA14-24.pdf}
}
@inproceedings{cerutti14competition,
  author = {Federico Cerutti and Nir Oren and Hannes Strass and Matthias Thimm and Mauro Vallati},
  title = {A Benchmark Framework for a Computational Argumentation Competition},
  year = {2014},
  pages = {459--460},
  editor = {Simon Parsons and Nir Oren and Chris Reed},
  booktitle = {Proceedings of the Fifth International Conference on Computational Models of Argument (COMMA)},
  address = {The Scottish Highlands, Scotland, United Kingdom},
  month = sep,
  publisher = {IOS Press},
  series = {Frontiers in Artificial Intelligence and Applications},
  volume = {266},
  pdf = {2014/COMMA14-7.pdf}
}
@inproceedings{strass14implementing,
  author = {Hannes Strass},
  title = {{Implementing Instantiation of Knowledge Bases in Argumentation Frameworks}},
  year = {2014},
  pages = {475--476},
  editor = {Simon Parsons and Nir Oren and Chris Reed},
  booktitle = {Proceedings of the Fifth International Conference on Computational Models of Argument (COMMA)},
  address = {The Scottish Highlands, Scotland, United Kingdom},
  month = sep,
  publisher = {IOS Press},
  series = {Frontiers in Artificial Intelligence and Applications},
  volume = {266},
  pdf = {2014/COMMA14-26.pdf}
}
@inproceedings{ji-strass14gk2dlp,
  author = {Jianmin Ji and Hannes Strass},
  title = {From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of {GK}},
  booktitle = {Proceedings of the Twenty-First European Conference on Artificial Intelligence (ECAI)},
  address = {Prague, Czech Republic},
  publisher = {IOS Press},
  pages = {1039--1040},
  month = aug,
  year = {2014},
  doi = {10.3233/978-1-61499-419-0-1039},
  pdf = {2014/ECAI14-63.pdf}
}
@inproceedings{baumann14compact,
  author = {Ringo Baumann and Wolfgang Dvo\v{r}\'{a}k and Thomas Linsbichler and Hannes Strass and Stefan Woltran},
  title = {Compact {Argumentation Frameworks}},
  booktitle = {Proceedings of the Twenty-First European Conference on Artificial Intelligence (ECAI)},
  address = {Prague, Czech Republic},
  publisher = {IOS Press},
  pages = {69--74},
  month = aug,
  year = {2014},
  doi = {10.3233/978-1-61499-419-0-69},
  pdf = {2014/ECAI14-188.pdf}
}
@inproceedings{strass-wallner14complexity,
  author = {Hannes Strass and Johannes Peter Wallner},
  title = {Analyzing the {Computational Complexity} of {Abstract Dialectical Frameworks} via {Approximation Fixpoint Theory}},
  booktitle = {Proceedings of the Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning (KR)},
  address = {Vienna, Austria},
  publisher = {AAAI Press},
  pages = {101--110},
  month = jul,
  year = {2014},
  pdf = {2014/KR14-41.pdf}
}
@inproceedings{pagnucco13implementing,
  author = {Maurice Pagnucco and David Rajaratnam and Hannes Strass and Michael Thielscher},
  title = {{Implementing Belief Change in the Situation Calculus and an Application}},
  booktitle = {Proceedings of the Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)},
  pages = {439--451},
  month = sep,
  year = 2013,
  address = {Corunna, Spain},
  editors = {Pedro Cabalar and Tran Cao Son},
  series = {LNAI},
  volume = {8148},
  publisher = {Springer-Verlag Berlin Heidelberg},
  pdf = {2013/LPNMR13-59.pdf}
}
@inproceedings{brewka13adfs,
  author = {Gerhard Brewka and Stefan Ellmauthaler and Hannes Strass and Johannes Peter Wallner and Stefan Woltran},
  title = {{Abstract Dialectical Frameworks Revisited}},
  booktitle = {Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI)},
  pages = {803--809},
  month = aug,
  year = 2013,
  address = {Beijing, China},
  publisher = {IJCAI/AAAI},
  pdf = {2013/IJCAI13-199.pdf}
}
@inproceedings{baumann-strass12defaultreasoning,
  author = {Ringo Baumann and
               Hannes Strass},
  title = {{Default Reasoning about Actions via Abstract Argumentation}},
  year = {2012},
  pages = {297--309},
  ee = {http://dx.doi.org/10.3233/978-1-61499-111-3-297},
  editor = {Bart Verheij and
               Stefan Szeider and
               Stefan Woltran},
  booktitle = {Proceedings of the Fourth International Conference on Computational Models of Argument (COMMA)},
  address = {Vienna, Austria},
  month = sep,
  publisher = {IOS Press},
  series = {Frontiers in Artificial Intelligence and Applications},
  volume = {245},
  pdf = {2012/COMMA12-33.pdf}
}
@inproceedings{baumann10statedefaults,
  author = {Ringo Baumann and Gerhard Brewka and Hannes Strass and Michael Thielscher and Vadim Zaslawski},
  title = {{State Defaults and Ramifications in the Unifying Action Calculus}},
  year = 2010,
  month = may,
  booktitle = {Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR)},
  address = {Toronto, Canada},
  publisher = {AAAI Press},
  pages = {435--444},
  pdf = {2010/KR10-8.pdf}
}
@inproceedings{strass-thielscher09simpledefaultreasoning,
  author = {Hannes Strass and Michael Thielscher},
  title = {Simple {D}efault {R}easoning in {T}heories of {A}ction},
  booktitle = {Proceedings of the 22nd Australasian Joint Conference on Artificial Intelligence (AI)},
  year = 2009,
  month = dec,
  editor = {Ann Nicholson and Xiaodong Li},
  pages = {31--40},
  publisher = {Springer-Verlag Berlin Heidelberg},
  address = {Melbourne, Australia},
  pdf = {2009/AI09-88.pdf}
}
@inproceedings{strass-thielscher09ondefaults,
  author = {Hannes Strass and Michael Thielscher},
  title = {On {D}efaults in {A}ction {T}heories},
  booktitle = {Proceedings of the 32nd German Annual Conference on Artificial Intelligence (KI)},
  year = 2009,
  month = sep,
  editor = {B.\ Mertsching and M.\ Hund and Z.\ Aziz},
  pages = {298--305},
  publisher = {Springer-Verlag Berlin Heidelberg},
  address = {Paderborn, Germany},
  pdf = {2009/KI09-152.pdf}
}
@inproceedings{SMC09IFSA,
  title = {Operational {S}emantics for a {F}uzzy {L}ogic {P}rogramming {S}ystem with {D}efaults and {C}onstructive {A}nswers},
  author = {Strass, Hannes and
          Munoz-Hernandez, Susana and 
          Ceruelo, Victor Pablos},
  booktitle = {Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference (IFSA/EUSFLAT)},
  address = {Lisbon, Portugal},
  month = jul,
  year = 2009,
  editor = {J. P. Carvalho and D. Dubois and U. Kaymak and J. M. C. Sousa},
  isbn = {978-989-95079-6-8},
  pages = {1827--1832},
  pdf = {2009/IFSA-EUSFLAT-1827.pdf}
}
@inproceedings{MCS09IWANN,
  author = {Susana Munoz-Hernandez and
               Victor Pablos Ceruelo and
               Hannes Strass},
  title = {R{F}uzzy: {A}n {E}xpressive {S}imple {F}uzzy {C}ompiler},
  booktitle = {IWANN (2)},
  editor = {Sigeru Omatu and
               Miguel Rocha and
               Jos{\'e} Bravo and
               Florentino Fern{\'a}ndez Riverola and
               Emilio Corchado and
               Andr{\'e}s Bustillo and
               Juan M. Corchado},
  year = {2009},
  month = jun,
  pages = {270--277},
  publisher = {Springer-Verlag Berlin Heidelberg},
  series = {Lecture Notes in Computer Science},
  volume = {5518},
  pdf = {2009/IWANN1.pdf}
}