Experiments in Theorem Proving for Topological Hybrid Logic.
Dmitry SustretovGuillaume HoffmannCarlos ArecesPatrick BlackburnPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- theorem proving
- automated reasoning
- proof procedure
- logical inference
- automated theorem proving
- proof search
- predicate calculus
- natural deduction
- decision procedures
- automated deduction
- first order logic
- theorem prover
- inference rules
- proof planning
- automatic programming
- parallel search
- term rewriting
- geometry theorem proving
- modal logic
- consequence finding
- reasoning tasks
- distributed search
- combinatorial search
- predicate logic
- logic programming
- knowledge representation
- search algorithm
- machine learning
- mathematical knowledge
- classical logic
- logical framework
- computer algebra
- data mining