Pakota: A system for extension enforcement in abstract argumentation based on constraint optimization

Andreas Johannes Alexand Niskanen, Johannes Peter Wallner, Matti Juhani Järvisalo

Tutkimustuotos: Ei-tekstimuotoinen › Ohjelmisto › Tieteellinen

Alkuperäiskieli	englanti
Tila	Julkaistu - 2015
OKM-julkaisutyyppi	I2 Tieto- ja viestintätekniset sovellukset

Tieteenalat

113 Tietojenkäsittely- ja informaatiotieteet

Pääsy asiakirjaan

http://www.cs.helsinki.fi/group/coreo/pakota/

Polynomisen hierarkian päätösproseduurit, Boolean optimointi, ja mallien laskenta
Järvisalo, M. (Projektinjohtaja)
Unknown funder
01/09/2014 → 31/08/2019
Projekti: Tutkimusprojekti

Siteeraa tätä