...
机译:谓词层次结构的顺序排序逻辑编程
National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430, Japan;
order-sorted logic; predicate hierarchy; typed logic programming; linear resolution; knowledge representation;
机译:用于排序,谓词和元谓词层次结构的按顺序排序的查询系统
机译:具有定点语义的逻辑谓词介绍。第一部分:逻辑编程
机译:关于允许函数符号的有限谓词逻辑程序索引集的复杂性
机译:具有论元重构的本体和规则的可确定顺序存储逻辑编程
机译:预测谓词逻辑推理问题的难度:谓词逻辑模型的实证检验
机译:层次逻辑模型作为评估计划创新的工具:已发现问题的实用解决方案
机译:谓词层次结构的顺序排序逻辑编程
机译:用动态谓词逻辑编程。信息系统