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