Login / Signup
Yan Zhang
Publication Activity (10 Years)
Years Active: 1993-2020
Publications (10 Years): 19
Top Topics
Stable Model Semantics
Logic Programs
Answer Set Programming
Fixpoint
Top Venues
CoRR
AAAI
KR
IJCAI
</>
Publications
</>