2APL公司

此软件的关键字
zbMATH参考文献(16篇文章引用)
De Nicola,Rocco;Ferrari,Gianluigi;Pugliese,Rosario;Tiezzi,Francesco:特定领域分布式系统工程的正式方法(2020) Morveli Espinoza,M.;Nieves,J.C.;Possebom,A.;Puyol Gruart,J.;Tacla,C.A.:一种基于论证的方法,用于识别和处理程序目标之间的不相容性(2019年) De Giacomo,Giuseppe;Gerevini,Alfonso Emilio;Patrizi,Fabio;Saetti,Alessandro;Sardina,Sebastian:代理计划(2016) De Giacomo,Giuseppe;Lespérance,Yves;Patrizi,Fabio:有界情境演算行动理论(2016) Alechina,Natasha:逻辑和代理编程语言(2013) Koster,Andrew;Schorlemmer,Marco;Sabater Mir,Jordi:《打开信任的黑匣子:关于BDI代理中信任模型的推理》(2013) ioport公司 Yadav,Nitin;Sardina,Sebastian:关于使用类ATL逻辑的代理程序的推理(2012) Alechina,Natasha;Dastani,Mehdi;Logan,Brian;Meyer,John Jules Ch.:BDI代理项目中计划修订的推理(2011) Alechina,Natasha;Dastani,Mehdi;Logan,Brian;Meyer,John Jules Ch.:关于代理人审议的推理(2011) ioport公司 Ricci,Alessandro;Piunti,Michele;Viroli,Mirko:《多智能体系统中的环境编程:基于工件的视角》(2011) ioport公司 Sardiña,Sebastian;Padgham,Lin:具有故障处理、声明性目标和计划的BDI代理编程语言(2011) ioport公司 Alechina,N.;Dastani,M.;Khan,F.;Logan,B.;Meyer,J.-J.Ch.:使用定理证明来验证代理程序的属性(2010) Dimakis,Nikolaos;Soldatos,John;Polymanakos,Lazaros;Bürkle,Axel;Pfirrmann,Uwe;Sutschet,Gerhard:基于代理的架构框架,增强上下文感知普适服务的可配置性、自治性和可伸缩性(2010年) ioport公司 Hübner,Jomi Fred;Boissier,Olivier;Kitio,Rosine;Ricci,Alessandro:用组织人工制品和代理为多主体组织提供工具(2010) ioport公司 Sindlar,Michal P.;Dastani,Mehdi M.;Dignum,Frank;Meyer,John Jules Ch.:基于BDI的特工的精神状态诱拐(2009年) Dastani,Mehdi:2APL:一种实用的代理编程语言。 (2008年) ioport公司