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