Locality Transfer: From Constrained Axiomatizations to Reachability Predicates.

Matthias Horbach Viorica Sofronie-Stokkermans

Published in: IJCAR (2014)

Keyphrases

state space
databases
objective function
spatial locality
neural network
machine learning
transfer learning
user defined
horn clauses
decision procedures