Tractable reasoning in incomplete first-order knowledge bases

Yongmei Liu. Tractable reasoning in incomplete first-order knowledge bases. PhD thesis, University of Toronto, Canada, 2006. [doi]

Abstract

Abstract is missing.