ACL RD-TEC 1.0 Summarization of P01-1054
Paper Title:
TRACTABILITY AND STRUCTURAL CLOSURES IN ATTRIBUTE LOGIC TYPE SIGNATURES
TRACTABILITY AND STRUCTURAL CLOSURES IN ATTRIBUTE LOGIC TYPE SIGNATURES
Primarily assigned technology terms:
- algorithm
- binding
- classification
- computing
- constraint handling
- constraint logic programming
- encoding
- error detection
- grammar development
- incremental compilation
- inferencing
- knowledge representation
- large-scale grammar development
- logic programming
- msl completion
- parsing
- parsing system
- programming language
- prolog
- reading
- search
- sicstus prolog
- signature completion
- sld resolution
- type inference
- unification
Other assigned terms:
- approach
- case
- compile-time
- concepts
- constraint logic
- dimensionality
- disjunction
- fact
- feature
- feature structure
- feature structures
- feature value
- finite set
- generalisation
- generation
- grammar
- grammars
- heuristic
- hpsg
- implementation
- inheritance
- intractability
- knowledge
- lattice
- linear time
- linguistic
- linguistic information
- linguists
- logic
- logic programming language
- main verb
- method
- polynomial time
- prolog implementation
- proposition
- query
- representations
- run-time
- scalability
- syntax
- term
- terms
- test corpus
- time complexity
- transitive closure
- type hierarchy
- typed feature
- typed feature logic
- verb
