Proving inductive validity of constrained inequalities.

Takahiro Nagao Naoki Nishida

Published in: PPDP (2016)

Keyphrases

inductive learning
sufficient conditions
machine learning
database systems
linear inequalities
inductive reasoning
artificial intelligence
information systems
e learning
bayesian networks
cutting plane algorithm
mixed integer linear programs