Rewriting Induction + Linear Arithmetic = Decision Procedure.

Stephan Falke Deepak Kapur

Published in: IJCAR (2012)

Keyphrases

decision making
integer arithmetic
decision makers
inductive learning
linear systems
neural network
rule induction
queries using views
floating point