CERES for first-order schemata.
Alexander LeitschNicolas PeltierDaniel WellerPublished in: J. Log. Comput. (2017)
Keyphrases
- higher order
- first order logic
- stochastic dominance
- functional dependencies
- database schema
- real time
- quantifier elimination
- neural network
- knowledge base
- artificial neural networks
- evolutionary algorithm
- domain knowledge
- integrity constraints
- term rewriting
- general logic programs
- inductive logic programming systems