µ-toksia: An Efficient Abstract Argumentation Reasoner.

Andreas Niskanen Matti Järvisalo

Published in: KR (2020)

Keyphrases

meta reasoning
abstract argumentation
artificial intelligence
data mining
theorem proving