Login / Signup
Yi Zhou
Publication Activity (10 Years)
Years Active: 2007-2020
Publications (10 Years): 2
Top Topics
Logic Programs
Answer Set Programming
Partial Deduction
Fixpoint
Top Venues
CoRR
Artif. Intell.
AAAI
ACM Trans. Comput. Log.
</>
Publications
</>