ACL RD-TEC 1.0 Summarization of E91-1011
Paper Title:
PROCESSING LANGUAGE WITH LOGICAL TYPES AND ACTIVE CONSTRAINTS
PROCESSING LANGUAGE WITH LOGICAL TYPES AND ACTIVE CONSTRAINTS
Primarily assigned technology terms:
- automaton
- backtracking
- binding
- coding
- compiler
- computational linguistics
- constraint logic programming
- constraint resolution
- constraint solving
- data representation
- final state
- language generation
- language processing
- logic programming
- natural language generation
- parsing
- processing
- programming framework
- programming language
- prolog
- resolution mechanism
- subcategorization
- type construction
- type inheritance
- typed unification
- unification
Other assigned terms:
- abstract machine
- adjunction
- approach
- axioms
- binding theory
- case
- categorial grammars
- co-reference
- coherence
- constraint logic
- constraint satisfaction
- denotation
- description language
- document
- fact
- feature
- feature value
- formalism
- formalisms
- frame
- french
- gb theory
- generation
- generation process
- grammar
- grammar rule
- grammar rules
- grammars
- grammatical system
- hpsg
- hpsgs
- hypothesis
- index
- inheritance
- interpretation
- interpreter
- lexical categories
- lexical entries
- lexical level
- lexical semantics
- lexicon
- linguistic
- linguistic system
- linguistics
- logic
- long-distance dependencies
- meaning
- mechanisms
- natural language
- negation
- non-terminal symbol
- parse
- parse tree
- parsing process
- phrase
- phrase structure
- phrase structure grammars
- procedure
- process
- projection
- projection principle
- relation
- representations
- schema
- sentence
- sentence structure
- sentences
- situation semantics
- subcategorization frame
- subject position
- subsumption
- symbol
- symbols
- syntactic constructions
- syntactic description
- syntactic representation
- syntactic rules
- syntax
- term
- terms
- thematic role
- theories
- theory
- tree
- tree automaton
- unification grammar
- unification grammars
- verb
- well-formedness constraint
- words
- x-bar syntax
- x-bar theory