Keyphrases
- international conference
- acm sigkdd
- naacl hlt
- international workshop
- logical theories
- international symposium
- expressive power
- cyber security and information intelligence
- workshop on artificial intelligence
- united states
- theoretical framework
- computer society
- logical properties
- working conference
- logical framework
- acm sigmod
- intelligence and security informatics
- databases
- knowledge discovery and data mining
- cross lingual
- formal languages
- selected papers
- computer personnel
- pacific rim
- language independent
- theoretical insights
- knowledge discovery
- case study
- machine learning