ACL RD-TEC 1.0 Summarization of P82-1003
Paper Title:
THE REPRESENTATION OF INCONSISTENT INFORMATION IN A DYNAMIC MODEL-THEORETIC SEMANTICS
THE REPRESENTATION OF INCONSISTENT INFORMATION IN A DYNAMIC MODEL-THEORETIC SEMANTICS
Primarily assigned technology terms:
Other assigned terms:
- compositionality
- denotation
- dynamic model
- evaluations
- formalism
- heuristics
- intensional isomorphism
- knowledge
- logical expression
- logical formula
- meaning
- meanings
- mechanisms
- names
- natural language
- proper name
- representations
- sentence
- sentences
- subclass
- theories
- translations
- understanding