Michael Gelfond, J. Nelson Rushton, Weijun Zhu. Combining Logical and Probabilistic Reasoning. In Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, Papers from the 2006 AAAI Spring Symposium, Technical Report SS-06-05, Stanford, California, USA, March 27-29, 2006. pages 50-55, AAAI, 2006. [doi]