ACL RD-TEC 1.0 Summarization of E91-1007
Paper Title:
HORN EXTENDED FEATURE STRUCTURES: FAST UNIFICATION WITH NEGATION AND LIMITED DISJUNCTION
HORN EXTENDED FEATURE STRUCTURES: FAST UNIFICATION WITH NEGATION AND LIMITED DISJUNCTION
Primarily assigned technology terms:
- algorithm
- computational linguistics
- computer science
- computing
- constraint checking
- database
- forward chaining
- graph unification
- graph unification algorithm
- iloxf unification
- inference process
- internet
- label matching
- matching
- natural-language understanding
- parser
- parsing
- parsing mechanism
- programming language
- prolog
- term subsumption
- tile
- tractable inference
- unification
- unification algorithm
- unification process
Other assigned terms:
- approach
- case
- concepts
- data structures
- database language
- datalog
- deduction
- disjunction
- fact
- feature
- feature graph
- feature structure
- feature structures
- feature-term logic
- finite set
- formalism
- formalisms
- formalization
- grammar
- grammar formalisms
- graph structure
- graphical representation
- implementation
- inferences
- knowledge
- linguistics
- logic
- logical representation
- mathematics
- natural-language
- negation
- parse
- process
- propositional logic
- representations
- right-hand side
- root node
- sentences
- subgraph
- subsumption
- tags
- taxonomy
- term
- terms
- theorem
- theories
- theory
- time complexity
- transitive verb
- understanding
- unification-based grammar
- verb
- words
