Keyphrases
- horn clauses
- acm sigkdd
- lecture notes
- naacl hlt
- international workshop
- cyber security and information intelligence
- international conference
- workshop on artificial intelligence
- hong kong
- logic programs
- international symposium
- knowledge discovery and data mining
- first order logic
- computer science
- inference rules
- natural language processing
- human computation
- acm sigmod
- selected papers
- student research workshop
- inductive logic programming
- advances in artificial intelligence
- database queries
- model checking
- united kingdom
- low level
- panel discussion
- working conference
- lecture notes in artificial intelligence
- text mining
- background knowledge
- pairwise