Department of Computer Science, King's College London Strand, London WC2R 2LS, United Kingdom;
Department of Computer Science, The University of Melbourne Parkville 3052, Australia;
satisfiability; decidability; first order logic; database queries; database views; conjunctive queries; unary views; inequality; the Loewenheim class;
机译:通过一阶逻辑与逆语法确定正则语法逻辑
机译:许多排序的一阶线性时间逻辑的可判定和表达片段
机译:一阶模态逻辑的捆绑片段:(Un)可判定性
机译:一阶逻辑查询的可判定性在视图上
机译:基于知识库的机器(人工智能,一阶查询,PROLOG,“剪切”运算符,第五代计算机)的高层次关系处理器上的递归和规则选择
机译:扩展一阶逻辑缓解框架以处理多种病态的患者偏好
机译:视图上一阶逻辑查询的可判定性
机译:一阶谓词逻辑模型理论及相关时态逻辑