In his seminal 1983 paper, Jim Lawrence introduced lopsided sets and featured
them as asymmetric counterparts of oriented matroids, both sharing the key
property of strong elimination. Moreover, symmetry of faces
研究马尔可夫逻辑网络(MLN)的表达能力,引入了使用复合价格的复合 MLN,并表明与具有实际价格的标准 MLN 不同,复杂的 MLN 是完全表达的。观察到离散傅里叶变换可以使用具有复合权重的加权一阶模型计数(WFOMC)来计算,并使用此观察结果设计了一种算法,用于计算关系边际多面体,其需要 WFOMC 神谕的呼叫要少得多比最近的算法。