Keyphrases
- operational semantics
- international conference
- acm sigmod
- acm sigkdd
- naacl hlt
- international workshop
- formal semantics
- cyber security and information intelligence
- workshop on artificial intelligence
- computational intelligence
- student research workshop
- international symposium
- mental states
- model theoretic
- data model
- selected papers
- knowledge discovery and data mining
- natural language processing
- poster session
- human computation
- activity diagrams
- computer science
- denotational semantics
- short papers
- database
- logic programs
- artificial intelligence