Keyphrases
- classical logic
- acm sigkdd
- lecture notes
- international conference
- international workshop
- logic programming
- naacl hlt
- cyber security and information intelligence
- modal logic
- workshop on artificial intelligence
- computer science
- possibilistic logic
- revision operators
- knowledge discovery and data mining
- international symposium
- student research workshop
- human computation
- acm sigmod
- intuitionistic logic
- valued logic
- default logic
- computer science and artificial intelligence
- selected papers
- autoepistemic logic
- general purpose
- logic programs
- knowledge base