On the Complexity of Model Checking for Propositional Default Logics: New Results and Tractable Cases.

Robert Baumgartner, Georg Gottlob

Browse the full IJCAI paper archive.