Login / Signup
Equipping Abstract Argumentation Solvers for Verifying Negative Results.
Wolfgang Dvorák
Alexander Greßler
Stefan 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