Controlling Deduction with Proof Condensation and Heuristics.
Franz OppacherE. SuenPublished in: CADE (1986)
Keyphrases
- theorem proving
- theorem prover
- automated theorem proving
- automated theorem provers
- proof search
- search algorithm
- particle filter
- proof procedure
- inference rules
- automated deduction
- database
- greedy heuristics
- mathematical proofs
- computer algebra
- linear logic
- particle filtering
- first order logic
- video sequences
- clustering algorithm
- learning algorithm
- real time