Geometric Nontermination Arguments.

Jan Leike Matthias Heizmann

Published in: TACAS (2) (2018)

Keyphrases

geometric structure
geometric constraints
wide range
geometric information
data sets
neural network
learning algorithm
three dimensional
expert systems
knowledge representation
abstract argumentation
geometric reasoning