机译:规范式多代理系统中制裁的运行时修订
Utrecht University Utrecht The Netherlands;
Utrecht University Utrecht The Netherlands;
Utrecht University Utrecht The Netherlands;
Multiagent systems; Norm revision; Norm enforcement;
机译:NorJADE:基于JADE的开源框架,用于对规范化多Agent系统进行编程
机译:规范多主体系统的非功能规范规范和验证方法
机译:多主体系统中规范冲突的检测和解决:文献调查
机译:规范多助理系统中运行时规范合成的分类
机译:法律制裁的严重程度,刑事司法系统的合法性以及威慑方面的法律制裁的不同经验的作用。
机译:嵌入式实时系统的运行时验证
机译:规范式多代理系统中制裁的运行时修订