机译:具有约束条件的归纳逻辑编程的CIFF证明程序:理论,实现和实验
Dipartimento di Informatica, Vniversita di Pisa, Pisa, Tuscany, Italy;
Dipartimento di Informatica, Vniversita di Pisa, Pisa, Tuscany, Italy;
Department of Computing, Imperial College London, London, UK;
Department of Computing, Imperial College London, London, UK;
Institute for Logic. Language and Computation (ILLC), University of Amsterdam, Amsterdam, The Netherlands;
abduction; constraints; proof procedures;
机译:SLDNFA:用于归纳逻辑程序的归纳过程
机译:在高阶约束逻辑编程中实现类型理论
机译:具有概率完整性约束的非应绑架逻辑编程
机译:带约束的推理逻辑编程的CIFF证明程序
机译:过程理论(模型,证明系统,编程语言,程序综合,时间逻辑)。
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:具有约束条件的归纳逻辑编程的CIFF证明程序:理论,实现和实验