Keyphrases
- machine learning
- inductive learning
- theorem proving
- collaborative learning
- open ended
- failure prediction
- knowledge representation
- inductive inference
- root cause
- highly reliable
- linear logic
- geometry theorem proving
- repair actions
- recursive programs
- logical rules
- inductive reasoning
- rule learning
- inductive logic programming
- expert systems
- database systems
- information systems
- computer vision