The Complexity of Closed World Reasoning and Circumscription

Marco Cadoli, Maurizio Lenzerini. The Complexity of Closed World Reasoning and Circumscription. In AAAI. pages 550-555, 1990.

Abstract

Abstract is missing.