Mathematical logic ; Reasoning ; Artificial intelligence ; Proving;
机译:关于抽象论证语义的拓扑相关属性。对论证系统动力学的修正和扩展:基于除法的方法
机译:抽象争论中扩展执行的复杂性结果和算法抽象争论中扩展执行的复杂性和算法
机译:扩展抽象论证系统理论
机译:论证上下文系统:抽象组论证的框架
机译:抽象系统从分布式深度学习挑战
机译:摘要:对侧预防性乳房切除术:双侧直肠切除术和重建的争论
机译:论证上下文系统:抽象组论证的框架
机译:摘要论证系统