Keyphrases
- horn clauses
- international workshop
- acm sigkdd
- selected papers
- naacl hlt
- international conference
- cyber security and information intelligence
- first order logic
- logic programs
- inference rules
- workshop on artificial intelligence
- lecture notes in artificial intelligence
- international symposium
- human computation
- inductive logic programming
- knowledge discovery and data mining
- acm sigmod
- database queries
- advances in artificial intelligence
- student research workshop
- model checking
- natural language processing
- lecture notes
- function symbols
- database
- poster session
- computational intelligence
- knowledge discovery
- probabilistic model
- machine learning