Equivalence Checking on System Level Using a Priori Knowledge.
Niels TholeHeinz RienerGörschwin FeyPublished in: DDECS (2015)
Keyphrases
- domain knowledge
- higher level
- prior knowledge
- knowledge base
- levels of abstraction
- knowledge discovery
- knowledge sources
- knowledge level
- knowledge representation
- data mining techniques
- knowledge transfer
- background knowledge
- expert knowledge
- knowledge based systems
- knowledge extraction
- concept maps
- real time
- knowledge acquisition
- artificial intelligence
- data sets