Nonmonotonic propositional logic

Wei LI, Yuefei SUI, Yuhui WANG

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

Nonmonotonic propositional logic

Author information +
History +

Cite this article

EndNote

Ris (Procite)

Bibtex

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

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
CrossRef Google scholar
[3]
Antoniou G. A tutorial on default logics. ACM Computing Surveys, 1999, 31(4): 337–359
CrossRef Google scholar
[4]
Li W. R-calculus: an inference system for belief revision. The Computer Journal, 2007, 50: 378–390
CrossRef Google scholar
[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
CrossRef Google scholar

RIGHTS & PERMISSIONS

2020 Higher Education Press
AI Summary AI Mindmap
PDF(180 KB)

Accesses

Citations

Detail
Sections
Recommended

/

〈 〉