Complexity Results for Propositional Closed World Reasoning and Circumscription from Tractable Knowledge Bases.

Sylvie Coste-Marquis, Pierre Marquis

Browse the full IJCAI paper archive.