机译:在析取演绎数据库中仅计算最小答案
School of Computing, University of Plymouth, Plymouth, UK;
disjunctive deductive databases; minimal answers; perfect models; disjunctive stable models; cyclic sets; strong covers; compilation; database pre-processing;
机译:最小模型生成,用于析取演绎数据库中广义查询的精确回答
机译:逻辑逻辑程序和演绎数据库的最小已建立语义
机译:演绎数据库,用于计算来自中介数据集成系统的某些一致答案
机译:析取演绎数据库的基于最小模型的水平碎片算法
机译:析取演绎数据库中的访问子句树
机译:使用演绎数据库技术对重症监护室中实验室数据进行基于知识的解释的框架。
机译:在析取演绎数据库中仅计算最小答案
机译:演绎数据库和逻辑编程:演绎数据库和基于知识的系统中的绑定。 ICLp'95联合研讨会的会议记录。 1995年6月17日在日本湘南村中心举行