岛民

此软件的关键字
zbMATH参考文献(14篇文章引用)
Bulling,Nils;Dastani,Mehdi:基于规范的机制设计(2016) Dastani,Mehdi;Meyer,John Jules Ch.;Grossi,Davide:规范多智能体程序的逻辑(2013) Artikis,Alexander:开放代理系统的动态规范(2012) d'Inverno,Mark;Luck,Michael;Noriega,Pablo;Rodriguez Aguilar,Juan A;Sierra,Carles:通信开放系统(2012) ioport公司 Hübner,Jomi F.;Boissier,Olivier;Bordini,Rafael H.:多代理组织的规范编程语言(2011) Hübner,Jomi Fred;Boissier,Olivier;Kitio,Rosine;Ricci,Alessandro:用组织人工制品和代理为多主体组织提供工具(2010) ioport公司 Michael,Loizos;Parkes,David C.;Pfeffer,Avi:使用权利和义务规定和监控经济环境(2010年) ioport公司 Alexander Artikis;Sergot,Marek;Pitt,Jeremy:指定规范管理的计算社会(2009) Bromuri,Stefano;Urovi,Visara;Stathis,Kostas:GOLEM agent环境中基于游戏的电子零售(2009) ioport公司 Dennis,Louise;Fisher,Michael;Hepple,Anthony:多代理编程的语言构造(2009) Alexander Artikis;Sergot,Marek;Pitt,Jeremy:形式论证协议的可执行规范(2007) 赫尔穆特·伯杰;迈克尔·迪滕巴赫;迪特尔·梅克尔;安东·博格达诺维奇;西蒙斯·西莫夫;卡尔·塞拉:电子旅游的新维度(2007年) ioport公司 Jonker,Catholijn M.;Sharpanskykh,Alexei;Treur,Jan;Yolum,PInar:组织的正式建模和分析框架(2007) ioport公司 Alberti,Marco;Gavanelli,Marco;Lamma,Evelina;Mello,Paola;Torroni,Paolo;Sartor,Giovanni:将义务操作员映射到诱拐预期(2006年)