Keyphrases
- formal analysis
- international workshop
- complex systems
- formal methods
- acm sigkdd
- international conference
- computational models
- expert systems
- probabilistic model
- advances in artificial intelligence
- information systems
- computer science
- knowledge discovery and data mining
- trading systems
- cyber security and information intelligence
- ban logic
- student research workshop
- lightweight
- case study