School of Computer Science and Information Technology RMIT University, Australia;
机译:观察逻辑,基于构造函数的逻辑及其对偶
机译:Ternary DDCVSL:标准三元逻辑的组合动态逻辑风格,单电源
机译:修正的输入/输出逻辑:结合输入/输出逻辑和修正以表示现有法规中的规范
机译:基于Lukasiewicz逻辑和命题动态逻辑的Agent体系的分级BDI模型
机译:秀丽隐杆线虫泛神经基因表达的调控逻辑。
机译:急性肾损伤患者何时开始透析?当语义和逻辑与期望和信念纠缠在一起时
机译:描述逻辑程序:将逻辑程序与描述逻辑相结合