Versatile language semantics with reflective embedding.
Tom DinkelakerPublished in: OOPSLA Companion (2009)
Keyphrases
- logical language
- operational semantics
- intended meaning
- specification language
- logic programming language
- formal language
- highly expressive
- model theoretic
- formal semantics
- definition language
- denotational semantics
- dynamic logic
- logic programming
- conceptual graphs
- speech acts
- semantically equivalent
- programming language
- conditional logic
- predicate calculus
- natural language
- language learning
- conceptual model
- action language
- reflective learning
- fixed point semantics
- multiple inheritance
- knowledge base
- closed world
- algebraic operations
- uml class diagrams
- formal languages
- semantic representations
- aggregate functions
- semantic representation
- modeling language
- vector space