The Boyer-Moore Theorem-Prover and LOTOS.
Sukhvinder S. AujlaMatthew FletcherPublished in: FORTE (1988)
Keyphrases
- theorem prover
- boyer moore
- pattern matching
- sliding window
- search algorithm
- automated reasoning
- first order logic
- theorem proving
- automated theorem proving
- inference rules
- term rewriting
- automated deduction
- temporal ordering
- computer algebra
- formal semantics
- higher order logic
- proof planning
- timed automata
- proof search
- formal proof
- mathematical knowledge
- computer algebra systems
- bayesian networks
- natural deduction
- logic programs
- feature selection
- data streams
- search space
- data model