zbMath0967.68132MaRDI QIDQ2704408
Ding, Decheng, Zhao, Xishun, Hans Kleine Büning
Publication date: 19 March 2001
zbMATH Keywords
Horn defaults; Bi-Horn formula; credulous reasoning
Mathematics Subject Classification ID
68T27: Logic in artificial intelligence
68T01: General topics in artificial intelligence
Related Items