稳定模型相关论文
本文首先对产品族结构树及其配置进行了研究,定义了一个以稳定模型作为语义基础的BOM配置语言对配置规则进行表示,然后在关系数......
马尔科夫回答集逻辑程序(Logic Programming with Markov Logic Networks,LPMLN)通过赋予规则权重的方式扩展了回答集逻辑程序(Answ......
学位

