Experiments on Supporting Interactive Proof Using Resolution.
Jia MengLawrence C. PaulsonPublished in: IJCAR (2004)
Keyphrases
- automatic theorem proving
- high resolution
- user friendly
- graphical interface
- virtual reality
- consequence finding
- data sets
- theorem proving
- theorem prover
- computer graphics
- artificial intelligence
- low resolution
- user interaction
- image quality
- evolutionary algorithm
- computer vision
- social networks
- support systems
- interactive learning
- machine learning
- real world
- real time