New Developments in Parsing Mizar.
Czeslaw BylinskiJesse AlamaPublished in: AISC/MKM/Calculemus (2012)
Keyphrases
- computer assisted
- natural language
- natural language processing
- dependency parsing
- artificial intelligence
- expert systems
- neural network
- intermediate representation
- syntactic analysis
- error recovery
- speech understanding
- natural language parsing
- unsupervised learning
- social networks
- database
- parse tree
- wide coverage
- syntactic pattern recognition