Timing specification and rule-based systems.
P. D. ZijderveldIssa TraoréRob A. VingerhoedsAbd-El-Kader SahraouiPublished in: RTS (1997)
Keyphrases
- rule based systems
- rule base
- security systems
- asynchronous circuits
- knowledge representation
- formal models
- rule based expert systems
- expert systems
- procedural semantics
- knowledge based systems
- high level
- formal specification
- data mining
- backward chaining
- domain knowledge
- artificial neural networks
- high dimensional
- pattern recognition
- artificial intelligence
- real world
- real time