Department of Philosophy Princeton University;
机译:从具有闭合谓词的表达性描述逻辑到Datalog变体的多项式重写
机译:借助谓词演算语言对对象进行多代理描述
机译:用例描述建模的谓词参数结构分析
机译:描述类型:新闻风格中的空间语义的口头谓词(视觉感知,多式联运和垄性语义)
机译:谓词级联:日语中的V-te-V谓词研究
机译:基于谓词的语义索引:置换是在语义空间中编码谓词的一种手段
机译:来自截障描述逻辑的多项式重写,封闭谓词对Datalog的变体
机译:离散事件动力系统监控的谓词和谓词变换器。