Curriculum Vitae Dr. Yi Zhou

Transcription

1 Curriculum Vitae Dr. Yi Zhou Personal Information Name: Yi Zhou Major: Computer Science Tel (work): Tel (home): Homepage: Postal address: Yi Zhou, Room Y345, Building Y, Penrith Campus, School of Computing and Mathematics, University of Western Sydney, Locked Bag 1797, NSW, Australia. Education PhD degree in computer science, Department of Computer Science in University of Science and Technology of China Bachelor degree of engineering, Special Class for Gifted Young (SCGY) in University of Science and Technology of China. Research Interests Artificial Intelligence knowledge representation, nonmonotonic reasoning, answer set programming, non-standard logic and their applications Intelligent Agents reasoning about rational agents, actions and motivational attitudes Logic Programming theoretical foundation and practical system for answer set programming Software Engineering model checking, model update and their applications to program verification Information Security Logic-based access control policy languages and their updates WWW description logic, its extensions and applications to ontology engineering and semantic web Working Experiences Jan 2011 present. Lecturer at School of Computing and Mathematics, University of Western Sydney. Nov 2006 Dec ARC funded research fellow at Intelligent Systems Lab (ISL), supervised by Prof. Yan Zhang, School of Computing and Apr 2006 Oct Research associate at Department of Computer Science in Hong Kong University of Science and Technology.

2 Teaching and Supervision Spring 2011: Database Design and Development (300104), School of Computing and Autumn 2011: Formal Languages and Automata (300121), School of Computing and Autumn 2011: Content Management Systems and Web Analytics (300697), School of Computing and Spring 2010: Information Security (300128), School of Computing and Autumn 2010: Intelligent Systems (300368), School of Computing and : co-supervision (with Prof. Yan Zhang) of several PhD and Honours students, including Edward Caprin, Vernon Asuncion, Heng Zhang, Michael Kelly, and JinWei Hu in Intelligent Systems Lab. Research Projects Involved July 2009 December ARC Discovery Project DP : Model Update with Localization, Constraints and Abstraction. My duty includes (a) theoretical foundation on how to localize model update and how to combine it with domain constraints, (b) part of example analysis and case studies and (c) co-supervising a PhD student. July 2007 June ARC Discovery Project DP : Foundations of Nonmonotonic Logic Programming for Complex Knowledge Systems. My duty includes (a) semantics and properties of answer set programming, (b) computational issues and definability issues of answer set programming, (c) implementation of answer set solvers based on our theoretical results and (d) co-supervising a Honours student and a PhD student. Nov June ARC Discovery Project DP : Knowledge Based Model Updating for the Correctness of Security Protocols. My duty includes (a) the minimal criterion for updating Kripke models and (b) system experiments and evaluation. Research Grant Submissions Submitted in ARC Discovery Project (CI, with Prof. Yan Zhang and Prof. Fangzhen Lin): Towards the Effectiveness of First-order Answer Set Programming: Foundations and Implementations. Pending. Submitted in 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 ( ). Submitted in UWS Seed Grant application (sole CI): Enhancing the Expressiveness and Flexibility of Non-monotonic Reasoning. Successful, funding received: $3,522 ( ).

3 Research Services Program Committee Member of the 24rd Australasian Joint Conference on Artificial Intelligence (AI 11) (B). Program Committee Member of the Twenty-second International Joint Conference on Artificial Intelligence (IJCAI 11) (A). Program Committee Member of the 23rd Australasian Joint Conference on Artificial Intelligence (AI 10) (B). Program Committee Member of the Twenty-first International Joint Conference on Artificial Intelligence (IJCAI 09) (A). Program Committee Member of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 09) (A). Program Committee Member of the 22nd Australasian Joint Conference on Artificial Intelligence (AI'09) (B). Program Committee Member of the 21st Australasian Joint Conference on Artificial Intelligence (AI'08) (B). Program Committee Member of the 20th Australasian Joint Conference on Artificial Intelligence (AI'07) (B). Reviewer of major AI journals, including Artificial Intelligence (AIJ) (A*) and Annals of Artificial Intelligence and Mathematics (AMAI). Reviewer of major AI conferences, including AAAI 11, AAAI 10, KR 10, AAAI 09, AAAI 08, KR 08, AAAI 07 etc. Implemented Systems groc A first-order answer set solver by translating logic program to their ordered completion (with Vernon Asuncion and Yan Zhang) dl2asp - A default logic solver by translating into answer set programming (with Yin Chen, Hai Wan and Yan Zhang). asp2sat - A answer set solver by translating into classical propositional logic (with Vernon Asuncion and Yan Zhang). CTLupdater - A local model updater of updating tree-like counterexamples for ACTL formulas (with Michael Kelly and Yan Zhang). Publications (with the ERA ranking) Journal Articles (4 A* and 1 A) 1. (A*) Loop Separable Programs and Their First-Order Definability (with Yin Chen, Fangzhen Lin and Yan Zhang). Artificial Intelligence (AIJ). 175(3-4), (A) A Logical Study of Partial Entailment (with Yan Zhang). Journal of Artificial Intelligence Research (JAIR). 40, (A*) From Answer Set Logic Programming to Circumscription via Logic of GK (with Fangzhen Lin). Artificial Intelligence (AIJ). 175(1), (A*) Knowledge Forgetting: Properties and Applications (with Yan Zhang). Artificial Intelligence (AIJ). 173(16-17),

4 5. General Default Logic (with Fangzhen Lin and Yan Zhang). Annals of Mathematics and Artificial Intelligence (AMAI). 57(2), Refereed Conference papers (15 A) 6. (A) Bounded Forgetting (with Yan Zhang). In Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI 11) (A) Progression Semantic for Disjunctive Logic Programs (with Yan Zhang). In Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI 11) (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) (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) (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) (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) (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) (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) (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) (A) Forgetting Revisited (with Yan Zhang). In Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR 10) (B) Modeling Abstract Behavior: A Dynamic Logic Approach (with Yan Zhang). In Proceedings of the 22nd Australasian Joint Conference on Artificial Intelligence (AI 09): , 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) Properties of Knowledge Forgetting (with Yan Zhang). In proceedings of the 12th International Workshop on Non-Monotonic Reasoning (NMR 08)

5 19. (A) Meta Level Reasoning and Default Reasoning (with Yan Zhang). In proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA 08): , (A) Rule Calculus: Axioms, Semantics and Applications (with Yan Zhang). In proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA 08): , (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): , (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): , (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): , Toward Formalizing Usefulness in Propositional Language (with Xiaoping Chen). In proceedings of the First International Conference on Knowledge Science, Engineering and Management (KSEM 06): , (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): , 2004.