ACL RD-TEC 1.0 Summarization of J94-1001
Paper Title:
COMPUTING WITH FEATURES AS FORMULAE
COMPUTING WITH FEATURES AS FORMULAE
Primarily assigned technology terms:
- algorithm
- approximation
- attribute-value unification
- axiomatization
- backtracking
- binding
- bottom-up algorithm
- computational linguistics
- computing
- constraint solver
- database
- databases
- discourse representation
- encoding
- evaluation algorithm
- feature-graph unification
- herbrand interpretation
- indexing
- language processing
- logic programming
- matching
- natural language processing
- parsing
- processing
- quantification
- recognition
- search
- searching
- unification
- unification algorithm
Other assigned terms:
- approach
- association for computational linguistics
- attribute-value structure
- axioms
- binary relations
- binding theory
- case
- category label
- clausal form
- cognitive
- computational complexity
- computational tractability
- conceptualization
- contra-indexing
- convergence
- d-theory
- datalog
- decidability
- decidable satisfiability
- decidable satisfiability problem
- denotation
- discourse
- discourse representation theory
- disjunction
- evaluation method
- evaluation strategy
- existential quantifier
- exponential time
- external phrase-structure
- fact
- feature
- feature structure
- feature structures
- first-order formulae
- first-order logic
- formalism
- formalisms
- formalization
- full first-order logic
- grammar
- grammar developer
- grammars
- grounding
- implementation
- index
- information state
- information states
- interpretation
- lattice
- lemma
- lexical entries
- linguistic
- linguistic constraints
- linguistic phenomena
- linguistic structure
- linguistic structures
- linguistics
- logic
- long-distance dependencies
- meaning
- mechanisms
- method
- modal logic
- names
- natural language
- natural languages
- negation
- negative clause
- np-hard problem
- phrase
- phrase structure
- phrase structure rules
- predicates
- priori
- procedure
- proposition
- quantifier
- quantifier-free formulae
- relation
- representation theory
- running time
- satisfiability problem
- schema
- subclass
- subsumption
- subsumption relation
- symbol
- symbols
- syntactic equality
- syntactic form
- syntactic rules
- syntax
- technique
- technology
- term
- terms
- theorem
- theory
- transformation
- tree
- tree node
- tree structure
- trees
- unification grammar
- utterance
- word
