Performing Implicit Induction Reasoning with Certifying Proof Environments.
Amira HenaienSorin StratulatPublished in: SCSS (2012)
Keyphrases
- proof planning
- proof theory
- mathematical proofs
- proof search
- proof theoretic
- theorem proving
- logical rules
- automated reasoning
- dynamic environments
- model based reasoning
- automated theorem proving
- concept formation
- inductive reasoning
- theorem prover
- real world
- proof procedure
- reasoning process
- knowledge base
- program synthesis
- reasoning systems
- inductive learning
- reasoning about actions
- sequent calculus
- nonmonotonic reasoning
- probabilistic reasoning