Yi Zhou

Publication Activity (10 Years)

Years Active: 2007-2020
Publications (10 Years): 2

Top Topics

Answer Set Programming

Partial Deduction

Top Venues

ACM Trans. Comput. Log.

Publications

Zihang Gao, Fangzhen Lin, Yi Zhou, Hao Zhang, Kaishun Wu, Haodi Zhang
Embedding High-Level Knowledge into DQNs to Learn Faster and More Safely. AAAI (2020)
Haodi Zhang, Zihang Gao, Yi Zhou, Hao Zhang, Kaishun Wu, Fangzhen Lin
Faster and Safer Training by Embedding High-Level Knowledge into Deep Reinforcement Learning. CoRR (2019)
Vernon Asuncion, Yin Chen, Yan Zhang, Yi Zhou
Ordered completion for logic programs with aggregates. Artif. Intell. 224 (2015)
Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang
Knowledge Forgetting in Answer Set Programming. J. Artif. Intell. Res. 50 (2014)
Yi Zhou, Yan Zhang
A Logical Study of Partial Entailment. CoRR (2014)
Vernon Asuncion, Yan Zhang, Yi Zhou
Preferred First-Order Answer Set Programs. ACM Trans. Comput. Log. 15 (2) (2014)
Vernon Asuncion, Yan Zhang, Heng Zhang, Yi Zhou
Constructive Circumscription. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou
Ordered completion for first-order logic programs on finite structures. Artif. Intell. (2012)
Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang
Forgetting in Logic Programs under Strong Equivalence. KR (2012)
Yi Zhou, Yan Zhang
RDL: Enhancing Description Logic with Rules. Australasian Conference on Artificial Intelligence (2012)
Vernon Asuncion, Yan Zhang, Yi Zhou
Ordered Completion for Logic Programs with Aggregates. AAAI (2012)
Heng Zhang, Yan Zhang, Mingsheng Ying, Yi Zhou
Translating First-Order Theories into Logic Programs. IJCAI (2011)
Yi Zhou, Yan Zhang
A Logical Study of Partial Entailment. J. Artif. Intell. Res. 40 (2011)
Yin Chen, Fangzhen Lin, Yan Zhang, Yi Zhou
Loop-separable programs and their first-order definability. Artif. Intell. 175 (3-4) (2011)
Yi Zhou, Yan Zhang
Bounded Forgetting. AAAI (2011)
Fangzhen Lin, Yi Zhou
From answer set logic programming to circumscription via logic of GK. Artif. Intell. 175 (1) (2011)
Yi Zhou, Yan Zhang
Progression Semantics for Disjunctive Logic Programs. AAAI (2011)
Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou
Ordered Completion for First-Order Logic Programs on Finite Structures. AAAI (2010)
Yan Zhang, Michael Kelly, Yi Zhou
Foundations of Tree-like Local Model Updates. ECAI (2010)
Michael Kelly, Fei Pu, Yan Zhang, Yi Zhou
ACTL Local Model Update with Constraints. KES (4) (2010)
Yin Chen, Hai Wan, Yan Zhang, Yi Zhou
dl2asp: Implementing Default Logic via Answer Set Programming. JELIA (2010)
Yin Chen, Yan Zhang, Yi Zhou
First-Order Indefinability of Answer Set Programs on Finite Structures. AAAI (2010)
Yi Zhou, Fangzhen Lin, Yan Zhang
General default logic. Ann. Math. Artif. Intell. 57 (2) (2009)
Yi Zhou, Fangzhen Lin, Yan Zhang
General Default Logic. LPNMR (2007)
Fangzhen Lin, Yi Zhou
From Answer Set Logic Programming to Circumscription via Logic of GK. IJCAI (2007)