Journals

@article{baumann-strass17on-the-number,
  author = {Ringo Baumann and Hannes Strass},
  title = {On the Number of Bipolar {Boolean} Functions},
  journal = {Journal of Logic and Computation},
  volume = {},
  number = {},
  pages = {},
  year = {2017},
  doi = {10.1093/logcom/exx025},
  note = {Advance Access Online 07 August 2017},
  pdf = {2017/JLC-16-40.pdf}
}
@article{baumann16rejected,
  author = {Ringo Baumann and Wolfgang Dvo\v{r}\'{a}k and Thomas Linsbichler and Christof Spanring and Hannes Strass and Stefan Woltran},
  title = {On rejected arguments and implicit conflicts: {The} hidden power of argumentation semantics},
  journal = {Artificial Intelligence},
  volume = {},
  number = {},
  pages = {244--284},
  year = 2016,
  doi = {10.1016/j.artint.2016.09.004},
  url = {http://www.sciencedirect.com/science/article/pii/S0004370216301102},
  pdf = {2016/AIJ-15-283.pdf}
}
@article{strass15expressiveness,
  author = {Hannes Strass},
  title = {Expressiveness of Two-Valued Semantics for Abstract Dialectical Frameworks},
  journal = {Journal of Artificial Intelligence Research},
  volume = {54},
  pages = {193--231},
  year = 2015,
  publisher = {AAAI Press},
  doi = {10.1613/jair.4879},
  pdf = {2015/JAIR4879.pdf}
}
@article{strass-wallner15complexity,
  author = {Hannes Strass and Johannes Peter Wallner},
  title = {Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory},
  journal = {Artificial Intelligence},
  volume = {226},
  pages = {34--74},
  year = {2015},
  doi = {10.1016/j.artint.2015.05.003},
  pdf = {2015/AIJ2846.pdf}
}
@article{strass15instantiating,
  author = {Hannes Strass},
  title = {Instantiating rule-based defeasible theories in abstract dialectical frameworks and beyond},
  journal = {Journal of Logic and Computation},
  volume = {},
  pages = {},
  year = 2015,
  pdf = {2014/JLC14.pdf},
  note = {In press.},
  doi = {10.1093/logcom/exv004}
}
@article{strass13approximating,
  author = {Hannes Strass},
  title = {Approximating Operators and Semantics for Abstract Dialectical Frameworks},
  journal = {Artificial Intelligence},
  volume = {205},
  pages = {39--70},
  month = dec,
  year = 2013,
  pdf = {2013/AIJ2727.pdf},
  doi = {10.1016/j.artint.2013.09.004}
}
@article{strass-thielscher13ageneralfirstorder,
  author = {Hannes Strass and Michael Thielscher},
  title = {A general first-order solution to the ramification problem with cycles},
  journal = {Journal of Applied Logic},
  volume = {11},
  number = {3},
  pages = {289--308},
  year = {2013},
  doi = {10.1016/j.jal.2013.05.003},
  pdf = {2013/JAL298.pdf}
}
@article{munozhernandez11rfuzzy,
  author = {Susana Munoz-Hernandez and V{\'i}ctor Pablos-Ceruelo and Hannes Strass},
  title = {RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog},
  journal = {Information Sciences},
  volume = {181},
  number = {10},
  pages = {1951--1970},
  year = {2011},
  note = {Special Issue on Information Engineering Applications Based on Lattices},
  pdf = {2011/INS11.pdf}
}