ACL RD-TEC 1.0 Summarization of P04-1031
Paper Title:
BALANCING CLARITY AND EFFICIENCY IN TYPED FEATURE LOGIC THROUGH DELAYING
BALANCING CLARITY AND EFFICIENCY IN TYPED FEATURE LOGIC THROUGH DELAYING
Primarily assigned technology terms:
- binding
- chart parsing
- compiler
- constraint logic programming
- constraint resolution
- constraint solver
- goal expansion
- grammar writer
- instantiation
- language processing
- language processing systems
- logic programming
- measuring
- natural language processing
- natural language processing systems
- nlp
- nlp systems
- non-deterministic search
- parsing
- processing
- processor
- programming language
- prolog
- quantification
- search
- shortest-path
- sicstus prolog
- sld resolution
- static analysis
- structure sharing
- structure-sharing
- type inference
- unification
Other assigned terms:
- algebraic structure
- analogy
- approach
- argument position
- case
- chunks
- community
- computational overhead
- conjunct
- constraint logic
- control strategy
- curry-howard isomorphism
- data structure
- data structures
- denotation
- description language
- description logics
- disjunction
- entailment
- fact
- feature
- feature structure
- feature structures
- feature value
- finite set
- grammar
- hpsg
- hpsg grammar
- hpsgs
- implementation
- inheritance
- intention
- interpretation
- language theory
- lexical rules
- linguistics
- logic
- measure
- method
- minimal recursion semantics
- natural language
- normal form
- parse
- phrase
- phrase structure
- phrase structure rule
- phrase structure rules
- polymorphism
- procedure
- programming language theory
- prolog implementation
- recursion
- recursive structure
- relation
- relative clauses
- run-time
- search space
- semantic
- semantic types
- sentence
- sentences
- structure rule
- subsumption
- syntax
- target language
- term
- terms
- theory
- transitive closure
- typed feature
- typed feature logic
- typed feature structure
- typed feature structures
- universal quantification
- verb
- word
