Keyphrases
- advances in artificial intelligence
- international conference
- international workshop
- databases and information systems
- selected papers
- lecture notes
- annual conference
- computer science
- acm conference
- acm sigkdd
- learning analytics and knowledge
- centre for advanced studies
- intelligence and security informatics
- conference on artificial intelligence
- knowledge discovery and data mining
- lecture notes in artificial intelligence
- formal verification
- test generation
- symbolic execution
- real time
- atlantic web intelligence
- international symposium
- hardware and software
- conference proceedings
- low cost
- association for artificial intelligence
- progress in artificial intelligence
- artificial intelligence and law
- student research workshop
- hardware designs
- koli calling
- intelligent web
- computational intelligence
- web intelligence
- annual computer personnel research conference
- test cases
- learning analytics
- working conference
- australasian database conference
- invited paper
- invited speakers
- artificial intelligence
- acm sigmis cpr
- web search and data mining
- national science foundation
- computer systems
- computer personnel
- model checking
- program chairs
- program committee