A Higher Order Logic Parser for Natural Language Implemented in Lambda Prolog.
Per KreugerPublished in: AIMSA (1988)
Keyphrases
- natural language
- higher order logic
- knowledge representation
- natural language processing
- higher order
- language processing
- semantic analysis
- theorem prover
- logic programming
- programming language
- machine translation
- machine learning
- information extraction
- knowledge base
- fixed point
- general purpose
- probability distribution
- knowledge representation and reasoning
- conditional logic