Keyphrases
- speech acts
- semantic interpretation
- theoretical framework
- general theory
- intended meaning
- proof theory
- semantic representations
- algebraic structure
- semantic structure
- semantic representation
- model theoretic
- conceptual model
- logic programming
- natural language
- case study
- databases
- proof theoretic
- mathematical theory
- logical framework
- formal semantics
- decision theory
- theoretical basis
- computational model
- object oriented
- artificial intelligence