RML - A New Language and Implementation for Natural Semantics.
Mikael PetterssonPublished in: PLILP (1994)
Keyphrases
- specification language
- operational semantics
- formal language
- natural language
- logical language
- formal semantics
- conceptual graphs
- intended meaning
- language learning
- formal specification
- semantically equivalent
- dynamic logic
- definition language
- logic programming language
- highly expressive
- formal languages
- conditional logic
- programming language
- logic programming
- knowledge representation
- agent communication
- speech acts
- proof theory
- semantic information
- web services
- target language
- query language for xml