Computational linguistics and mathematical logic from a computer science point of view.
Gregers KochPublished in: NODALIDA (1985)
Keyphrases
- computational linguistics
- computer science
- natural language processing
- artificial intelligence
- machine learning
- computer algebra
- semisupervised learning
- text corpora
- mathematical theory
- lecture notes
- information retrieval
- language technology
- mathematical concepts
- text mining
- logic programming
- modal logic
- databases
- social sciences
- researchers and practitioners
- graduate students
- theorem prover
- knowledge base
- student research workshop
- database
- human language technologies