Polynomisen hierarkian päätösproseduurit, Boolean optimointi, ja mallien laskenta

Forskningsresultat

Forskningsresultat per år 2015 2016 2017 2018 2019

• 40 Konferensbidrag
• 12 Artikel
• 8 Programvara
• 6 Antologi eller special utgåva
• 3 Mer
  • 2 Kapitel
  • 1 Konferensartikel

Forskningsresultat per år

Forskningsresultat per år

Sökresultat

• 2018

  Abstract dialectical frameworks

  Brewka, G., Ellmauthaler, S., Strass, H., Wallner, J. P. & Woltran, S., feb. 2018, Handbook of Formal Argumentation. Baroni, P., Gabbay, D., Giacomin, M. & van der Torre, L. (red.). College publications

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Kapitel › Vetenskaplig

• Foundations of implementations for formal argumentation

  Cerutti, F., Gaggl, S. A., Thimm, M. & Wallner, J. P., feb. 2018, Handbook of Formal Argumentation. College publications

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Kapitel › Vetenskaplig