Inductive Consequences in the Calculus of Constructions.
Daria Walukiewicz-ChrzaszczJacek ChrzaszczPublished in: ITP (2010)
Keyphrases
- inductive learning
- machine learning
- negative consequences
- inductive inference
- knowledge representation
- inductive logic programming
- database
- provably correct
- artificial neural networks
- information systems
- rule learning
- automated deduction
- neural network
- concept learning
- real numbers
- natural deduction
- algebraic structure
- timed automata