Some Uses of Higher-Order Logic in Computational Linguistics.
Dale MillerGopalan NadathurPublished in: ACL (1986)
Keyphrases
- computational linguistics
- higher order logic
- higher order
- natural language processing
- theorem prover
- conditional logic
- artificial intelligence
- logical framework
- information retrieval
- text mining
- machine learning
- computer science
- text corpora
- conceptual structures
- semisupervised learning
- language technology
- human language technologies
- modal logic
- incomplete information
- belief revision
- lexical semantics
- student research workshop
- constraint satisfaction
- logic programming