Conference item icon

Conference item

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

Actions


Publisher:
Morgan Kaufmann
Host title:
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence‚ IJCAI 99‚ Stockholm‚ Sweden‚ July 31 − August 6‚ 1999. 2 Volumes‚ 1450 pages
Publication date:
1999-01-01
ISBN:
1558606130
UUID:
uuid:6747c925-d1a3-4386-8b75-0992dcff2475
Local pid:
cs:211
Deposit date:
2015-03-31

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP