The Complexity of Model Checking for Propositional Default Logics
Data and Knowledge Engineering - Netherlands
doi 10.1016/j.datak.2005.03.002
Full Text
Open PDFAbstract
Available in full text
Date
November 1, 2005
Authors
Publisher
Elsevier BV
Available in full text
November 1, 2005
Elsevier BV