机译:逻辑编程讨价还价的顺序模型
College of Computer and Information Science, Southwest University, Chongqing 400715, China,Center for the Study of Logic and Intelligence, Southwest University, Chongqing 400715, China;
School of Computing, Engineering and Mathematics, University of Western Sydney, Penrith NSW 2751, Australia;
School of Information Engineering, Huzhou University, Huzhou 313000, China;
bargaining; logic programming; sequential model; abduction;
机译:在知识逻辑及其应用中寻找模型的逻辑编程:一个案例研究
机译:为串行正则语法逻辑构造正逻辑程序的有限最小Kripke模型
机译:基于串联负负差分电阻器件的受控猝灭的可编程逻辑门的逻辑综合和电路建模
机译:逻辑程序讨价还价推理的顺序模型
机译:用Gentzen序贯方法研究某些模型逻辑的Kripke型模型
机译:顺序而不是同时的分子机制控制着病原体反应基因表达程序的组合控制逻辑
机译:用于可编程逻辑控制器的顺序算法的规划和诊断的软件工具
机译:关于序贯讨价还价的两篇论文。论文I:顺序讨价还价机制。论文二:与不完全信息讨价还价的连续不确定无限视界模型。