Analysis of the legal hypothesis reasoning in judicial activities 论审判活动中的法律假言推理
2.
Probability effect in conditional inference 假言推理中的概率效应
3.
Negative biases in conditional reasoning 假言推理的否定词效应
4.
An approach to xml problem solving by means of resolution principle is presented . the subsumption and request of problem is formalized by xdd and the problem is evaluated by employment of resolution principle . an intelligent decision support system based on xml is presented 主要内容包括：建立了基于xml的公理系统；给出了假言推理在xdd中的应用形式；论证了假言推理在xdd中有效性和完备性；给出了应用证明论方法实现xml问题求解的方法和步骤。
