Doctor Yi Zhou
LECTURER - FAI,
Computing & ICT
Personal
Qualifications
- DTech University of Science & Technology of China
UWS Organisational Unit (School / Division)
- Computing & ICT
Contact
| Email: | Y.Zhou@uws.edu.au |
|---|---|
| Extension: | 2802 |
| Mobile: | |
| Location: | Y.3.45 Penrith (Kingswood) |
| Website: |
PLEASE NOTE: obtaining information from this Directory must be for the legitimate purposes of doing business with and within the University of Western Sydney (UWS), and must not be used for unsolicited bulk e-mailing (spamming) or similar purposes.
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.
, , c, , ,
This information has been contributed by Doctor Zhou.
Interests
- Artificial Intelligence
- Autonomous Agent and Multiagent Systems
- Computational Logic
- Computer Science
- Knowledge Representation
- Logic Programming
Publications
Journal Articles
- Asuncion, V., Lin, F., Zhang, Y. and Zhou, Y. (2012), 'Ordered completion for first-order logic programs on finite structures', Artificial Intelligence, 24.
- Zhou, Y. (2012), 'RDL : enhancing description logic with rules', Lecture Notes in Computer Science, 12.
- Lin, F. and Zhou, Y. (2011), 'From answer set logic programming to circumscription via logic of GK', Artificial Intelligence, 14.
- Zhou, Y. and Zhang, Y. (2011), 'A logical study of partial entailment', Journal of Artificial Intelligence Research, 32.
- Chen, Y., Lin, F., Zhang, Y. and Zhou, Y. (2011), 'Loop-separable programs and their first-order definability', Artificial Intelligence, 24.
- Zhou, Y. and Zhang, Y. (2011), 'A logical study of partial entailment.', Journal of Artificial Intelligence Research, 32.
- Zhang, Y. and Zhou, Y. (2009), 'Knowledge forgetting: Properties and applications', Artificial Intelligence, 13.
- Zhou, Y., Lin, F. and Zhang, Y. (2009), 'General default logic', Annals of Mathematics and Artificial Intelligence, 36.
- Zhou, Y., Lin, F. and Zhang, Y. (2007), 'General default logic', Lecture Notes in Computer Science, 13.
Conference Papers
- Zhang, Y. and Zhou, Y. (2012), 'Ordered completion for logic programs with aggregates', AAAI Conference on Artificial Intelligence, Toronto, Canada.
- Zhang, Y. and Zhou, Y. (2012), 'Forgetting in logic programs under strong equivalence', International Conference on Principles of Knowledge Representation and Reasoning, Rome, Italy.
- Zhang, H., Zhang, Y., Ying, M. and Zhou, Y. (2011), 'Translating theories into logic programs', Twenty-Second International Joint Conference on Artificial Intelligence, Barcelona, Spain.
- Zhou, Y. and Zhang, Y. (2011), 'Bounded forgetting', The Twenty-Fifth AAAI Conference on Artificial Intelligence, USA.
- Zhou, Y., Zhang, Y. and Zhang, Y. (2011), 'Progression semantics for disjunctive logic programs', the Twenty-Fifth AAAI Conference on Artificial Intelligence, USA.
- Kelly, M., Fu, F., Zhang, Y. and Zhou, Y. (2010), 'ACTL local model update with constraints', 14th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES-2010), Cardiff, Wales, UK.
- Chen, Y., Wan, H., Zhang, Y. and Zhou, Y. (2010), 'dl2asp: Implementing default logic via answer set programming', Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Dresden, Germany.
- Zhang, Y., Kelly, M. and Zhou, Y. (2010), 'Foundations of tree-like local model updates', 19th European Conference on Artificial Intelligence (ECAI 2010), Lisbon, Portugal.
- Chen, Y., Zhang, Y. and Zhou, Y. (2010), 'First-order indefinability of answer set programs on finite structure', Twenty-Fourth AAAI Conference on Artificial Intelligence, Atlanta, Georgia, US.
- Asuncion, V., Lin, F., Zhang, Y. and Zhou, Y. (2010), 'Ordered completion for first-order logic programs on finite structures', Twenty-Fourth AAAI Conference on Artificial Intelligence, Atlanta, Georgia, US.
- Zhang, Y. and Zhou, Y. (2010), 'On the progression semantics and boundedness of answer set programs', 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR-2010), Toronto, Canada.
- Zhang, Y. and Zhou, Y. (2010), 'Forgetting revisited', 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR-2010), Toronto, Canada.
- Zhou, Y. and Zhang, Y. (2009), 'Modeling Abstract Behavior: A Dynamic Logic Approach', 22nd Australasian Joint Conference in Artificial Intelligence, Melbourne, Australia.
- Zhou, Y., Van Der Torre, L. and Zhang, Y. (2008), 'Partial goal satisfaction and goal change: weak and strong partial implication, logical properties, complexity.', 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal.
- Zhou, Y. and Zhang, Y. (2008), 'Meta Level Reasoning and Default Reasoning', Lecture Notes in Computer Science, .
- Zhou, Y. and Zhang, Y. (2008), 'Rule Calculus: Semantics, Axioms and Applications', Lecture Notes in Computer Science, .
Research
Previous Projects
| Title: | Enhancing the expressiveness and flexibility of nonmonotonic reasoning |
|---|---|
| Years: | 2009-09-22 - 2010-09-21 |
| ID: | P00017388 |
| UWS Researchers: | Yi Zhou |
| Funding: |
|
| Title: | Towards High-performance Solvers for Answer Set Programming and Description Logic |
| Years: | 2010-11-17 - 2012-03-30 |
| ID: | P00019429 |
| UWS Researchers: | Yi Zhou and Yan Zhang |
| Funding: |
|
