Keyphrases
- operational semantics
- international conference
- conference proceedings
- selected papers
- international workshop
- lecture notes in artificial intelligence
- acm sigkdd
- lecture notes
- formal semantics
- acm sigmod
- trends in artificial intelligence
- workshop on artificial intelligence
- pacific rim
- naacl hlt
- data model
- book constitutes the refereed proceedings
- model theoretic
- expert systems
- international symposium
- mental states
- computer science
- cyber security and information intelligence
- computational intelligence
- software systems
- human computation
- databases
- database systems
- database
- knowledge discovery and data mining
- activity diagrams
- review process
- invited talk
- computer mediated