An Investigation of Hilbert's Implicit Reasoning through Proof Discovery in Idle-Time.
Phil ScottJacques D. FleuriotPublished in: Automated Deduction in Geometry (2010)
Keyphrases
- scientific discovery
- proof theory
- proof theoretic
- logical rules
- mathematical proofs
- knowledge discovery
- automated reasoning
- discovery process
- meta level
- automated theorem proving
- linear logic
- theorem proving
- single machine
- knowledge representation
- proof procedure
- reasoning process
- knowledge representation and reasoning
- databases
- qualitative reasoning
- spatial reasoning
- theorem prover
- scheduling problem
- genetic algorithm
- data mining
- uncertain information
- logical framework
- single machine scheduling problem
- association rules