Cooperation between Top-Down and Bottom-Up Theorem Provers
Marc FuchsDirk FuchsPublished in: CoRR (2011)
Keyphrases
- theorem prover
- theorem proving
- cooperative
- automated reasoning
- automated deduction
- first order logic
- inference rules
- term rewriting
- automated theorem proving
- computer algebra
- higher order logic
- natural deduction
- multi agent
- timed automata
- multi agent systems
- information sharing
- formal semantics
- proof planning
- machine learning
- computer algebra systems