University of Virginia.;
机译:逻辑规则和推理的特殊问题简介:第2届国际规则和推理联席会议所选文件(RULEML + RR 2018)
机译:基于逻辑推理的教育平台
机译:关于面向用户的逻辑编程和推理范例的TPLP特刊简介
机译:EduBAI:基于逻辑推理的教育平台
机译:两个真相:对藏传佛教格鲁巴教令的修道院教科书中所介绍的Madhyamika哲学的研究。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)