Taeydennae (version 2019-10-20): SAT-based Reasoner for Incomplete Argumentation Frameworks

Tutkimustuotos: Ei-tekstimuotoinen › Ohjelmisto › Tieteellinen

Alkuperäiskieli	englanti
Tila	Julkaistu - 20 marrask. 2019
OKM-julkaisutyyppi	I2 Tieto- ja viestintätekniset sovellukset

Tieteenalat

@misc{bdbf45c7620d409c8b13e2e850197dd4,

title = "Taeydennae (version 2019-10-20): SAT-based Reasoner for Incomplete Argumentation Frameworks",

keywords = "113 Computer and information sciences, abstract argumentation, incomplete knowledge, reasoning procedures",

author = "Andreas Niskanen and Matti J{\"a}rvisalo",

year = "2019",

month = nov,

day = "20",

language = "English",

}