机译:邮政框架中基于逻辑的论证的复杂性?
logic based argumentationcomplexityPost's latticecountingenumeration;
机译:Post框架中基于逻辑的论证的复杂性
机译:基于逻辑的论证的复杂度分类
机译:基于逻辑的论证系统的假设
机译:Schaefer框架中基于逻辑的论证的复杂性
机译:Web访问控制策略的基于逻辑的框架。
机译:在基于问题的学习中进行小组讨论时医学生会产生合理的论点吗?:根据假设演绎推理框架对临床前医学生的论证进行分析
机译:基于演绎论证的基于逻辑的理论☆☆这是在德克萨斯州奥斯汀举行的美国国家人工智能会议论文集(AAAI'2000)上发表的题为“迈向基于逻辑论证的论点”的论文的扩展版本。麻省理工学院出版社,麻省剑桥,2000年。