Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Symbolic model checking for real-time systems
Information and Computation
Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
Mind as motion: explorations in the dynamics of cognition
Mind as motion: explorations in the dynamics of cognition
The imperative future: principles of executable temporal logic
The imperative future: principles of executable temporal logic
Computational organization theory
Multiagent systems
Modal and temporal properties of processes
Modal and temporal properties of processes
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Simulation Modeling and Analysis
Simulation Modeling and Analysis
SDML: A Multi-Agent Language for Organizational Modelling
Computational & Mathematical Organization Theory
Journal of Automated Reasoning
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective
IEEE Transactions on Knowledge and Data Engineering
Communication and Organization: An Empirical Study of Discussion in Inspection Meetings
IEEE Transactions on Software Engineering
A Survey of Concurrent METATEM - the Language and its Applications
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Compositional verification of knowledge-based task models and problem-solving methods
Knowledge and Information Systems
LEADSTO: a language and environment for analysis of dynamics by simulation
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
Computational & Mathematical Organization Theory
| Hi-index | 0.00 |
Organizations depend on regular meetings to carry out their everyday tasks. When carried out successfully, meetings offer a common medium for participants to exchange ideas and make decisions. However, many meetings suffer from unfocused discussions or irrelevant dialogues. To study meetings in detail, we first formalize general properties of meetings and a generic meeting protocol to specify how roles in a meeting should interact to realize these properties. This generic protocol is used as a starting point to study real-life meetings. Next, an example meeting is simulated using the generic meeting protocol. The general properties are formally verified in the simulation trace. Next, these properties are also verified formally against empirical data of a real meeting in the same context. A comparison of the two traces reveals that a real meeting is more robust since when exceptions happen and the rules of the protocol are violated, these exceptions are handled effectively. Given this observation, a more refined protocol is specified that includes exception-handling strategies. Based on this refined protocol a meeting is simulated that closely resembles the real meeting. This protocol is then validated against another set of data from another real meeting. By iteratively adding exception handling rules, the protocol is enhanced to handle a variety of situations successfully.