Using Matrix Exponentials for Abstract Argumentation.

Carl Corea Matthias Thimm

Published in: SAFA@COMMA (2016)

Keyphrases

abstract argumentation
theorem proving
singular value decomposition
preference relations
learning algorithm
artificial intelligence
computational complexity
low rank
linear logic