GraATP: A Graph Theoretic Approach for Automated Theorem Proving in Plane Geometry.
Mohammad Murtaza MahmudSwakkhar ShatabdaMohammad Nurul HudaPublished in: CoRR (2014)
Keyphrases
- automated theorem proving
- theorem prover
- theorem proving
- three dimensional
- euclidean geometry
- answer set programming
- relative position
- projective geometry
- classical logic
- knowledge base
- machine learning
- logic programming
- first order logic
- training data
- image sequences
- ground plane
- geometric features
- geometric information
- normal direction