SATforDL-ABA: SAT-based algorithms for the default logic instantiation of assumption-based argumentation

Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo

Tutkimustuotos: Ei-tekstimuotoinen › Ohjelmisto › Tieteellinen

Alkuperäiskieli	suomi
Tila	Julkaistu - 19 syysk. 2022
OKM-julkaisutyyppi	I2 Tieto- ja viestintätekniset sovellukset

Tieteenalat

@misc{ec29ad2face24869b71e980d4ea2569b,

title = "SATforDL-ABA: SAT-based algorithms for the default logic instantiation of assumption-based argumentation",

keywords = "113 Tietojenk{\"a}sittely- ja informaatiotieteet",

author = "Tuomo Lehtonen and Wallner, {Johannes P.} and Matti J{\"a}rvisalo",

year = "2022",

month = sep,

day = "19",

language = "suomi",

}