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

Research output: Non-textual form › Software › Scientific

Cite this

@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",

}