Modelling intelligent interaction is a pervasive but also elusive interdisciplinary phenomenon. The project will base on logical models applied in the thematic areas of Interaction, Communication, Computation, and Cognition.
|Effective start/end date||9/12/07 → 31/12/11|
- Game theory
- modal logic
- program verification
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.