ACL RD-TEC 1.0 Summarization of P86-1038
Paper Title:
A LOGICAL SEMANTICS FOR FEATURE STRUCTURES
A LOGICAL SEMANTICS FOR FEATURE STRUCTURES
Primarily assigned technology terms:
Other assigned terms:
- adjunct
- alphabet
- automata
- case
- computational complexity
- definite clause grammar
- disjunction
- disjunctive feature
- exponential time
- fact
- feature
- feature matrix
- feature structure
- feature structures
- finite automaton
- formalism
- formalisms
- functional unification grammar
- grammar
- grammar \
- grammar formalisms
- grammars
- grammatical formalism
- implementation
- interpretation
- linguistic
- linguistic phenomena
- logic
- logical formula
- meaning
- method
- mood
- negation
- normal form
- parsing procedure
- passive voice
- procedure
- propositional logic
- relation
- representation language
- satisfiability problem
- schema
- subsumption
- symbols
- syntax
- term
- terms
- theory
- type identity
- unification grammar
- unification grammar \
- unification-based grammar
