...
机译:可行逻辑的一个包含定理
School of Information and Communication Technology, Griffith University, Nathan, QLD 4111, Australia;
Institute of Computer Science, FORTH, P.O. Box 1385, 71110 Heraklion Crete, Greece;
NICTA, P.O. Box 6020, St. Lucia, QLD 4067, Australia;
NICTA, Locked Bag 6016, University of New South Wales, Sydney NSW 1466, Australia;
ambiguity blocking; ambiguity propagation; defeasible logic; defeasible logic variants; team defeat;
机译:完善的语义下可废逻辑和逻辑程序之间的可定义性
机译:通过将描述逻辑转换为不可行的逻辑编程来进行不一致的本体处理
机译:将可废止的逻辑嵌入到逻辑编程中
机译:论可违约论逻辑与时间上不可辩证逻辑的对等
机译:模态逻辑的有效完整性定理。
机译:具有非局部子带类型边界条件的分数阶q-差分包含的存在性定理
机译:不可辩证的逻辑学中的不可辩证的许多面孔
机译:交叉定理,包含定理和相关结果