Yayan Yuan

Publication Activity (10 Years)

Years Active: 2015-2017
Publications (10 Years): 2

Top Topics

Horn Contraction

Merging Operators

Nonmonotonic Reasoning

Propositional Logic

Top Venues

计算机科学

Publications

Yayan Yuan, Hui Kou
-domains. ISDT (2017)
Hua Meng, Yayan Yuan, Jielei Chu, Hongjun Wang
AGM信念收缩算子的拓扑式刻画 (Topological Characterization of AGM Belief Contraction Operator). 计算机科学 43 (9) (2016)
Hua Meng, Yayan Yuan, Jielei Chu, Hongjun Wang
Belief Revision over Infinite Propositional Language. KSEM (2015)