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