Handling of layout-sensitive semantics in a visual control language.
Niklas ForsGörel HedinPublished in: VL/HCC (2012)
Keyphrases
- logic programming language
- operational semantics
- logical language
- control system
- specification language
- intended meaning
- language learning
- programming language
- logic programming
- visual features
- denotational semantics
- control structures
- definition language
- formal language
- disjunctive logic programming
- model theoretic
- control method
- semantically equivalent
- highly expressive
- formal semantics
- semantic information
- high level
- image retrieval
- action language
- low level
- visual feedback
- conditional logic
- conceptual graphs
- visual perception
- control strategy
- predicate calculus
- semantically relevant
- natural language