Isabelle/jEdit as IDE for Domain-specific Formal Languages and Informal Text Documents.
Makarius WenzelPublished in: F-IDE@FLoC (2018)
Keyphrases
- text documents
- formal languages
- domain specific
- text mining
- natural language
- information extraction
- theorem prover
- text categorization
- text classification
- topic models
- wordnet
- keywords
- formal language
- bag of words
- context free grammars
- relation extraction
- named entities
- pattern languages
- computer vision
- inference rules
- bayesian networks
- question answering
- data mining
- feature vectors
- natural language interface
- co occurrence
- object oriented