Keyphrases
- operational semantics
- knowledge discovery and data mining
- acm sigkdd
- selected papers
- international workshop
- lecture notes in artificial intelligence
- international conference
- conference proceedings
- lecture notes
- naacl hlt
- formal semantics
- workshop on artificial intelligence
- expert systems
- model theoretic
- computer science
- cyber security and information intelligence
- mental states
- international symposium
- invited talk
- student research workshop
- natural language processing
- knowledge discovery
- researchers and practitioners
- denotational semantics
- program committee
- activity diagrams
- database systems
- acm sigmod
- agent programming
- poster session
- knowledge representation
- databases