DOI10.1007/BF02946520zbMath0919.03022MaRDI QIDQ1288432
Ying Zhang, Mingyi Zhang
Publication date: 11 May 1999 Published in: Journal of Computer Science and Technology (Search for Journal in Brave)
zbMATH Keywords
complexity; algorithms; extensions; reasoning; default logic; cumulativity; compatibility; assumption
Mathematics Subject Classification ID
03B60: Other nonclassical logic
68T27: Logic in artificial intelligence
Cites Work