µ-toksia (version 2019-10-31): SAT-based Solver for Static and Dynamic Argumentation Frameworks

Andreas Niskanen; Matti Järvisalo

µ-toksia (version 2019-10-31): SAT-based Solver for Static and Dynamic Argumentation Frameworks

Forskningsoutput: Icke-textbaserad output › Programvara › Vetenskaplig

Originalspråk	engelska
Status	Publicerad - 19 dec. 2019
MoE-publikationstyp	I2 ICT-programvara

Vetenskapsgrenar

113 Data- och informationsvetenskap

Åtkomst av dokument

https://bitbucket.org/andreasniskanen/mu-toksiaLicens: !!Other

ICCMA 2019 Main Track and Dynamic Track: First place
Niskanen, A. (!!Recipient) & Järvisalo, M. (!!Recipient), 12 aug. 2019
Pris: Pris och hedersbetygelser

Citera det här

@misc{5e77bb1fc6c94911907ddc39ce01f6f6,

title = "µ-toksia (version 2019-10-31): SAT-based Solver for Static and Dynamic Argumentation Frameworks",

keywords = "113 Computer and information sciences, abstract argumentation, dynamic argumentation frameworks, acceptance problem, reasoning procedures",

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

year = "2019",

month = dec,

day = "19",

language = "English",

}

TY - ADVS

T1 - µ-toksia (version 2019-10-31)

T2 - SAT-based Solver for Static and Dynamic Argumentation Frameworks

AU - Niskanen, Andreas

AU - Järvisalo, Matti

PY - 2019/12/19

Y1 - 2019/12/19

KW - 113 Computer and information sciences

KW - abstract argumentation

KW - dynamic argumentation frameworks

KW - acceptance problem

KW - reasoning procedures

M3 - Software

ER -

µ-toksia (version 2019-10-31): SAT-based Solver for Static and Dynamic Argumentation Frameworks

Vetenskapsgrenar

Åtkomst av dokument

Priser

ICCMA 2019 Main Track and Dynamic Track: First place

Citera det här