Cooperation between Top-Down and Bottom-Up Theorem Provers.
Dirk FuchsMarc FuchsPublished in: J. Artif. Intell. Res. (1999)
Keyphrases
- theorem prover
- automated reasoning
- theorem proving
- cooperative
- automated theorem proving
- first order logic
- term rewriting
- computer algebra
- automated deduction
- inference rules
- higher order logic
- multi agent systems
- multi agent
- information sharing
- class specific
- timed automata
- natural deduction
- formal semantics
- proof search
- machine learning
- propositional logic
- proof planning
- high level