k++ADF: SAT-based Reasoner for Abstract Dialectical Frameworks

Tutkimustuotos: Ei-tekstimuotoinenOhjelmistoTieteellinen

Alkuperäiskielienglanti
TilaJulkaistu - 6 heinäkuuta 2018
OKM-julkaisutyyppiI2 Tieto- ja viestintätekniset sovellukset

Tieteenalat

  • 113 Tietojenkäsittely- ja informaatiotieteet

Siteeraa tätä