Graphical Specification and Reasoning: Case Study Generalised Railroad Crossing.
Henning DierksCheryl DietzPublished in: FME (1997)
Keyphrases
- case study
- model based reasoning
- graphical representation
- knowledge representation
- lessons learned
- spatial reasoning
- high level
- meta level
- knowledge base
- software development
- formal specification
- qualitative reasoning
- knowledge representation and reasoning
- analogical reasoning
- business process
- database
- machine learning
- real world
- reasoning process
- qualitative simulation
- neural network