ACL RD-TEC 1.0 Summarization of P93-1028
Paper Title:
A LOGICAL SEMANTICS FOR NONMONOTONIC SORTS
A LOGICAL SEMANTICS FOR NONMONOTONIC SORTS
Authors: Mark A. Young and Bill Rounds
Primarily assigned technology terms:
Other assigned terms:
- abbreviation
- approach
- case
- entailment
- entailment relation
- fact
- feature
- feature structure
- feature structures
- feature value
- finite set
- formalism
- formalisms
- grammar
- grammar formalisms
- implementation
- inferences
- inheritance
- inheritance hierarchy
- knowledge
- lexical entry
- lexical inheritance
- lexicon
- linguistic
- linguistic information
- logic
- meaning
- method
- multiple inheritance
- negation
- past participle
- process
- relation
- root node
- sentences
- suffix
- suffixes
- symbol
- terms
- theorem
- theories
- theory
- transitivity
- typed feature
- typed feature structures
- unification-based grammar
- verb
- word
- words
