Automating Inversion of Inductive Predicates in Coq.
Cristina CornesDelphine TerrassePublished in: TYPES (1995)
Keyphrases
- inductive learning
- theorem prover
- inductive logic programming
- inductive inference
- inductive reasoning
- formal methods
- user defined
- image reconstruction
- concept learning
- machine learning
- predicate invention
- rule learning
- inductive concept learning
- neural network
- deductive reasoning
- artificial intelligence
- real world
- first order logic
- horn clauses
- knowledge representation
- relational databases
- similarity measure
- functional programs