Keyphrases
- international conference
- expert systems
- lecture notes in artificial intelligence
- automated verification
- hong kong
- international workshop
- international symposium
- distributed systems
- knowledge based systems
- formal methods
- computer personnel
- intelligent systems
- computer systems
- building blocks
- computational intelligence
- complex systems
- lecture notes
- management system
- web services
- neural network