aba2af: A system for reasoning about acceptance in structured argumentation via abstract argumentation

Tuomo Tapio Pietari Lehtonen, Johannes P. Wallner, Matti Juhani Järvisalo

Tutkimustuotos: Ei-tekstimuotoinen › Ohjelmisto › Tieteellinen

2 tulosta

Suodatin

Päättynyt

Harnessing Constraint Reasoning for Structure Discovery
Järvisalo, M. (Projektinjohtaja)
Unknown funder
01/01/2015 → 31/12/2018
Projekti: Helsingin yliopiston kolmivuotinen tutkimushanke
Polynomisen hierarkian päätösproseduurit, Boolean optimointi, ja mallien laskenta
Järvisalo, M. (Projektinjohtaja)
Unknown funder
01/09/2014 → 31/08/2019
Projekti: Tutkimusprojekti