LuFG Informatik 2, RWTH Aachen University, Germany;
LuFG Informatik 2, RWTH Aachen University, Germany;
Dept. of Mathematics and Computer Science, University of Southern Denmark;
LuFG Informatik 2, RWTH Aachen University, Germany;
Dept. of Computer Science, University College London, United Kingdom;
Logic Programs; Prolog; Term Rewriting; Termination; Complexity; Determinacy;
机译:通过术语重写自动完成逻辑程序的终止证明
机译:通过术语重写自动完成逻辑程序的终止证明
机译:使用模糊逻辑方法评估住宅领域的节能计划
机译:符号评估图和术语重写-分析逻辑程序的通用方法
机译:概率逻辑编程中的符号推理技术
机译:短期癌症研究培训计划纵向研究的评估方法
机译:符号评估图和术语重写-分析逻辑程序的通用方法
机译:LOG(F):逻辑编程,重写和惰性评估的最佳组合。