An identification of system key attributes in structural reasoning for formal validation of industrial programming.
Andrei LobovJose L. Martinez LastraPublished in: ROBIO (2008)
Keyphrases
- formal models
- knowledge base
- industrial applications
- meta level
- multi attribute
- default reasoning
- structural information
- attribute values
- data mining
- reasoning systems
- automated reasoning
- reasoning tasks
- logical reasoning
- model validation
- model based reasoning
- formal representation
- expert systems
- reasoning process
- formal methods
- spatial reasoning
- formal specification
- relational databases
- programming language
- formal model