Deontic Logic; Partial Logic; Contracts; Automated Reasoning;
机译:CB-合同:基于案例的建筑合同策略制定推理方法
机译:在矢量空间中使用部分评估的逻辑编程有效推理方法
机译:部分知识下推理的特殊问题
机译:关于部分合同的推理
机译:一整夜或全部睡眠不足后,在逻辑推理任务上的实际和自我评估的表现。
机译:卫生保健专业人员中的部分和公正的道德推理。
机译:合同-假释证据规则-例外;部分整合和抵押合同原则Durham诉Va。National Pool Equipment Co. of VA,205 Va.441(1964)