Yi Zhou

According to our database, Yi Zhou authored at least 26 papers between 2008 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Embedding High-Level Knowledge into DQNs to Learn Faster and More Safely.

Zihang Gao, Fangzhen Lin, Yi Zhou, Hao Zhang, Kaishun Wu, Haodi Zhang

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Faster and Safer Training by Embedding High-Level Knowledge into Deep Reinforcement Learning.

Haodi Zhang, Zihang Gao, Yi Zhou, Hao Zhang, Kaishun Wu, Fangzhen Lin

CoRR, 2019

2017

A progression semantics for first-order logic programs.

Yi Zhou, Yan Zhang

Artif. Intell., 2017

2015

Ordered completion for logic programs with aggregates.

Vernon Asuncion, Yin Chen, Yan Zhang, Yi Zhou

Artif. Intell., 2015

2014

Preferred First-Order Answer Set Programs.

Vernon Asuncion, Yan Zhang, Yi Zhou

ACM Trans. Comput. Log., 2014

Knowledge Forgetting in Answer Set Programming.

Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang

J. Artif. Intell. Res., 2014

2013

Constructive Circumscription.

Vernon Asuncion, Yan Zhang, Heng Zhang, Yi Zhou

Theory Pract. Log. Program., 2013

2012

Ordered completion for first-order logic programs on finite structures.

Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou

Artif. Intell., 2012

Forgetting in Logic Programs under Strong Equivalence.

Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

RDL: Enhancing Description Logic with Rules.

Yi Zhou, Yan Zhang

Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012

Ordered Completion for Logic Programs with Aggregates.

Vernon Asuncion, Yan Zhang, Yi Zhou

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

A Logical Study of Partial Entailment.

Yi Zhou, Yan Zhang

J. Artif. Intell. Res., 2011

From answer set logic programming to circumscription via logic of GK.

Fangzhen Lin, Yi Zhou

Artif. Intell., 2011

Loop-separable programs and their first-order definability.

Yin Chen, Fangzhen Lin, Yan Zhang, Yi Zhou

Artif. Intell., 2011

Translating First-Order Theories into Logic Programs.

Heng Zhang, Yan Zhang, Mingsheng Ying, Yi Zhou

Proceedings of the IJCAI 2011, 2011

Progression Semantics for Disjunctive Logic Programs.

Yi Zhou, Yan Zhang

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

Bounded Forgetting.

Yi Zhou, Yan Zhang

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

ACTL Local Model Update with Constraints.

Michael Kelly, Fei Pu, Yan Zhang, Yi Zhou

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2010

dl2asp: Implementing Default Logic via Answer Set Programming.

Yin Chen, Hai Wan, Yan Zhang, Yi Zhou

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

Foundations of Tree-like Local Model Updates.

Yan Zhang, Michael Kelly, Yi Zhou

Proceedings of the ECAI 2010, 2010

First-Order Indefinability of Answer Set Programs on Finite Structures.

Yin Chen, Yan Zhang, Yi Zhou

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

General default logic.

Yi Zhou, Fangzhen Lin, Yan Zhang

Ann. Math. Artif. Intell., 2009

Knowledge forgetting: Properties and applications.

Yan Zhang, Yi Zhou

Artif. Intell., 2009

Modeling Abstract Behavior: A Dynamic Logic Approach.

Yi Zhou, Yan Zhang

Proceedings of the AI 2009: Advances in Artificial Intelligence, 2009

2008

Rule Calculus: Semantics, Axioms and Applications.

Yi Zhou, Yan Zhang

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

Meta Level Reasoning and Default Reasoning.

Yi Zhou, Yan Zhang

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008