Natural Semantics and Some of Its Meta-Theory in Elf.
Spiro MichaylovFrank PfenningPublished in: ELP (1991)
Keyphrases
- speech acts
- theoretical framework
- model theoretic
- operational semantics
- theoretical basis
- formal semantics
- logical framework
- closed world assumption
- proof theory
- general theory
- logic programming
- computational model
- semantic information
- meta level
- mental states
- communicative acts
- active rules
- neural network
- logic programs
- relational databases
- high level
- search engine
- information retrieval
- real world