Geometric Nontermination Arguments.

Jan Leike Matthias Heizmann

Published in: CoRR (2016)

Keyphrases

case study
geometric constraints
geometric structure
database
databases
artificial intelligence
data sets
real world
relational databases
artificial neural networks
multiresolution
probability distribution
argumentation frameworks
argumentation systems
supreme court