机译:接下来的700个挑战问题,涉及使用高阶抽象语法表示进行推理
机译:高阶抽象语法表示法在推理中的下700个挑战问题,第2-A部分调查
机译:创建抽象的地形表示形式:对编码,学习和推理的启示
机译:推理,代表和社会实践(扩展摘要)
机译:识字的主观性,话语实践和社会结构:家庭扫盲实践的扩展案例研究。
机译:社会延伸市场制度中的经济推理与互动
机译:局部模型语义学或上下文推理=局部性+兼容性☆☆本文是在1998年知识表示和推理会议(KR'98)上发表的具有相同标题的论文的实质性修订和扩展版本。名称的顺序是字母顺序。
机译:扩展摘要:管理实际时间推理的分离