Tractable Closed World Reasoning with Updates.

Oren Etzioni, Keith Golden, Daniel S. Weld

Browse the full KR paper archive.