亚历山大·阿提基斯;马雷克·塞尔戈特;杰瑞米·皮特 指定规范控制的计算社会。 （英语） Zbl 1367.68320号 ACM事务处理。计算。日志。 10，第1号，第1条，42页（2009年）. 引用于7文件 MSC公司： 68T42型 Agent技术与人工智能 60年第68季度 规范和验证（程序逻辑、模型检查等） 68T27型 人工智能中的逻辑 关键词：动作语言;代理人;合同网;事件演算;可执行规范;规范;政策 软件：NuSMV公司;足球服务器;社会可视化者;CCalc公司;岛国 PDF格式BibTeX公司 XML格式引用 \textit｛A.Artikis｝等人，ACM Trans。计算。日志。10，第1号，第1条，第42页（2009年；Zbl 1367.68320） 全文： 内政部 链接