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

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

Originalspråkengelska
StatusPublicerad - 19 dec 2019
MoE-publikationstypI2 ICT-programvara

Vetenskapsgrenar

  • 113 Data- och informationsvetenskap

Priser

ICCMA 2019 Main Track and Dynamic Track: First place

Niskanen, Andreas (!!Recipient) & Järvisalo, Matti (!!Recipient), 12 aug 2019

Pris: Pris och hedersbetygelser

Citera det här