Using and Parsing the Mizar Language.
Paul A. CairnsJeremy GowPublished in: Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases
- natural language
- programming language
- word order
- language understanding
- visual languages
- stochastic context free grammars
- syntactic parsing
- penn treebank
- linguistic analysis
- natural language processing
- computer assisted
- language learning
- language processing
- data sets
- dependency parsing
- context free
- english language
- specification language
- information extraction
- knowledge representation
- hidden markov models
- genetic algorithm