Workshops

@inproceedings{strass-wyner17automated,
  author = {Hannes Strass and Adam Wyner},
  title = {On Automated Defeasible Reasoning with Controlled Natural Language and Argumentation},
  booktitle = {Proceedings of the Second International Workshop on Knowledge-based Techniques for Problem Solving and Reasoning (KnowProS)},
  editor = {Roman Bart\'{a}k and Thomas Leo McCluskey and Enrico Pontelli},
  month = feb,
  year = 2017,
  note = {In press.},
  pdf = {2017/KnowProS17-5.pdf}
}
@inproceedings{linsbichler16characterizing,
  author = {Thomas Linsbichler and J\"{o}rg P\"{u}hrer and Hannes Strass},
  title = {Characterizing Realizability in Abstract Argumentation},
  booktitle = {Proceedings of the Sixteenth International Workshop on Non-Monotonic Reasoning (NMR)},
  editor = {Gabriele Kern-Isberner and Renata Wassermann},
  month = apr,
  year = 2016,
  pdf = {2016/NMR16-8.pdf},
  http = {http://arxiv.org/abs/1603.09545}
}
@inproceedings{strass15representational,
  author = {Hannes Strass},
  title = {Representational Succinctness of Abstract Dialectical Frameworks},
  booktitle = {Proceedings of the Third International Workshop on Theory and Applications of Formal Argumentation (TAFA 2015)},
  editor = {Elizabeth Black and Sanjay Modgil and Nir Oren},
  month = jul,
  year = 2015,
  pdf = {2015/TAFA15-5.pdf}
}
@inproceedings{strass14expressiveness,
  author = {Hannes Strass},
  title = {On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks},
  booktitle = {Proceedings of the Fifteenth International Workshop on Non-Monotonic Reasoning (NMR)},
  editor = {S{\'e}bastien Konieczny and Hans Tompits},
  month = jul,
  year = 2014,
  pdf = {2014/NMR14-4.pdf}
}
@inproceedings{ji-strass14implementing,
  author = {Jianmin Ji and Hannes Strass},
  title = {Implementing Default and Autoepistemic Logics via the Logic of {GK}},
  booktitle = {Proceedings of the Fifteenth International Workshop on Non-Monotonic Reasoning (NMR)},
  editor = {S{\'e}bastien Konieczny and Hans Tompits},
  month = jul,
  year = 2014,
  pdf = {2014/NMR14-17.pdf}
}
@inproceedings{baumann14compact-afs,
  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 Fifteenth International Workshop on Non-Monotonic Reasoning (NMR)},
  editor = {S{\'e}bastien Konieczny and Hans Tompits},
  month = jul,
  year = 2014,
  pdf = {2014/NMR14-40.pdf}
}
@inproceedings{baumann-strass13maximal,
  author = {Ringo Baumann and Hannes Strass},
  title = {{On the Maximal and Average Numbers of Stable Extensions}},
  booktitle = {Proceedings of the Second International Workshop on Theory and Applications of Formal Argumentation (TAFA 2013)},
  editor = {Elizabeth Black and Sanjay Modgil and Nir Oren},
  series = {LNAI},
  volume = {8306},
  pages = {111--126},
  publisher = {Springer},
  month = aug,
  year = 2014,
  pdf = {2014/TAFA13-7.pdf}
}
@inproceedings{ellmauthaler-strass13diamond,
  author = {Stefan Ellmauthaler and Hannes Strass},
  title = {The {DIAMOND} System for Argumentation: {P}reliminary Report},
  booktitle = {Proceedings of the Sixth International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP)},
  editor = {Michael Fink and Yuliya Lierler},
  month = sep,
  year = 2013,
  pdf = {2013/ASPOCP13-6.pdf}
}
@inproceedings{strass13instantiating,
  author = {Hannes Strass},
  title = {Instantiating Knowledge Bases in {Abstract Dialectical Frameworks}},
  booktitle = {Proceedings of the Fourteenth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XIV)},
  editor = {João Leite and Tran Cao Son and Paolo Torroni and Leon van der Torre and Stefan Woltran},
  series = {LNCS},
  volume = {8143},
  pages = {86--101},
  publisher = {Springer},
  month = sep,
  year = 2013,
  pdf = {2013/CLIMA13-27.pdf}
}
@inproceedings{brewka12declarative,
  author = {Gerhard Brewka and Hannes Strass and Michael Thielscher},
  title = {{Declarative Strategies for Agents with Incomplete Knowledge}},
  booktitle = {Proceedings of the Fourteenth International Workshop on Non-Monotonic Reasoning (NMR)},
  editor = {Riccardo Rosati and Stefan Woltran},
  month = jun,
  year = 2012,
  pdf = {2012/NMR12-16.pdf}
}
@inproceedings{strass12draculasp,
  author = {Hannes Strass},
  title = {{The draculasp System: Default Reasoning about Actions and Change Using Logic and Answer Set Programming}},
  booktitle = {Proceedings of the Fourteenth International Workshop on Non-Monotonic Reasoning (NMR)},
  editor = {Riccardo Rosati and Stefan Woltran},
  month = jun,
  year = 2012,
  pdf = {2012/NMR12-14.pdf}
}
@inproceedings{pagnucco11howtoplan,
  author = {Maurice Pagnucco and David Rajaratnam and Hannes Strass and Michael Thielscher},
  title = {{How to Plan When Being Deliberately Misled}},
  booktitle = {Proceedings of the Workshop on Automated Action Planning for Autonomous Mobile Robots (PAMR)},
  month = aug,
  year = 2011,
  pdf = {2011/PAMR11-3.pdf}
}
@inproceedings{strass11defaultreasoning,
  author = {Hannes Strass},
  title = {{Default Reasoning about Conditional, Non-Local and Disjunctive Effect Actions}},
  booktitle = {Proceedings of the Ninth International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC)},
  month = jul,
  year = 2011,
  pdf = {2011/NRAC11-2.pdf}
}
@inproceedings{strass-thielscher10defaultreasoning,
  author = {Hannes Strass and Michael Thielscher},
  title = {Default {R}easoning in {A}ction {T}heories with {C}onditional, {N}on-{L}ocal {E}ffect {A}ctions},
  booktitle = {Short Paper Proceedings of the Seventeenth International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR)},
  year = 2010,
  month = oct,
  pdf = {2010/LPAR17-short2.pdf}
}
@inproceedings{strass-thielscher10ageneralfirstorder,
  author = {Hannes Strass and Michael Thielscher},
  title = {A {G}eneral {F}irst-{O}rder {S}olution to the {R}amification {P}roblem},
  booktitle = {Proceedings of the Thirteenth International Workshop on Non-Monotonic Reasoning (NMR)},
  year = 2010,
  month = may,
  editor = {Thomas Meyer and Eugenia Ternovska},
  publisher = {CEUR-WS.org},
  address = {Toronto, Canada},
  pdf = {2010/NMR10.pdf}
}
@inproceedings{CSM09NAFIPS,
  title = {R{F}uzzy---{A} {F}ramework for {M}ulti-adjoint {F}uzzy {L}ogic {P}rogramming},
  author = {Ceruelo, Victor Pablos and
           Strass, Hannes and
           Munoz-Hernandez, Susana},
  booktitle = {NAFIPS 2009. Annual Meeting of the North American Fuzzy Information Processing Society},
  year = {2009},
  month = jun,
  volume = {},
  number = {},
  pages = {1--6},
  doi = {10.1109/NAFIPS.2009.5156427},
  pdf = {2009/NAFIPS09.pdf}
}
@inproceedings{strass-thielscher09defaultsinaction,
  author = {Hannes Strass and Michael Thielscher},
  title = {Defaults in {A}ction: {N}on-monotonic {R}easoning {A}bout {S}tates in {A}ction {C}alculi},
  booktitle = {Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning},
  year = {2009},
  month = jun,
  editor = {G.\ Lakemeyer and L.\ Morgenstern and M.-A.\ Williams},
  pages = {123--128},
  address = {Toronto, Canada},
  note = {\emph{Outstanding Student Paper Award}},
  pdf = {2009/CS09-20.pdf}
}
@inproceedings{CMH08WLPE,
  author = {Victor Pablos Ceruelo and Susana Munoz-Hernandez and Hannes Strass},
  title = {{RFuzzy Framework}},
  booktitle = {18th Workshop on Logic-based methods in Programming Environments (WLPE)},
  pages = {62--76},
  url = {https://babel.ls.fi.upm.es/software/rfuzzy/},
  year = 2008,
  month = dec,
  editor = {Puri Arenas and Damiano Zanardini},
  address = {Udine, Italy},
  pdf = {2008/WLPE08.pdf}
}