{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“1.0.0”,“邮件”:{“索引”:{“日期部分”:[[2022,3,30]],“日期时间”:“2022-03-30T16:40:45Z”,“时间戳”:16486584450500},“出版商位置”:“柏林,海德堡”,“参考计数”:21,“出版者”:“施普林格-柏林-海德堡(Springer Berlin Heidelberg)”,“isbn-type”:[{“值”:“9783540655275”,“类型”:“打印”},{“值”:“9783540492016”,“type”:“electronic”}],“content-domain”:{“domain”:[],“crossmark-restriction”:false},“short-container-title”:[],”published-print“:{”date-parts“:[[1998]]},”DOI“:”10.1007\/3-540-49201-1_4“,”type“:”book-capter“,”created“:”{“date-part”:[2007,5,20]],“date-time”:“2007-05-20T06:56:07Z”,“时间戳”:1179644167000},“页面”:“46-60”,“源”:“Crossref”,“is-referenced-by-count”:1,“title”:[“作为软件工程企业的多代理系统开发”],“prefix”:“10.1007”,《author》:[{“given”:“Marco”,“family”:“Bozzano”,“sequence”:“first”,“affiliation”:[]},{“给定”:“Giorgio”,“家族”:“Delzanno”,“sequence”:“additional”,“affiliation”:[]},{“given”:“Viviana”,“family”:“Mascardi”,”sequence“:”additional“,”affiliance“:[]{”given“:”Floriano“,”family“:”Zini“,”se序列“:”附加“,”从属关系“:[]}],“member”:“297”,“published-online”:{“date-parts”:[[1999,15]]}、“reference”:[{“key”:”4_CR1“,“非结构化”:“P.Dart,E.Kazmierckaz,M.Martelli,V。Mascardi、L.Sterling、V.S.Subrahmanian和F.Zini。将逻辑代理与工程分布式应用程序的快速原型相结合。提交给FASE\u201999。“},{“key”:“4_CR2”,“unstructured”:“G.Delzanno.线性逻辑中的逻辑和面向对象编程博士论文,比萨大学,信息学院,1997年。”},},“key“:”4_CR3“,”doi-asserted-by“:”crossref“,”unstructure“:”M.d\u2019Inverno,M.Fisher,A.Lomuscio,M.Luck,M.de Rijke,M.Ryan和M。伍尔德里奇。多代理系统的形式化。《知识工程评论》,12(3),1997年。“,“DOI”:“10.1017\/S0269888997003068”},{“key”:“4_CR4”,“DOI-asserted-by”:“crossref”,“unstructured”:“M.d\u2019Inverno,d.Kinny,M.Luck,and M.Wooldridge。dMARS的正式规范。In Intelligent Agents IV.Springer-Verlag,1997。LNAI 1365.“,”DOI“:”10.1007\/BFb0026757“},{“key”:“4_CR5”,“DOI-asserted-by”:“crossref”,“unstructured”:“M.Fisher,J.Mueller,M.Schroeder,G.Staniford,and G.Wagner。基于代理系统的方法论基础。知识工程评论,12(3),1997。”,“DOI”:“10.1017\/S0269888997003070X”},“{”key“:”4_CR6“,”非结构化“:”M。Georgeff和A.Lansky。反应推理和计划。程序中。第六届全国人工智能会议(AAAI-87),西雅图,华盛顿州,1987年。“},{“key”:“4_CR7”,“doi-asserted-by”:“crossref”,“unstructured”:“C.A.Iglesias,J.C.Gonz\u00e1les,and J.R.Velasco。MIX:通用多代理体系结构。In Intelligent Agents II。Springer-Verlag,1995。LNAI 1037.“,”DOI“:”10.1007\/3540608052_71“},{“key”:“4_CR8”,“DOI-asserted-by”:“crossref”,“unstructured”:“R.Kowalsky and F.Sadri.Towards a Unified Agent Architecture that Combined Rationality and Reactiveity”,意大利圣米尼亚托国际数据库逻辑研讨会,1996年。斯普林格·弗拉格。“,”DOI“:”10.1007\/BFb0031739“},{“key”:“4_CR9”,“DOI-asserted-by”:“crossref”,“unstructured”:“Y.Lesperance,H.Levesque,F.Lin,D.Marcu,R.Reiter,and R.B.Scherl.《Agent编程逻辑方法的基础》,《智能代理II》,Springer-Verlag,1995年。LNAI 1037.“,”DOI“:”10.1007\/3540608052_76“},{“key”:“4_CR10”,“unstructured”:“S.W.Locke,L.Sterling,L.Sonenberg,and H.Kim.ARIS:利用网站结构的信息代理的外壳。1998年PAAM\u201998年,英国伦敦,”},“{”key“:”4_CR11“,”unstructure“:”M.Martelli,V.Mascardi and F。齐尼。走向多代理软件原型。程序中。PAAM\u201998,英国伦敦,1998年。“},{“key”:“4_CR12”,“unstructured”:“D.L.Martin,A.J.Cheyer,和D.B.Moran。《使用开放代理体系结构构建分布式软件系统》。PAAM\u 201998年,英国伦敦Proc.,1998。”},“key“:”4_CR13“,”doi-asserted-by“:”crossref“,”unstructure“:”J.Mayfield,Y.Labrou,and T。菲宁。KQML作为代理通信语言的评估。在智能代理II中。Springer-Verlag,1995年。LNAI 1037.“,”DOI“:”10.1007\/3540608052_77“},{“key”:“4_CR14”,“DOI-asserted-by”:“crossref”,“unstructured”:“D.Miller.Forum:A Multiple Conclusion Specification Logic.Theory Computer Science,165(1),1996.”,“DOI”:“10.1016\/0304-3975(96)00045-X”},“key“:”4_CR15“,”DOI-assert-by“:”crossref.“,“unsructured“:”M.Mulder,J.Treur,and M。费希尔。METATEM和DESIRE中的代理建模。《智能代理IV.Springer-Verlag》,1997年。LNAI 1365.“,”DOI“:”10.1007\/BFb0026759“},{“key”:“4_CR16”,“DOI-asserted-by”:“crossref”,“unstructured”:“D.T.Ndumu和H.S.Nwana。基于代理系统的研究和开发挑战。软件工程IEE Proc.,144“H.S。Nwana、D.T.Ndumu和L.C.Lee。ZEUS:工程分布式多代理系统的高级工具包。程序中。PAAM\u201998,英国伦敦,1998年。“,”doi-asserted-by“:”crossref“,”unstructured“:”M.Wooldridge“。基于Agent的软件工程。IEE Proc。软件工程,144(1),1997.“,”DOI“:”10.1049\/ip-sen:19971026“},{“key”:“4_CR21”,“DOI-asserted-by”:“crossref”,“unstructured”:“M.Wooldridge and N.R.Jennings.智能代理:理论与实践.知识工程评论,10(2),1995.”,“DOI”:“10.1017\/S026988900008122”}],“container-title”:[“声明语言的实用方面”,“计算机科学中的课堂讲稿”],“原始标题”:[],“链接”:[{“URL”:“http://\/link.springer.com/content\/pdf\/10.1007\/3-540-49201-1_4”,“内容类型”:“未指定”,“content-version”:“vor”,“intended-application”:“相似性检查”}],“存放”:{“日期部分”:[2019,4,28]],“日期时间”:“2019-04-28T05:57:26Z”,“时间戳”:1556431046000},“分数”:1,“资源”:{“主要”:{“URL”:“http:\/\/link.springer.com\/10.1007\/3-540-492001-1_4”},“副标题”:[],“短标题”:[],“已发布”:{“日期部分”:[[1998]]},“国际标准图书编号”:[“9783540655275”,“9783540492016”],“引用次数”:21,“URL”:“http:\/\/dx.doi”。org\/10.1007\/3-540-49201-1_4“,”关系“:{},”ISSN“:[”0302-9743“],”issn-type“:[{”value“:”0302-974“,”type“:”print“}],”subject“:[],”published“:{”date-parts“:[[1998]]}}}