A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics.
Ricardo CaferraStéphane DemriMichel HermentPublished in: Stud Logica (1993)
Keyphrases
- theorem proving
- main contribution
- key features
- information systems
- automated theorem proving
- theoretical framework
- probabilistic model
- feature space
- theorem prover
- conceptual framework
- expert systems
- real time
- multiscale
- database systems
- search engine
- artificial intelligence
- learning algorithm
- genetic algorithm
- data mining