Yi Zhou

30 papers A* 9A 1B 4Journal 13Unranked 3
YearRankTypeTitle / Venue / Authors
2020 A* conf
Embedding High-Level Knowledge into DQNs to Learn Faster and More Safely.
AAAI
Zihang Gao, Fangzhen Lin, Yi Zhou, Hao Zhang, Kaishun Wu, Haodi Zhang
2019 J jnl
Faster and Safer Training by Embedding High-Level Knowledge into Deep Reinforcement Learning.
CoRR
Haodi Zhang, Zihang Gao, Yi Zhou, Hao Zhang, Kaishun Wu, Fangzhen Lin
2017 J jnl
A progression semantics for first-order logic programs.
Artif. Intell.
Yi Zhou, Yan Zhang
2015 J jnl
Ordered completion for logic programs with aggregates.
Artif. Intell.
Vernon Asuncion, Yin Chen, Yan Zhang, Yi Zhou
2014 J jnl
A Logical Study of Partial Entailment.
CoRR
Yi Zhou, Yan Zhang
2014 J jnl
Knowledge Forgetting in Answer Set Programming.
J. Artif. Intell. Res.
Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang
2014 J jnl
Preferred First-Order Answer Set Programs.
ACM Trans. Comput. Log.
Vernon Asuncion, Yan Zhang, Yi Zhou
2013 J jnl
Constructive Circumscription.
Theory Pract. Log. Program.
Vernon Asuncion, Yan Zhang, Heng Zhang, Yi Zhou
2012 A* conf
Forgetting in Logic Programs under Strong Equivalence.
KR
Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang
2012 A* conf
Ordered Completion for Logic Programs with Aggregates.
AAAI
Vernon Asuncion, Yan Zhang, Yi Zhou
2012 J jnl
Ordered completion for first-order logic programs on finite structures.
Artif. Intell.
Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou
2012 — conf
RDL: Enhancing Description Logic with Rules.
Australasian Conference on Artificial Intelligence
Yi Zhou, Yan Zhang
2011 J jnl
A Logical Study of Partial Entailment.
J. Artif. Intell. Res.
Yi Zhou, Yan Zhang
2011 A* conf
Bounded Forgetting.
AAAI
Yi Zhou, Yan Zhang
2011 J jnl
From answer set logic programming to circumscription via logic of GK.
Artif. Intell.
Fangzhen Lin, Yi Zhou
2011 J jnl
Loop-separable programs and their first-order definability.
Artif. Intell.
Yin Chen, Fangzhen Lin, Yan Zhang, Yi Zhou
2011 A* conf
Progression Semantics for Disjunctive Logic Programs.
AAAI
Yi Zhou, Yan Zhang
2011 A* conf
Translating First-Order Theories into Logic Programs.
IJCAI
Heng Zhang, Yan Zhang, Mingsheng Ying, Yi Zhou
2010 — conf
ACTL Local Model Update with Constraints.
KES (4)
Michael Kelly, Fei Pu, Yan Zhang, Yi Zhou
2010 A* conf
First-Order Indefinability of Answer Set Programs on Finite Structures.
AAAI
Yin Chen, Yan Zhang, Yi Zhou
2010 A conf
Foundations of Tree-like Local Model Updates.
ECAI
Yan Zhang, Michael Kelly, Yi Zhou
2010 A* conf
Ordered Completion for First-Order Logic Programs on Finite Structures.
AAAI
Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou
2010 B conf
dl2asp: Implementing Default Logic via Answer Set Programming.
JELIA
Yin Chen, Hai Wan, Yan Zhang, Yi Zhou
2009 J jnl
General default logic.
Ann. Math. Artif. Intell.
Yi Zhou, Fangzhen Lin, Yan Zhang
2009 J jnl
Knowledge forgetting: Properties and applications.
Artif. Intell.
Yan Zhang, Yi Zhou
2009 — conf
Modeling Abstract Behavior: A Dynamic Logic Approach.
Australasian Conference on Artificial Intelligence
Yi Zhou, Yan Zhang
2008 B conf
Meta Level Reasoning and Default Reasoning.
JELIA
Yi Zhou, Yan Zhang
2008 B conf
Rule Calculus: Semantics, Axioms and Applications.
JELIA
Yi Zhou, Yan Zhang
2007 A* conf
From Answer Set Logic Programming to Circumscription via Logic of GK.
IJCAI
Fangzhen Lin, Yi Zhou
2007 B conf
General Default Logic.
LPNMR
Yi Zhou, Fangzhen Lin, Yan Zhang