Purdue University;
机译:面向企业应用集成解决方案仿真的Petri网,马尔可夫链和排队论作为数学建模语言的研究:第一步
机译:从程序执行到自动推理:将本体集成到编程语言中(Keynote)
机译:定性时间信息推理工具:带有Lisp实现的S语言理论
机译:Solomon Semeval-2020的团队 - 2020任务4:合理:利用大规模语言模型进行致料
机译:意义与力量:对马克思主义语言理论的研究。
机译:儿童错误信念推理的贝叶斯框架:理论理论和模拟理论的合理融合
机译:理论符合实践 - H. paul Grice的质量和方式的格言和Trobriand岛民的语言使用