On the induction schema for decidable predicates.
Lev D. BeklemishevPublished in: J. Symb. Log. (2003)
Keyphrases
- datalog programs
- function symbols
- databases
- data model
- xml schema
- database schema
- inductive logic programming
- inductive learning
- first order logic
- rule induction
- query answering
- data sets
- path expressions
- horn clauses
- concept learning
- schema evolution
- schema matching
- subgroup discovery
- conceptual schema
- logic programs
- database
- program synthesis
- integrity constraints
- user defined
- explanation based learning
- decision trees
- object oriented
- xml data
- expressive power