{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T22:52:52Z”，“时间戳”：1725490372341}，“出版商位置”：“柏林，海德堡”，“参考计数”：28，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540741275“}，{”类型“：“electronic”，“value”：“9783540741282”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”DOI“：”10.1007\/978-3-540-74128-2_9“，”type“：”book-capter“，”created“：{”date-parts“：[2007,8,27]]，”date-time“：”2007-08-27T06:05:15Z“，”timestamp“：1188194715000}，”page“129-145“，”源“：”Crossref“，”is-referenced-by-count“：4，“title”：[“A Framework for Model Checking Institutions”]，“prefix”：“10.1007”，“author”：[{“given”：“Francesco”，“family”：“Vigan\u00f2”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“reference”：[[{”key“：”9_CR1“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，“doi”：“101007\/3-540-45657-0_29”，“卷时间”：“计算机辅助验证”，“作者”：“A.Cimatti”，“年份”：“2002年”，“非结构化”：“Cimatti，A.，Clarke，E.，Giunchiglia，E.，Jiunchigla，F.，Pistore，M.，Roveri，M.、Sebastiani，R.，Tacchella，A.：NuSMV第2版：符号模型检查的开源工具。收录：Brinksma，E.，Larsen，K.G.（编辑）CAV 2002。LNCS，vol.\u00a02404，Springer，Heidelberg（2002）“}，{“卷标题”：“模型检查”，“年份”：“1999”，“作者”：“E.M.Clarke”，“密钥”：“9_CR2”，“非结构化”：“Clarke，E.M.，Grumberg，O.，Peled，D.：模型检查。麻省理工学院出版社，剑桥，MA（1999）”}，{“问题”：“2-3”，“密钥”：“9_CR3”，“doi断言者”：“出版商”，“第一页”：“105”，“doi”：“10.1023\/B:FORM.0000040025.89719.f3“，”volume“：”25“，”author“：”E.M.Clarke“，”year“：”2004“，”unstructured“：”Clarke，E.M.，Kroening，D.，Sharygina，N.，Yorav，K.：使用SAT的ANSI-C程序谓词抽象。系统设计中的形式方法\u00a025（2-3），105\u2013127（2004）“，”journal-title“：”系统设计中形式方法“}，{“key”：“9_CR4”，“非结构化“：”Cliffe，O.，Padget，J.：检查代理机构内部交互的框架。摘自：《ECAI模型检查与人工智能研讨会论文集》（MoChart I）（2002）“}，{“key”：“9_CR5”，“series-title”：“人工智能课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：《99》，“doi”：“10.1007\/11775331_7”，“volume-title”：《Multi-Agent系统中的协调、组织、制度和规范》，“作者：“O.Cliffe”，“year”：“2006”，“unstructured”：“Cliffe，O.，Vos，M.D.，Padget，J.：使用答案集编程指定和分析基于代理的社会机构。收录人：Boissier，O.、Padget，J.、Dignum，V.、Lindemann，G.、Matson，E.、Ossowski，S.、Sichman，J.S.、V\u00e1zquez-Salceda，J.（编辑）《多代理系统中的协调、组织、制度和规范》。LNCS（LNAI），第u00a03913卷，第99\u2013113页。Springer，Heidelberg（2006）“}，{“issue”：“8”，“key”：“9_CR6”，“doi-asserted-by”：“publisher”，“first-page”：“453”，“doi”：“10.1145\/360933.360975”，“volume”：”18“，“author”：“E.W.Dijkstra”，”年份：“1975”，“unstructured”：“Dijkstra，E.W.：程序的保护命令、不确定性和正式派生。ACM\u00a018（8），453\u2013.通信457（1975）“，”journal-title“：”ACM的通信“}，{“key”：“9_CR7”，“doi-asserted-by”：“publisher”，“first page”：”1045“，“doi”：“10.1145\/545069”，“volume-title”：“第一届国际自治代理和多代理系统联合会议（AAMAS 2002）会议记录”，“author”：“M.Esteva”，”年份“2002”，“unstructured”：“Esteva，M.，de la Cruz，D.，Sierra，C.：冰岛：电子机构编辑。收录于：Castelfranchi，C.，Johnson，W.L.（编辑）《第一届自主代理和多代理系统国际联合会议论文集》（AAMAS 2002），第1045\u20131052页。ACM Press，New York（2002）“}，{“key”：“9_CR8”，“series title”：“人工智能讲义”，“doi断言”：“crossref”，“首页”：“126”，“doi”：“10.1007\/3-540-444682-6_8”，“卷标题”：“代理中介电子商务”，“作者”：“M.Esteva”，“年份”：“2001”，“非结构化”：“Esteva，M.，Rodr\u00edguez-Aguilar，J.A.，Sierra，C.，Garcia，P.，Arcos，J.L.：关于电子机构的正式规范。收录：Dignum，F.，Sierra，C.（编辑）《代理调解电子商务》。LNCS（LNAI），第u00a01991卷，第126\u2013147页。Springer，Heidelberg（2001）“}，{“key”：“9_CR9”，“series-title”：“人工智能课堂讲稿”，“首页”：“1”，“卷-时间”：“Agent Communication”，“author”：“N.Fornara”，“year”：“2005”，“unstructured”：“Fornara，N.，Vigan\u00f2，F.，Colombetti，M.：代理沟通与制度现实。收录人：van Eijk，R.M.，Huget，M.-P.，Dignum，F.P.M.（编辑）AC 2004。LNCS（LNAI），第u00a03396卷，第1\u201317页。Springer，Heidelberg（2005）“}，{”key“：”9_CR10“，”series-title“：”人工智能课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“89”，“doi”：“10.1007\/11691792_6”，“volume-title”：“声明性代理语言和技术III”，“author”：“A.Garc\u00eda-Camino”，“year”：“2007”，“unstructured”：“Garc\u00eda-Camino，A.，Rodr\u00dgez-Aguilar，J.A.，Sierra，C.，Vasconcelos，W.W.：规范软件代理社会的分布式架构。收录：Baldoni，M.，Endriss，U.，Omicini，A.，Torroni，P.（编辑）DALT 2005。LNCS（LNAI），第u00a03904卷，第89\u2013105页。Springer，Heidelberg（2007）“}，{”key“：”9_CR11“，”doi-asserted-by“：”crossref“，”first-page“：”72“，”doi“：”10.1007\/3-540-63166-6_10“，”volume-title“：”第九届计算机辅助验证国际会议论文集“，”author“：”S.Graf“，”year“：”1997“，”unstructured“：”Graf，S.，Saidi，H.：用PVS构造抽象状态图。摘自：《第九届计算机辅助验证国际会议记录》，第72\u201383页。Springer，Heidelberg（1997）“}，{“volume-title”：“SPIN模型检查器：入门和参考手册”，“year”：“2003”，“author”：“G.Holzmann”，“key”：“9_CR12”，“unstructured”：“Holzmann，G.：SPIN模型检查器：入门与参考手册。Addison-Wesley，London（2003）”}，}“key“：”9_CR13“非结构化”：“Huget，M.-P.，Esteva，M.，Phelps，S.，Sierra，C.，Wooldridge，M.:模型检查电子机构。摘自：《ECAI模型检查与人工智能研讨会论文集》（MoChArt I）（2002）“}，{“问题”：“3”，“关键”：“9_CR14”，“doi-asserted-by”：“crossref”，“首页”：“429”，“doi”：“10.1093\/jigpal\/4.3.427”，“卷”：“4”，《作者》：“A.Jones”，“年份”：“1996”，“非结构化”：“Jones，A.，Sergot，M.J.：制度化权力的正式表征。《IGPL\u00a04期刊》（3），429\u2013445（1996）“，”期刊标题“：”IGPL期刊“}，{”关键字“：”9_CR15“，”doi-asserted-by“：”publisher“，”首页“：”67“，”doi“：”10.1007\/BF03037383“，”卷“：”4“，”作者“：”R.A.Kowalski“，”年份“：”1986“，”非结构化“：”Kowalski，R.A.，Sergot，M.J.：基于逻辑的事件演算。新一代计算\u00a04，67\u201395（1986）“，“journal-title”：“新一代计算机”}，{“问题”：“2”，“关键”：“9_CR16”，“首页”：“93”，“卷”：“1”，“作者”：“A.Lomuscio”，“年份”：“2002”，“非结构化”：“Lomuscio，A.，Sergot，M.：比特传输问题中违规、错误恢复和强制执行的公式。《应用逻辑杂志》（摘自DEON02-伦敦）\u00a01（2），93\u2013116（2002）“，“Journal-title”：“Journal of Applied Logic（摘自DION02-London）”}，{“key”：“9_CR17”，“unstructured”：“Masolo，C.、Vieu，L.、Bottazi，E.、Catenacci，C.、Ferrario，R.、Gangemi，A.、Guarino，N.：社会角色及其描述。摘自：Dubois，D.，Welty，C.，Williams，M.（编辑）《第九届国际知识表示与推理原则会议论文集》（KR2004），第267\u2013277页（2004）“}，{“卷-时间”：“多分类逻辑及其应用”，“年份”：“1993”，“关键”：“9_CR18”，“非结构化”：“Meinke，K.，Tucker，J.V.（编辑：多种逻辑及其应用。John Wiley&Sons，Inc，New York（1993）“｝，｛“issue”：“4”，“key”：“9_CR19”，“doi asserted by”：“publisher”，“first page”：“521”，“doi”：“10.1145\/1333233.129397”，“volume”：“14”，“author”：“A.Morzenti”，“year”：“1992”，“nonstructured”：“Morzenti，A.，Mandrioli，D.，Ghezzi，C.：模型参数实时逻辑。《美国计算机学会程序设计语言与系统学报》\u00a014（4），521\u2013573（1992）“，”期刊标题“：”《美国计算机协会程序设计语言和系统学报》“}，{“issue”：“6”，“key”：“9_CR20”，“first page”：”533“，“volume”：：“14”，“author”：“Y.Moses”，“year”：“1995”，“unstructured”：“Moses，Y.，Tennenholtz，M.：人工社会系统。计算机与AI\u00a014（6），533\u2013562（1995）“，”杂志标题：“计算机与AI”}，{“问题”：“2”，“关键”：“9_CR21”，“doi-asserted-by”：“出版商”，“首页”：“170”，“doi”：“10.1109\/71.80145”，“卷”：“1”，“作者”：“J.S.Ostroff”，“年份”：“1990”，“非结构化”：“奥斯特罗夫，J.S.：决定时间转移模型的特性。IEEE Transactions on Parallel Distributed Systems\u00a01（2），170\u2013183（1990）“，“journal-title”：“IEEE Transmissions on Parallel-Distributed Systems”}，{“key”：“9_CR22”，“doi-asserted-by”：“publisher”，“first page”：”373“，”doi“：”10.1145 \/1082473.1082530“，”volume-title“：”《第四届自治代理和多代理系统国际联合会议论文集》（AAMAS 2005），“作者”：“J.Pitt”，“年份”：“2005”，“非结构化”：“Pitt，J.，Kamara，L.，Sergot，M.，Artikis，A.：虚拟组织投票协议的形式化。摘自：《第四届国际自主代理和多代理系统联合会议记录》（AAMAS 2005），第373\u2013380页。ACM Press，New York（2005）“}，{“卷-时间”：“社会现实的构建”，“年份”：“1995年”，“作者”：“J.R.Searle”，“关键”：“9_CR23”，“非结构化”：“Searle，J.R.：社会现实的建构。美国纽约自由出版社（1995）”}，}，“键”：“9-CR24”，“doi-asserted-by”：“出版商”，“首页”：“161”，“doi”：“10.1007\/3-540-32370-8_11”，“卷-时”标题“：”多智能体系统中的监控、安全和救援技术，软计算的进展”，“作者”：“M.J.Sergot”，“年份”：“2005年”，“非结构化”：“Sergot，M.J.：建模不可靠和不可信的智能体行为。在：Dunin Keplicz，B.，Jankowski，A.，Skowron，A.，Szczuka，M.（编辑）多智能体系统中的监控、安全和救援技术，软计算进展，第161\u2013178页。施普林格，海德堡（2005）“}，{“键”：“9_CR25”，“系列标题”：“人工智能讲义”，“第一页”：“221”，“卷标题”：“声明代理语言和技术”，“作者”：“W.Vasconcelos”，“年份”：“2003”，“非结构化”：“Vasconcelos，W.：基于逻辑的电子机构。收录人：Leite，J.A.、Omicini，A.、Sterling，L.、Torroni，P.（编辑）DALT 2003。LNCS（LNAI），第u00a02990卷，第221\u2013242页。Springer，Heidelberg（2003）“}，{“key”：“9_CR26”，“unstructured”：“Vigan\u00f2，F.:FIEVeL，机构规范和验证的语言。技术报告\u00a03，意大利大学通信技术研究所（2006）”}，}Vigan\u00f2，F.，Colombetti，M.：通过状态功能规范和验证机构。摘自：《AAMAS agent系统中的协调、组织、制度和规范研讨会论文集》（COIN 2006）（2006）“}，{“key”：“9_CR28”，“series-title”：《人工智能讲义》，“first page”：第132页，“volume-title”：“Declarative agent Languages and Technologies II”，“author”：“C.D.Walton”，“year”：“2004”，“unstructured”：“Walton，C.D.：模型检查代理对话。收录人：Leite，J.A.、Omicini，A.、Torroni，P.、Yolum，P.（编辑）DALT 2004。LNCS（LNAI），卷\u00a03476，第132\u2013147页。Springer，Heidelberg（2004）“}]，“容器-时间”：[“计算机科学课堂讲稿”，“模型检查与人工智能”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“http://\/link.Springer.com\/content\/pdf\/10.1007\/978-3-540-74128-2_9.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查“}”，“存放”：{“日期部分”：[[2021,4,27]]，“日期时间”：“2021-04-27T10:11:45Z”，“时间戳”：1619518305000}，“分数”：1，“资源”：{“主要”：}“URL”：“http://\/link.springer.com\/10.1007\/978-3-540-74128-2_9”}，“ISBN”：[“9783540741275”，“978354741282”]，“references-count“：28，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-540-74128-2_9“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”type“:”print“，”value“：”0302-7743“}，{”类型“：”electronic“，”value“：“1611-3399”}]，”subject“：【】}