DELTA - A Bottom-up Preprocessor for Top-Down Theorem Provers - System Abstract.
Johann SchumannPublished in: CADE (1994)
Keyphrases
- theorem prover
- high level
- theorem proving
- attention mechanism
- automated theorem proving
- automated reasoning
- inference rules
- first order logic
- term rewriting
- computer algebra
- automated deduction
- figure ground segmentation
- formal semantics
- low level
- figure ground
- visual saliency
- higher level
- proof search
- timed automata
- higher order logic
- artificial intelligence
- evolutionary algorithm
- machine learning
- distributed systems
- expert systems
- lower layers
- computer algebra systems