First-Order Reasoning in the Calculus of Inductive Constructions.
Pierre CorbineauPublished in: TYPES (2003)
Keyphrases
- deductive reasoning
- knowledge representation
- proof procedure
- first order logic
- inductive reasoning
- knowledge base
- term rewriting
- qualitative spatial reasoning
- reasoning systems
- machine learning
- probabilistic logic
- inductive logic programming
- qualitative reasoning
- reasoning tasks
- predicate calculus
- legal reasoning
- inductive inference
- theorem proving
- proof theoretic
- qualitative spatial
- algebraic structure
- automated theorem proving
- model theoretic
- approximate reasoning
- computational properties
- inductive learning
- natural language