×
詹姆斯·拉什。（编辑）;克里斯托弗·罗夫（Christopher A.Rouff）。（编辑）;沃尔特·特鲁斯科夫斯基（编辑）;戴安娜·戈登（编辑）;Michael G.欣奇。（编辑）

基于代理系统的形式化方法。2000年4月5日至7日，第一届国际研讨会，FAABS 2000，美国马里兰州Greenbelt。修订论文。 （英语） Zbl 0978.00039号

计算机科学课堂讲稿1871.人工智能课堂讲稿。柏林：斯普林格。ix，369页（2001年）。

将索引文章显示为搜索结果。

对数学感兴趣的文章将单独复习。
索引文章：
马西莫·贝内雷切蒂；福斯托·金奇利亚，基于模型检查的多智能体系统分析，1-15[Zbl 0988.68630号]
斯坦尼斯劳·安布罗茨基维茨（Ambroszkiewicz，Stanislaw）；沃伊切赫·彭泽克（Wojciech Penczek）；托马什·诺瓦克，面向网络空间的正式规范和验证，16-32[Zbl 0988.68564号]
乌尔里希·赫斯塔特；克莱尔·狄克逊；雷娜特·施密特（Renate A.Schmidt）。；Michael Fisher；约翰·朱尔斯（John-Jules Meyer）；范德霍克，威比，KARO代理理论内的验证，33-47[Zbl 0988.68180号]
阿拉拉吉、塔达西；保罗·阿蒂；艾迪特·凯达尔；高句丽、清崎；维克托·卢昌科（Victor Luchangco）；南希·林奇；肯·马诺，关于代理计算的形式化建模，48-62[Zbl 0988.68721号]
希拉·麦克拉伊思。，建模和编程设备及web代理，63-77[Zbl 0988.68716号]
Hindriks，Koen V.公司。；德波尔（Frank S.de Boer）。；范德霍克，威比；约翰·朱尔斯·C·迈耶。，代理语言3APL的一部分的编程逻辑，78-89[Zbl 0988.68538号]
川崎、吉野；肯·马诺（Ken Mano）；清崎高句丽，（text{Nepi}^2）编程系统：基于代理编程的基于计算方法，90-102[Zbl 0988.68764号]
查尔斯·佩彻（Charles Pecheur）；里德·西蒙斯从利文斯顿到SMV。自主航天器的形式验证，103-113[Zbl 0988.68698号]
利纳·哈提卜；尼古拉·穆塞托拉（Nicola Muscettola）；克劳斯·哈维隆德，使用UPPAAL验证计划模型，114-122[Zbl 0988.68758号]
巴卡姆，无辜；Fabrice Kordon；克里斯托弗·勒佩奇；弗朗索瓦州布斯克，使用有色Petri网对空间化多智能体模型进行形式化，用于狩猎管理系统的研究，123-132[Zbl 0988.68767号]
马克·德·因弗诺；幸运，迈克尔，正式代理开发：系统框架，133-147[Zbl 0988.68696号]
约翰·舒曼（Johann Schumann）；乔恩·惠特尔，UML中代理设计的自动合成，148-162[Zbl 0988.68673号]
迈克尔·费希尔，直接执行代理规范，163[Zbl 0988.68687号]
艾伯特·C·埃斯特林。；托尼特·罗丽，使用（pi）演算对多智能体系统建模，164-179[Zbl 0988.68757号]
杰弗里·范·巴伦；詹姆斯·考德威尔（James L.Caldwell）。；希瓦坎·米什拉，使用Maude指定和检查基于容错代理的协议，180-193[Zbl 0988.68743号]
蒂姆·门齐斯（Tim Menzies）；库基克、博扬；辛格，哈辛德，特工说话更快，194-208年[Zbl 0988.68665号]
内拉姆·桑达拉扬，细化分布式系统中的交互，209-221[Zbl 0988.68737号]
克里斯蒂娜·勒曼，基于代理的系统的设计和数学分析，222-234[Zbl 0988.68684号]
米歇尔·鲁迪尼安斯基（Michel Rudnianski）；赫莱内·贝斯托夫，通过博弈论代理建模任务和团队，235-249[Zbl 0988.68718号]
理查德·沃尔丁格，Web代理演绎合作，250-262[兹伯利0988.68761]
朱红，通过环境场景对代理行为进行形式化规范，263-277[Zbl 0988.68697号]
戴安娜·戈登。，APT代理：自适应、可预测和及时的代理，278-293[Zbl 0988.68671号]
西德尼·C·拜林。、代理社区中的本体协商。扩展摘要，294-297[Zbl 0988.68724号]
拉梅什·巴拉德瓦杰，使用决策程序分析基于代理的系统，298-299[Zbl 0988.68668号]
瓦利德·查因比，信仰-目标角色代理的正式方法，300-301[Zbl 0988.68649号]
彼得·恩格兰德（Peter Engrand）；查尔斯·佩彻，现场推进剂生产系统自主模型的模型检查，302-303[Zbl 0988.68713号]
基里亚基迪斯、基里亚科斯；戴安娜·戈登。，多智能体系统的自适应监控，304-305[Zbl 0988.68662号]
爱德华多·阿隆索；丹尼尔·库登科，基于逻辑的多代理系统的机器学习，306-307[Zbl 0988.68710号]
文森扎·卡奇奥罗；Michele Malgeri；朱塞佩·曼吉奥尼，使用正式框架进行代理系统设计，308-317[Zbl 0988.68756号]
桑达·曼杜蒂亚努，基于代理的系统建模，318-320[Zbl 0988.68715号]
彭云，用贝叶斯信念网络建模代理系统，321-322[Zbl 0988.68714号]
汤姆·莱利，智能代理的拟人化，323-334[兹比尔0988.68749]
德里克·苏尔卡（Derek M.Surka）。；坎贝尔（Mark E.Campbell）。；托马斯·谢特（Thomas P.Schetter）。，使用TeamAgent系统控制多个卫星星座，335-336[Zbl 0988.68680号]
苏珊·托尼（Susan E.Torney）。，约翰逊航天中心任务控制中心操作助理，337-338[Zbl 0988.68725号]
伦纳德·P·韦斯利。，一个实时面向对象的理性代理开发系统，339-344[Zbl 0988.68657号]
小组讨论：“实证方法与形式方法”，345-353[Zbl 0988.68728号]
小组讨论：“未来方向”，354-368[Zbl 0988.68729号]

引用于1审查

MSC公司：

00时25分 杂项特定利益的会议记录
68-06 与计算机科学有关的会议记录、会议、收藏等

关键词：

马里兰州绿地（美国）;车间;论文;FAABS 2000;基于代理的系统

软件：

Uppaal公司;3APL公司
PDF格式BibTeX公司 XML格式引用
\textit{J.L.Rash}（编辑）等，基于代理系统的形式化方法。2000年4月5日至7日，美国马里兰州Greenbelt，FAABS 2000第一届国际研讨会。修改后的文件。柏林：施普林格出版社（2001；Zbl 0978.00039）
全文： DOI程序