A Witness Extraction Technique by Proof Normalization Based on Interactive Realizability
Giovanni BiroloPublished in: CoRR (2013)
Keyphrases
- highly interactive
- information extraction
- graphical interface
- theorem proving
- evolutionary algorithm
- interactive systems
- virtual reality
- user friendly
- automatic extraction
- knowledge extraction
- interactive video
- database
- automatically extracting
- theorem prover
- computer graphics
- knowledge discovery
- information retrieval
- real world
- neural network