GF + MMT = GLF - From Language to Semantics through LF.
Michael KohlhaseJan Frederik SchaeferPublished in: LFMTP@LICS (2019)
Keyphrases
- logical language
- specification language
- logic programming language
- highly expressive
- definition language
- formal semantics
- operational semantics
- formal language
- conceptual graphs
- intended meaning
- logic programming
- proof theory
- denotational semantics
- natural language
- programming language
- speech acts
- formal languages
- disjunctive logic programming
- database query languages
- conditional logic
- dynamic logic
- language learning
- model theoretic
- language constructs
- semantic representations
- rule language
- semantically equivalent
- light field
- modal operators
- agent communication
- modeling language
- action language
- inference rules
- closed world
- temporal resolution
- relational algebra
- relational structures