Integrating a Spatial Reasoner with a Resolution Theorem-Prover.
Thomas R. IoergerPublished in: AAAI/IAAI (1997)
Keyphrases
- theorem prover
- term rewriting
- automated reasoning
- theorem proving
- first order logic
- inference rules
- temporal resolution
- automated theorem proving
- spatial information
- computer algebra
- spatial data
- natural deduction
- formal proof
- higher order logic
- spatial and temporal
- spatio temporal
- boolean algebra
- timed automata
- proof planning
- high resolution
- mathematical knowledge
- computer algebra systems
- proof search
- formal semantics
- genetic algorithm
- consistency checking
- temporal reasoning
- feature space
- data mining