Semantics and implementation of a language for telerobotics.
Erwan Le RestJean Luc FleureauLionel MarcéPublished in: IROS (1997)
Keyphrases
- specification language
- language learning
- operational semantics
- highly expressive
- logical language
- intended meaning
- denotational semantics
- formal language
- logic programming language
- programming language
- formal semantics
- natural language
- conditional logic
- model theoretic
- disjunctive logic programming
- query language for xml
- multiple inheritance
- semantically equivalent
- closed world
- proof theory
- dynamic logic
- definition language
- default reasoning
- semantic information
- logic programming
- general purpose