Optimized Program Extraction for Induction and Coinduction.
Ulrich BergerOlga PetrovskaPublished in: CiE (2018)
Keyphrases
- program synthesis
- functional programs
- automatic extraction
- inductive learning
- program execution
- databases
- inductive logic programming
- information extraction
- first order logic
- expert systems
- inductive inference
- rule induction
- artificial intelligence
- software engineering
- association rules
- concept learning
- data structure
- computer programs
- programming environment
- concept formation
- automatically extracting
- machine learning
- neural network