Positive Inductive-Recursive Definitions.
Neil GhaniLorenzo MalatestaFredrik Nordvall ForsbergPublished in: CALCO (2013)
Keyphrases
- recursive programs
- positive and negative
- recursive functions
- inductive inference
- inductive learning
- logic programs
- positively correlated
- data structure
- artificial intelligence
- inductive logic programming
- machine learning
- databases
- data sets
- multiscale
- information technology
- database
- information systems
- genetic algorithm
- positive feedback
- program synthesis
- inductive reasoning