Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information.

Yongmei Liu, Hector J. Levesque

Browse the full AAAI paper archive.