Nonmonotonic propositional logic

Wei LI , Yuefei SUI , Yuhui WANG

Front. Comput. Sci. ›› 2021, Vol. 15 ›› Issue (3) : 153402

PDF (180KB)
Front. Comput. Sci. ›› 2021, Vol. 15 ›› Issue (3) : 153402 DOI: 10.1007/s11704-020-7104-x
LETTER

Nonmonotonic propositional logic

Author information +
History +
PDF (180KB)

Cite this article

Download citation ▾
Wei LI, Yuefei SUI, Yuhui WANG. Nonmonotonic propositional logic. Front. Comput. Sci., 2021, 15(3): 153402 DOI:10.1007/s11704-020-7104-x

登录浏览全文

4963

注册一个新账户 忘记密码

References

Publishing order | Descend order by publishing year | Descend order by cited within
[1]

Takeuti G. Proof Theory. Courier Corporation, 2013
[2]

Reiter R. A logic for default reasoning. Artificial Intelligence, 1980, 13: 81–132
[3]

Antoniou G. A tutorial on default logics. ACM Computing Surveys, 1999, 31(4): 337–359
[4]

Li W. R-calculus: an inference system for belief revision. The Computer Journal, 2007, 50: 378–390
[5]

Ginsberg M L. Readings in Nonmonotonic Reasoning. San Francisco: Morgan Kaufmann, 1987
[6]

Cao C, Sui Y, Wang Y. The nonmonotonic propositional logics. Artificial Intelligence Research, 2016, 5: 111–120

RIGHTS & PERMISSIONS

Higher Education Press

AI Summary AI Mindmap
PDF (180KB)

Supplementary files

Article highlights 1

Article highlights 2

1363

Accesses

0

Citation

Detail
Sections
Recommended

AI思维导图

/

〈 〉