机译:计算问题的内涵答案-归纳逻辑编程方法
Semantic Computing Group, CITEC, Universitaet Bielefeld, P.O. Box 10 01 31, D-33501 Bielefeld, Germany;
Institute AIFB, Karlsruhe Institute of Technology (KIT), D-76131 Karlsruhe, Germany;
Lindenbaum GmbH, Erbprinzenstr. 4-12, D-76133 Karlsruhe, Germany;
natural language interfaces; intensional answers; applications of inductive logic programming;
机译:基于蒙塔古内涵逻辑的自然语言文本分析算法在问题解答中的应用
机译:关于将归纳逻辑编程应用于网格计算中的自我修复问题的建议:它将如何工作
机译:在答案集语义下修改逻辑程序的程序级方法
机译:使用概率逻辑编程回答问题
机译:使用ASP和Markov Logic Solvers计算答案设置程序语言的概率扩展
机译:验证六角绑定生物化学知识的感应逻辑编程方法
机译:从拓展到内涵知识:归纳逻辑编程技术及其在演绎数据库中的应用