...
Intelligent Systems Lab, School of Computing and Mathematics, University of Western Sydney, Sydney, New South Wales, Australia;
Department of Computer Science, Hong Kong University of Science and Technology, Hong Kong, People's Republic of China;
Intelligent Systems Lab, School of Computing and Mathematics, University of Western Sydney, Sydney, New South Wales, Australia;
nonmonotonic logic; answer set program; default logic; autoepistemic logic;
机译:在默认逻辑中表达默认逻辑变体
机译:在默认逻辑的某些语义变体中,半规范默认的表达能力
机译:默认数据库f使用默认逻辑扩展演绎数据库的方法
机译:默认逻辑的默认逻辑补丁
机译:默认逻辑作为一般的非单调推理范例。
机译:乌兹别克斯坦塔什干的结核病治疗违约;这些违约者是谁?为什么违约?
机译:默认逻辑的默认逻辑补丁