GenEd - An Editor with Generic Semantics for Formal Reasoning about Visual Notations.
Volker HaarslevMichael WesselPublished in: VL (1996)
Keyphrases
- formal language
- formal semantics
- operational semantics
- semantically relevant
- visual information
- complete axiomatization
- high level semantics
- model theoretic
- specification languages
- formal model
- high level
- highly expressive
- conceptual graphs
- low level
- semantic information
- domain specific
- logic programming
- image classification
- web services
- machine processable
- precisely defined
- category specific
- dynamic aspects
- visual cues
- visual features
- visual perception
- levels of abstraction
- semantic representation
- qualitative reasoning
- formal languages
- relational databases
- bayesian networks
- spatial reasoning
- conceptual model