Inductive Reachability Witnesses.
Ali AsadiKrishnendu ChatterjeeHongfei FuAmir Kafshdar GoharshadyMohammad MahdaviPublished in: CoRR (2020)
Keyphrases
- inductive learning
- inductive logic programming
- transitive closure
- state space
- inductive inference
- machine learning
- rule learning
- inductive reasoning
- concept learning
- inductive concept learning
- neural network
- data mining
- learning algorithm
- evolutionary algorithm
- functional programs
- query language
- data sets
- preprocessing
- natural language
- support vector
- data structure
- search engine
- databases