Keyphrases
- operational semantics
- international conference
- acm sigkdd
- conference proceedings
- selected papers
- lecture notes
- formal semantics
- international workshop
- model theoretic
- mental states
- lecture notes in artificial intelligence
- data model
- denotational semantics
- knowledge discovery and data mining
- naacl hlt
- computer science
- human computation
- invited talk
- natural language processing
- acm sigmod
- cyber security and information intelligence
- mobile robot
- expert systems
- machine learning
- activity diagrams
- workshop on artificial intelligence
- database