...
机译:用于描述代理人之间的强烈信仰的逻辑
Nanjing Univ Dept Philosophy Nanjing Jiangsu Peoples R China;
Nanjing Univ Dept Philosophy Nanjing Jiangsu Peoples R China;
Belief-disagreement; Doxastic possible worlds; Epistemic state; Interaction;
机译:用于描述代理人之间的强烈信仰的逻辑
机译:线性时序逻辑LTL_K由具有交互代理的Multi-Agent Logic K_n扩展
机译:智能代理建模中的非传统逻辑和混合逻辑:I.人工代理,意图特征及其建模方法
机译:主体间信仰异议的逻辑
机译:描述与平均场近似的强相关性。
机译:在系统评价综合中使用逻辑模型方法:描述推荐管理干预中的复杂途径
机译:在归纳逻辑编程代理中将逻辑编程和生产系统集成