Formal Techniques in the Development of Blackboard Systems.
Iain D. CraigPublished in: Int. J. Pattern Recognit. Artif. Intell. (1993)
Keyphrases
- knowledge based systems
- management system
- support systems
- formal methods
- enabling technologies
- case study
- expert systems
- formal languages
- retrieval systems
- technical issues
- development process
- reasoning processes
- reactive systems
- safety critical
- st century
- neural network
- learning systems
- information processing
- multimedia