机译:程序均衡-程序推理方法
Department of Computer Science, University of Liverpool, Liverpool L69 3BX, UK;
Department of Software Technology, TU Delft, Mekelweg 4, 2628 CD Delft, The Netherlands;
Department of Computer Science, University of Liverpool, Liverpool L69 3BX, UK;
Program equilibrium; Non-cooperative games; Repeated games; Logic programming; Programs as strategies; Equality of programs;
机译:答案集规划中定性理论的编码和推理的广义方法
机译:程序均衡-程序推理方法
机译:实时复杂事件识别和逻辑编程方法
机译:ASPIC〜+框架的争论推理的答案集规划方法
机译:PaniniJ:在Java中添加了胶囊编程抽象,为并发程序设计中的模块化推理提供语言支持。
机译:上瘾违规者的高度结构化治疗计划:比较推理和康复计划的影响和DBT-F
机译:答案集规划中定性理论的编码和推理的广义方法