Keyphrases
- acm sigkdd
- lecture notes
- international conference
- naacl hlt
- international workshop
- knowledge discovery and data mining
- advances in artificial intelligence
- cyber security and information intelligence
- logical properties
- selected papers
- logical theories
- annual conference
- workshop on artificial intelligence
- computer science
- theoretical framework
- databases
- intelligence and security informatics
- stanford university
- expressive power
- computer society
- information extraction
- theoretical insights
- language independent
- theoretical frameworks
- student research workshop
- logical framework
- lecture notes in artificial intelligence
- acm sigmod
- formal languages
- international symposium