zbMath1034.68088MaRDI QIDQ4446263
Zhao, Xishun
Publication date: 2003
zbMATH Keywords
complexity; default logic; default reasoning with specificity
Mathematics Subject Classification ID
68Q25: Analysis of algorithms and problem complexity
68T27: Logic in artificial intelligence