Dependency Unification Grammar for PROLOG.
Friedrich SteimannChristoph BrzoskaPublished in: Comput. Linguistics (1995)
Keyphrases
- theorem proving
- dependency structure
- natural language
- logic programming
- expert systems
- higher order
- programming language
- knowledge representation
- information content
- prolog programs
- context free grammars
- broad coverage
- theorem prover
- grammatical inference
- abstract machine
- logic programming language
- linguistic knowledge
- data sets
- knowledge base
- finite state automata
- parse tree
- natural language sentences
- linguistically motivated
- stochastic grammar
- word order
- constraint logic programming
- context free
- inference engine
- context sensitive
- machine learning