On the Complexity of Model Checking for Propositional Default Logics: New Results and Tractable Cases
Robert Baumgartner and Georg Gottlob
Details
| 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 |
Links
Related pages
|
People |