Model Generation Theorem Provers on a Parallel Inference Machine.
Masayuki FujitaRyuzo HasegawaMiyuki KoshimuraHiroshi FujitaPublished in: FGCS (1992)
Keyphrases
- theorem prover
- theorem proving
- automated theorem proving
- first order logic
- automated reasoning
- inference rules
- term rewriting
- computer algebra
- automated deduction
- higher order logic
- parallel machines
- parallel processing
- bayesian networks
- timed automata
- inference process
- natural deduction
- metadata
- parallel implementation
- graphical models
- training data