Keyphrases
- invited talk
- selected papers
- knowledge discovery and data mining
- model checking
- supply chain
- object oriented
- carefully reviewed and selected from submissions
- abductive inference
- formal verification
- smart environments
- verification method
- face verification
- database
- explanation based learning
- program committee
- artificial intelligence
- genetic algorithm