ACL RD-TEC 1.0 Summarization of P94-1035
Paper Title:
AN ATTRIBUTIVE LOGIC OF SET DESCRIPTIONS AND SET OPERATIONS
AN ATTRIBUTIVE LOGIC OF SET DESCRIPTIONS AND SET OPERATIONS
Primarily assigned technology terms:
Other assigned terms:
- alphabet
- approach
- binary relations
- break
- case
- communication research
- computational complexity
- concept
- concepts
- device
- discourse
- disjunction
- entailment
- entailment relation
- evaluation function
- existential quantification
- fact
- feature
- finite set
- first-order formulae
- formalism
- formalisms
- grammar
- grammar formalism
- grammar formalisms
- hpsg
- hpsg grammar
- human communication
- implementation
- intelligence
- interpretation
- knowledge
- lemma
- linguistic
- linguistic theories
- logic
- mechanisms
- method
- negation
- normal form
- polynomial time
- predicate logic
- procedure
- process
- pronoun
- relation
- semantic
- subcategorisation
- subclass
- symbol
- symbols
- syntax
- syntax and semantics
- term
- terms
- theorem
- theories
- words
