On the Use of a Formal R. E. Language - The Generalized Railroad Crossing Problem.
Philippe Du BoisEric DuboisJean-Marc ZeippenPublished in: RE (1997)
Keyphrases
- formal language
- operational semantics
- highly expressive
- formal languages
- visual languages
- programming language
- natural language
- language processing
- formal methods
- formal descriptions
- formal representation
- meta level
- neural network
- representation language
- formal model
- mathematical theory
- real world
- formal models
- knowledge representation
- model theoretic
- bayesian networks
- high level
- information systems
- controlled natural language
- information retrieval