Login / Signup
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
KSEM
ISDT
计算机科学
</>
Publications
</>