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

Research output: Non-textual formSoftwareScientific

Original languageEnglish
Publication statusPublished - 20 Nov 2019
MoE publication typeI2 ICT software

Fields of Science

  • 113 Computer and information sciences
  • abstract argumentation
  • incomplete knowledge
  • reasoning procedures

Cite this