ACL RD-TEC 1.0 Summarization of P90-1022
Paper Title:
EXPRESSING DISJUNCTIVE AND NEGATIVE FEATURE CONSTRAINTS WITH CLASSICAL FIRST-ORDER LOGIC.
EXPRESSING DISJUNCTIVE AND NEGATIVE FEATURE CONSTRAINTS WITH CLASSICAL FIRST-ORDER LOGIC.
Primarily assigned technology terms:
Other assigned terms:
- abbreviation
- approach
- attribute-value structure
- axioms
- case
- context-free grammar
- decidability
- denotation
- disjunction
- fact
- feature
- feature structure
- feature structures
- first-order formulae
- first-order logic
- function-free universally-quantified prenex formulae
- genre
- grammar
- grammar \
- interpretation
- lattice
- lexical entries
- linguistic
- linguistic theories
- logic
- mappings
- method
- natural language
- negation
- phrase
- phrase structure
- phrase structure rules
- polynomial time
- quantifier-free formulae
- relation
- satisfiability problem
- schema
- semantic
- subsumption
- subsumption relation
- symbols
- syntactic tree
- technique
- term
- terms
- theorem
- theories
- transitivity
- tree
- unification grammar
- unification-based grammar
- verb
