Default logic about assertions

zbMath0823.68099MaRDI QIDQ1344433

Kaile Su, Ding, Decheng

Publication date: 13 February 1995

Published in: Science in China. Series A (Search for Journal in Brave)

zbMATH Keywords

default logicnormal default

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items (2)

Constraints on extensions of a default theory ⋮ More on representation theory for default logic

This page was built for publication: Default logic about assertions