Publication:4796540

zbMath1025.03022MaRDI QIDQ4796540

Paolo Liberatore, Zhao, Xishun

Publication date: 2 June 2003

zbMATH Keywords

complexity; default logic; entailment; nonmonotonic inference; unique extension existence problem

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

03B60: Other nonclassical logic

68T27: Logic in artificial intelligence

03B70: Logic in computer science