Consistency of the Predicative Calculus of Cumulative Inductive Constructions (pCuIC).
Amin TimanyMatthieu SozeauPublished in: CoRR (2017)
Keyphrases
- inductive learning
- machine learning
- inductive reasoning
- consistency checking
- concept learning
- qualitative spatial and temporal reasoning
- real world
- distributed systems
- image sequences
- knowledge acquisition
- inductive logic programming
- information systems
- knowledge representation
- formal language
- interval algebra
- computer algebra
- multi agent
- functional programs
- maintaining consistency