Connection-based Theorem Proving in Classical and Non-classical Logics.
Christoph KreitzJens OttenPublished in: J. Univers. Comput. Sci. (1999)
Keyphrases
- theorem proving
- automated theorem proving
- first order logic
- theorem prover
- automatic programming
- automated reasoning
- inference rules
- decision procedures
- proof procedure
- term rewriting
- automated deduction
- proof planning
- parallel search
- consequence finding
- logical inference
- geometry theorem proving
- distributed search
- multi agent systems
- combinatorial search
- timed automata