Coverset Induction with Partiality and Subsorts: A Powerlist Case Study.
Joe HendrixDeepak KapurJosé MeseguerPublished in: ITP (2010)
Keyphrases
- case study
- lessons learned
- program synthesis
- machine learning
- inductive learning
- rule induction
- explanation based learning
- data sets
- real world
- concept formation
- software development
- business process
- inductive logic programming
- oblique decision trees
- database
- induction algorithms
- inductive inference
- problem based learning
- search algorithm
- image processing
- artificial intelligence
- real time