...
机译:带注释析取逻辑程序的推理
Probabilistic Inductive Logic Programming; Logic Programs with Annotated Disjunctions; ProbLog;
机译:带注释析取逻辑程序的推理
机译:SLGAD解决方案,用于对带注释的析取逻辑程序的推理
机译:ALLPAD:带注释析取的逻辑程序的近似学习
机译:概率逻辑编程的事件微积分用注释剖钉
机译:区域逻辑:Java程序的本地推理及其自动化。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:具有带注释的析取的逻辑程序的推理和答案推理
机译:使用语义信息处理逻辑程序中的否定和析取