Nonmonotonic propositional logic

Li, W; Sui, YF; Wang, YH

Wang, YH (corresponding author), Chinese Acad Sci, Inst Comp Technol, Key Lab Intelligent Informat Proc, Beijing 100190, Peoples R China.; Wang, YH (corresponding author), Univ Chinese Acad Sci, Sch Comp & Control Engn, Beijing 100049, Peoples R China.; Wang, YH (corresponding author), China Reinsurance Grp Corp, Informat Technol Ctr, Beijing 100033, Peoples R China.

FRONTIERS OF COMPUTER SCIENCE, 2021; 15 (3):