Keyphrases
- horn clauses
- acm sigkdd
- lecture notes
- naacl hlt
- international workshop
- international conference
- cyber security and information intelligence
- workshop on artificial intelligence
- computer science
- inference rules
- first order logic
- knowledge discovery and data mining
- international symposium
- human computation
- logic programs
- advances in artificial intelligence
- inductive logic programming
- natural language processing
- database queries
- working conference
- model checking
- student research workshop
- acm sigmod
- selected papers
- function symbols
- co occurrence
- knowledge discovery
- knowledge representation
- invited talk
- panel discussion
- north american
- databases
- background knowledge
- machine learning