NATAL
发表于 2025-3-30 09:10:10
http://reply.papertrans.cn/24/2381/238090/238090_51.png
主动
发表于 2025-3-30 13:15:58
http://reply.papertrans.cn/24/2381/238090/238090_52.png
繁殖
发表于 2025-3-30 19:29:17
Verifying Social Expectations by Model Checking Truncated Pathsdating expectations from one state to the next based on formula progression, and show how conformance checking was implemented by extending the MCLITE and MCFULL algorithms of the Hybrid Logics Model Checker.
哀悼
发表于 2025-3-31 00:06:43
http://reply.papertrans.cn/24/2381/238090/238090_54.png
陶器
发表于 2025-3-31 00:53:58
Introduction to the Second Edition,g rules next to the organizational rules. We propose a modular reasoning model to make organizational rules explicit. This allows for meta-reasoning about these rules. We show that this stimulates bottom-up dynamics in the organization.
消音器
发表于 2025-3-31 08:35:05
On the Decline of Authority of Economists,rties are usually present at an agent level, but this paper studies how to bring them to an organisational level. While exposing our approach, we use a traffic scenario example to illustrate its concepts.
Infusion
发表于 2025-3-31 12:55:18
http://reply.papertrans.cn/24/2381/238090/238090_57.png
雇佣兵
发表于 2025-3-31 14:53:15
http://reply.papertrans.cn/24/2381/238090/238090_58.png
神秘
发表于 2025-3-31 20:26:07
http://reply.papertrans.cn/24/2381/238090/238090_59.png
musicologist
发表于 2025-3-31 23:45:48
Conference proceedings 2009Norms in Agent Systems, COIN 2008, held as two events at AAMAS 2008, the 7th International Joint Conference on Autonomous Agents and Multiagent Systems in Estoril, Portugal, in May 2008 and at AAAI 2008, the 23rd AAAI Conference on Artificial Intelligence in Chicago, IL, USA, in July 2008. This volu