ACL RD-TEC 1.0 Summarization of P89-1003
Paper Title:
A THREE-VALUED INTERPRETATION OF NEGATION IN FEATURE STRUCTURE DESCRIPTIONS
A THREE-VALUED INTERPRETATION OF NEGATION IN FEATURE STRUCTURE DESCRIPTIONS
Authors: Anuj Dawar and K. Vijay-Shanker
Primarily assigned technology terms:
Other assigned terms:
- alphabet
- approach
- automata
- case
- co-reference
- complex feature structure
- derivational equivalence
- description language
- descriptive language
- disjunction
- feature
- feature structure
- feature structures
- finite automaton
- finite set
- formal language
- formal semantics
- formalism
- formalization
- functional unification grammar
- grammar
- grammar \
- implementation
- intention
- interpretation
- linguistic
- linguistic intention
- linguistic theories
- logic
- modal operator
- natural language
- natural-language
- negation
- negation operator
- opinion
- procedure
- propositional logic
- satisfiability problem
- subsumption
- symbols
- syntax
- technique
- terms
- theorem
- theories
- understanding
- unification grammar
- unification grammar \
- user
- verb
