深度推理相关论文
视觉问答是一项具有挑战性的任务,其涉及对多模态信息输入(即图像内容和自然语言问题)的共同语义理解,以及基于视觉和语言的联合推......
皮尔士的图演算是逻辑史上的重要发明。自1860年代后期开始,皮尔士专心研究关于布尔代数的改进工作。皮尔士于1880年发表逻辑史上......
可计算性逻辑是新近提出的关于可计算性的形式理论.它采取交互的博弈语义,是一种资源逻辑.经典逻辑、直觉逻辑和线性逻辑(在广义上......
学位
