Dr. Yi Zhou

• Biography
• Areas of Research / Teaching Expertise
• Grants / Current Projects
• Selected Publications
• Contact Details

Biography

Dr. Yi Zhou is lecturer at the Intelligent Systems Laboratory, School of Computing and Mathematics, University of Western Sydney. He is an active researcher in the areas of artificial intelligence, especially in nonmonotonic reasoning, logic programming, knowledge update and reasoning about rational agents. He received his PhD from the University of Science and Technology in China (2006) and had been a postdoctoral research fellow at University of Western Sydney. His work has been accepted and published in major Artificial Intelligence conferences and journals such as AIJ, JAIR, IJCAI, AAAI, KR and AAMAS. He has served as a Program Committee member of several AI conferences such as IJCAI'11, IJCAI'09, LPNMR'09, AI'07-11.

For more details, please refer to Dr Yi Zhou's homepage

^ Back to top

Areas of Research / Teaching Expertise

Computer Science, Artificial Intelligence, Computational Logic, Autonomous Agent and Multiagent Systems, Knowledge Representation, Logic Programming

^ Back to top

Grants / Current Projects

1. Submitted in 2010. UWS IRIS Grant application (first CI, with Prof. Yan Zhang, Prof. Torsten Schaub and Dr. Jeff Z. Pan): Towards High-Performance Solvers for Answer Set Programming and Description Logic. Successful, funding received: $17,400 (2010-2011).
2. Submitted in 2009. UWS Seed Grant application (sole CI): Enhancing the Expressiveness and Flexibility of Non-monotonic Reasoning. Successful, funding received: $3,522 (2009-2010).

^ Back to top

Selected Publications

Journal Articles

(A*) Loop Separable Programs and Their First-Order Definability (with Yin Chen, Fangzhen Lin and Yan Zhang). Artificial Intelligence (AIJ). 175(3-4), 890-913. 2011.

(A) A Logical Study of Partial Entailment (with Yan Zhang). Journal of Artificial Intelligence Research (JAIR). 40, 25-56. 2011

(A*) From Answer Set Logic Programming to Circumscription via Logic of GK (with Fangzhen Lin). Artificial Intelligence (AIJ). 175(1), 264-277. 2011

(A*) Knowledge Forgetting: Properties and Applications (with Yan Zhang). Artificial Intelligence (AIJ). 173(16-17), 1525-1537. 2009.

General Default Logic (with Fangzhen Lin and Yan Zhang). Annals of Mathematics and Artificial Intelligence (AMAI). 57(2), 125-160. 2009.

Refereed Conference papers (15 A)

(A) Bounded Forgetting (with Yan Zhang). In Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI’11). 2011.

(A) Progression Semantic for Disjunctive Logic Programs (with Yan Zhang). In Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI’11). 2011.

(A) Translating Theories into Logic Programs (with Heng Zhang, Mingsheng Yin and Yan Zhang). In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI’11). 2011.

(A) dl2asp: Implementing Default Logic via Answer Set Programming (with Yin Chen, Hai Wan and Yan Zhang). In Proceedings of the 12th European Conference on Logics in Artificial Intelligence (JELIA’10). 2010.

(B) ACTL Local Model Update with Constraints (with Michael Kelly, Fei Pu and Yan Zhang). In Proceedings of the 14th International Conference on Knowledge-Based and Intelligent (KES’10). 2010.

(A) Foundations of Tree-like Local Model Updates (with Yan Zhang and Michael Kelly). In proceedings of 19th European Conference on Artificial Intelligence (ECAI’10). 2010.

(A) Some Negative Results on First-order Definability of Answer Set Programs (with Yin Chen and Yan Zhang). In Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI’10). 2010.

(A) Ordered Completion for First-Order Logic Programs on Finite Structures (with Vernon Asuncion, Fangzhen Lin and Yan Zhang). In Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI’10). 2010.

(A) On the Progression Semantics and Boundedness of Answer Set Programs (with Yan Zhang). In Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR’10). 2010.

(A) Forgetting Revisited (with Yan Zhang). In Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR’10). 2010.

(B) Modeling Abstract Behavior: A Dynamic Logic Approach (with Yan Zhang). In Proceedings of the 22nd Australasian Joint Conference on Artificial Intelligence (AI’09): 538-546, 2009.

Embedding General Default Logic into the Logic of GK (with Fangzhen Lin and Yan Zhang). In proceedings of the 12th International Workshop on Non-Monotonic Reasoning (NMR’08). 76-83. 2008.

Properties of Knowledge Forgetting (with Yan Zhang). In proceedings of the 12th International Workshop on Non-Monotonic Reasoning (NMR’08). 68-75. 2008.

(A) Meta Level Reasoning and Default Reasoning (with Yan Zhang). In proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA’08): 403-415, 2008.

(A) Rule Calculus: Axioms, Semantics and Applications (with Yan Zhang). In proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA’08): 416-428, 2008.

(A) Partial Goal Satisfaction and Goal Change (with Leon van der Torre and Yan Zhang). In Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS’08): 413-420, 2008.

(A) From Answer Set Logic Programming to Circumscription via Logic of GK (with Fangzhen Lin). In proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI’07): 441-446, 2007.

(A) General Default Logic (with Fangzhen Lin and Yan Zhang). In proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’07): 241-253, 2007.

Toward Formalizing Usefulness in Propositional Language (with Xiaoping Chen). In proceedings of the First International Conference on Knowledge Science, Engineering and Management (KSEM’06): 650-661, 2006.

(A) Partial Implication Semantics for Desirable Propositions (with Xiaoping Chen). In proceedings of the Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR’04): 606-612, 2004.

^ Back to top