ACL RD-TEC 1.0 Summarization of J91-2001
Paper Title:
FEATURES AND FORMULAE
FEATURES AND FORMULAE
Primarily assigned technology terms:
- algorithm
- attribute-value unification
- axiomatization
- computational linguistics
- computing
- discourse representation
- encoding
- finite automata
- forward chaining
- graph representation
- indexing
- inference process
- linguistic analysis
- listing
- parsers
- parsing
- quantification
- recognition
- theorem prover
- unification
- unification algorithm
- unification operation
Other assigned terms:
- anaphor
- anaphoric pronouns
- approach
- association for computational linguistics
- attribute-value structure
- automata
- axioms
- binary relation
- binary relations
- case
- clausal form
- cognitive
- comprehension
- computational complexity
- data structure
- data structures
- decidability
- denotation
- description language
- determiner
- device
- discourse
- discourse context
- discourse entities
- discourse representation theory
- disjunction
- disjunctive feature
- existential quantifier
- fact
- feature
- feature structure
- feature structures
- first-order formulae
- first-order logic
- formalism
- gb theory
- grammar
- grammar formalism
- grammars
- hpsg
- implementation
- index
- interpretation
- knowledge
- lexical entries
- lexical entry
- lexical items
- linguistic
- linguistic constraints
- linguistic correctness
- linguistic theories
- linguistics
- logic
- method
- natural languages
- negation
- nouns
- parsing process
- phrase
- phrase structure
- phrase structure rules
- phrase structure tree
- predicates
- procedure
- process
- pronoun
- pronouns
- proposition
- quantifier
- relation
- representation theory
- satisfiability problem
- schema
- sentence
- set theory
- subsumption
- subsumption relation
- symbol
- symbols
- syntactic constructions
- syntactic phrase
- syntactic phrase structure
- syntactic rules
- syntactic tree
- target language
- terms
- theorem
- theories
- theory
- transitive closure
- tree
- unification-based grammar
- utterance
- verb
- well-formed feature structure