机译:规范化多主体程序的逻辑
Information and Computing Sciences, Utrecht University, The Netherlands.;
Information and Computing Sciences, Utrecht University, The Netherlands.;
Institute of Logic, Language and Computation, University of Amsterdam, The Netherlands.;
multi-agent systems; normative systems; logic; programming; semantics; counts-as rules.;
机译:多主体正演逻辑中具有规范冲突的非单调推理
机译:NorJADE:基于JADE的开源框架,用于对规范化多Agent系统进行编程
机译:多代理组织的规范性编程语言
机译:规范性多代理程序及其逻辑
机译:弥合基于古典逻辑的形式主义与逻辑程序之间的鸿沟
机译:结合多智能体系统和主观逻辑来开发决策支持系统
机译:规范多主体程序及其逻辑