Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis.
Gregor SneltingWolfgang HenhaplPublished in: POPL (1986)
Keyphrases
- semantic analysis
- semantic information
- natural language
- natural language processing
- natural language understanding
- syntactic analysis
- incremental learning
- higher order
- syntactic parsing
- information retrieval
- theorem prover
- theorem proving
- semantic meaning
- machine learning
- relational databases
- keywords
- high level
- multimedia
- parse tree
- data sets