Default Logic About Assertions

1994Computer Science被引 2

摘要

G.Brewka presented a modified default logic (CDL) and obtained some properties of CDL,such as the existence of extensions,semimonotonicity,which the Reiters normal default logic shares.The Reiter's default has been generalized,a default logic about assertion's has been obtained,and the assertion that the Brewka's CDL is a special normal default logic of the new version has been proved.

引用本文（GB/T 7714）

Kai Su. Default Logic About Assertions[J]. 未知来源, 1994.

引文网络

参考文献与被引分析加载中…

本站仅收录题录与摘要供学习参考，全文版权归属出版方；如有侵权请联系我们删除。