Automatic Understanding and Formalization of Plane Geometry Proving Problems in Natural Language: A Supervised Approach.
Wenbin GanXinguo YuMingshu WangPublished in: Int. J. Artif. Intell. Tools (2019)
Keyphrases
- natural language
- solving problems
- knowledge representation
- three dimensional
- problems involving
- image sequences
- information extraction
- machine learning
- benchmark problems
- unsupervised learning
- optimization problems
- np complete
- semi supervised
- natural language interface
- operational semantics
- geometric constraints
- dimensionality reduction
- natural language processing
- evolutionary algorithm
- lower bound
- computer vision
- artificial intelligence
- learning algorithm