机译:通过形式逻辑对信息检索进行建模:一项调查
Leibniz Inst Social Sci GESIS Knowledge Technol Social Sci WTS Dept Unter Sachsenhausen 6-8 D-50667 Cologne Germany;
Univ Grenoble Alpes Lab LIG CNRS LIG CS 40700 F-38058 Grenoble 9 France;
Univ Milano Bicocca Dept Informat Syst & Commun DISCO Viale Sarca 336 I-20126 Milan Italy;
Formal logics; information retrieval models; logical models; survey; uncertainty;
机译:科学理论的形式模型和计算模型中的发现/证明情境二分法:削弱基于非单调逻辑的区分
机译:重写逻辑中的可执行形式模型(特邀演讲)
机译:可编程逻辑控制器一致性测试的正式模型
机译:形式概念分析与信息检索-一项调查
机译:逻辑,形式语言和形式语言标识。乔姆斯基层次结构中语言的某些逻辑属性,以及形式语言标识的疑问模型。
机译:用于分离逻辑的正式C内存模型
机译:正式概念分析和信息检索 - 调查