A Multi-Step Approach in Translating Natural Language into Logical Formula.
Ha-Thanh NguyenWachara FungwacharakornFumihito NishinoKen SatohPublished in: JURIX (2022)
Keyphrases
- multi step
- logical formulas
- natural language
- knowledge base
- predicate logic
- partial order
- first order logic
- single step
- lower bounding
- knn
- k nearest neighbor
- tumor classification
- natural language processing
- semi supervised
- information extraction
- learning algorithm
- linear combination
- higher level
- knowledge representation
- neural network