ACL RD-TEC 1.0 Summarization of P88-1033
Paper Title:
A DEFINITE CLAUSE VERSION OF CATEGORIAL GRAMMAR
A DEFINITE CLAUSE VERSION OF CATEGORIAL GRAMMAR
Primarily assigned technology terms:
- backtracking
- depth-first search
- encoding
- functional composition
- hypothetical reasoning
- incremental processing
- inference system
- lambda abstraction
- logic programming
- non-peripheral extraction
- parsing
- processing
- programming language
- prolog
- reasoning
- search
- theorem prover
- theorem proving
- tile
- type raising
- unification
Other assigned terms:
- ambiguity
- approach
- axioms
- case
- categorial grammar
- cognitive
- cognitive science
- cognitive science program
- combinatory grammar
- combinatory logic
- composition
- decidability
- derivation
- derivations
- distribution
- fact
- first-order formulae
- first-order logic
- formalism
- gapping
- grammar
- grammar \
- grammars
- hypotheses
- hypothesis
- implementation
- inference rules
- inferences
- input string
- interpreter
- lambda
- language syntax
- leaf
- lexical ambiguity
- lexical items
- lexical material
- lexicon
- linguistic
- linguistic description
- linguistic formalism
- linguistic information
- linguists
- logic
- logic programming language
- meaning
- natural language
- natural language syntax
- nouns
- predicates
- procedure
- pronoun
- propositional logic
- propositions
- relation
- relative clause
- relative clauses
- relative pronoun
- reordering
- rewrite rules
- root node
- semantic
- sentence
- sentences
- spurious ambiguity
- style
- syntax
- terms
- theorem
- theories
- theory
- tree
- type theory
- unification grammars
- verb
- word
- word order
- words
