DCC-FC LIACC University of Porto, Portugal;
implementation; performance; deductive databases;
机译:逻辑逻辑程序和演绎数据库的最小已建立语义
机译:命题非经典逻辑的有效关系演绎系统
机译:在数据库和逻辑编程系统中尝试递归查询
机译:使用Deftuctive数据库系统的高效和可扩展逻辑程序诱导
机译:演绎数据库和逻辑程序中的不确定性推理
机译:使用归纳逻辑编程的变体数据库中的知识发现
机译:为析取逻辑程序和演绎创建最小的语义 数据库
机译:演绎数据库和逻辑编程:演绎数据库和基于知识的系统中的绑定。 ICLp'95联合研讨会的会议记录。 1995年6月17日在日本湘南村中心举行