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

Research output: Non-textual formSoftwareScientific

Original languageEnglish
Publication statusPublished - 19 Dec 2019
MoE publication typeI2 ICT software

Fields of Science

  • 113 Computer and information sciences
  • abstract argumentation
  • dynamic argumentation frameworks
  • acceptance problem
  • reasoning procedures

Cite this