机译:Post框架中基于逻辑的论证的复杂性
LIF, UMR CNRS 6166, Aix-Marseille Universite, 163 Avenue de Luminy, 13288 Marseille Cedex 9, France;
LIF, UMR CNRS 6166, Aix-Marseille Universite, 163 Avenue de Luminy, 13288 Marseille Cedex 9, France;
TWT GmbH, Bernhaeuser Strasse 40-42, 73765 Neuhausen a.d.F, Germany,Institut fuer Theoretische Informatik, Gottfried Wilhelm Leibniz Universitat, Appelstr. 4, 30167 Hannover, Germany;
Institut fuer Informationssysteme E184/2, Technische Universitaet Wien, Favoritenstr, 9-11, 1040 Wien, Austria;
logic based argumentation; complexity; post's lattice; counting; enumeration;
机译:邮政框架中基于逻辑的论证的复杂性?
机译:基于逻辑的论证的复杂度分类
机译:基于逻辑的论证系统的假设
机译:Schaefer框架中基于逻辑的论证的复杂性
机译:Web访问控制策略的基于逻辑的框架。
机译:在基于问题的学习中进行小组讨论时医学生会产生合理的论点吗?:根据假设演绎推理框架对临床前医学生的论证进行分析
机译:基于演绎论证的基于逻辑的理论☆☆这是在德克萨斯州奥斯汀举行的美国国家人工智能会议论文集(AAAI'2000)上发表的题为“迈向基于逻辑论证的论点”的论文的扩展版本。麻省理工学院出版社,麻省剑桥,2000年。