Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions.

Yongmei Liu, Hector J. Levesque

Browse the full IJCAI paper archive.