Department of Computing and Software, McMaster University, Canada;
Departamento de Computacion, Universidad Nacional de Buenos Aires, Argentina,Consejo Nacional de Investigacions Cientificas y Tecnologicas (CONICET);
Department of Computing and Software, McMaster University, Canada;
机译:高级规则的演算,命题量化和证明理论和谐的基础方法
机译:关于命题微积分中定理定理证明的知识库
机译:关于命题微积分中定理定理证明的知识库
机译:默认规则的推理题目基于表格的证据微积分
机译:解决搜索问题复杂性的逻辑方法:证明复杂性,量化命题演算和有界算术。
机译:将基于案例的推理和基于规则的推理集成到决策支持系统中:模拟患者的评估。
机译:默认推理的证明理论方法I:默认逻辑的表格
机译:自动推理在证明翻译和寻找具有特定属性的证据中的应用:在多值句子演算中的案例研究。