The Complexity of Closed World Reasoning and Circumscription.

Marco Cadoli, Maurizio Lenzerini

Browse the full AAAI paper archive.