Keyphrases
- operational semantics
- acm sigkdd
- international workshop
- knowledge discovery and data mining
- selected papers
- naacl hlt
- formal semantics
- cyber security and information intelligence
- international conference
- workshop on artificial intelligence
- mental states
- invited talk
- model theoretic
- researchers and practitioners
- human computation
- knowledge discovery
- natural language processing
- denotational semantics
- agent programming
- student research workshop
- activity diagrams
- database systems
- databases
- speech acts
- data model