On the Complexity of Model Checking for Propositional Default Logics: New Results and Tractable Cases
Robert Baumgartner and Georg Gottlob
Book Title
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence‚ IJCAI 99‚ Stockholm‚ Sweden‚ July 31 − August 6‚ 1999. 2 Volumes‚ 1450 pages
Editor
Thomas Dean
ISBN
1−55860−613−0
Pages
64−69
Publisher
Morgan Kaufmann
Year
1999