Keyphrases
- operational semantics
- knowledge discovery and data mining
- acm sigkdd
- international conference
- international workshop
- invited talk
- knowledge discovery
- formal semantics
- acm sigmod
- model theoretic
- human computation
- researchers and practitioners
- selected papers
- mental states
- denotational semantics
- data model
- agent programming
- machine learning
- cyber security and information intelligence
- web intelligence
- object oriented
- case study