Formal Semantics of an IoT-Specific Language.
Diletta Romana CacciagranoRosario CulmonePublished in: AINA Workshops (2018)
Keyphrases
- formal semantics
- logical language
- operational semantics
- formal language
- modelling language
- modeling language
- speech acts
- logical reasoning
- expert systems
- management system
- er model
- database
- ontology languages
- first order logic
- natural language
- artificial intelligence
- representation language
- situation calculus
- expressive power
- high level