Login / Signup

Equipping Abstract Argumentation Solvers for Verifying Negative Results.

Wolfgang DvorákAlexander GreßlerStefan Woltran
Published in: SAC (2024)
Keyphrases
  • abstract argumentation
  • positive and negative
  • theorem proving
  • argumentation frameworks
  • sat solvers
  • preference relations
  • artificial intelligence
  • model checking
  • abstract argumentation frameworks
  • multi agent