个人简介
教育背景
7月-6月 北京大学，计算机科学系，博士后
2002年9月-6月 中山大学，计算机科学系，博士
1998年9月-2002年6月 中山大学，信息管理系 学士
工作经历
10月至今 暨南大学，计算机科学系，教授
12月至今 澳洲Griffith University, 客座教授 (Adjunct Professor)
10月-9月 暨南大学，计算机科学系，副教授
7月-9月 暨南大学，计算机科学系，讲师
3月-9月 德国Brandenburg University of Technology Cottbus, 访问学者, 参与中德国际合作项目(DFG)研究。
7月-8月 德国University of Trier,访问学者 参与中德国际合作项目(DFG)研究。
11月-12月 澳洲Griffith University人工智能研究所，访问学者 参与澳洲国家科学基金(ARC)研究。
11月-12月 澳洲Griffith University人工智能研究所，访问学者 参与澳洲国家科学基金(ARC)研究
个人简介
教育背景
7月-6月 北京大学，计算机科学系，博士后
2002年9月-6月 中山大学，计算机科学系，博士
1998年9月-2002年6月 中山大学，信息管理系 学士
工作经历
10月至今 暨南大学，计算机科学系，教授
12月至今 澳洲Griffith University, 客座教授 (Adjunct Professor)
10月-9月 暨南大学，计算机科学系，副教授
7月-9月 暨南大学，计算机科学系，讲师
3月-9月 德国Brandenburg University of Technology Cottbus, 访问学者, 参与中德国际合作项目(DFG)研究。
7月-8月 德国University of Trier,访问学者 参与中德国际合作项目(DFG)研究。
11月-12月 澳洲Griffith University人工智能研究所，访问学者 参与澳洲国家科学基金(ARC)研究。
11月-12月 澳洲Griffith University人工智能研究所，访问学者 参与澳洲国家科学基金(ARC)研究
研究领域
人工智能
研究领域
专业：
研究方向：
人工智能
研究领域和兴趣：
近期论文
查看导师最新文章
(温馨提示：请注意重名现象，建议点开原文通过作者单位确认)
[1] Aixiang Chen, Xiaolong Chai, Bingchuan Chen, Rui Bian and Qingliang Chen: A Novel Stochastic Stratified Average Gradient Method: Convergence Rate and Its Complexity, The International Joint Conference on Neural Networks (IJCNN ),Jul 8, - Jul 13, , Rio, Brazil.
[2]Xiangyu Luo, Lijun Wu, Qingliang Chen, et al: Symbolic model checking for discrete real-time systems, Science China Information Sciences, () 61:1-23, Springer Press.
[3]Qingliang Chen, Xiaowei Huang, Kaile Su, Abdul Sattar: Quantified Coalition Logic of Knowledge, Belief and Certainty. Canadian Conference on AI : 351-360, Lecture Notes in Computer Science 10233, Springer Press, .
[4] Qingliang Chen, Kaile Su, Abdul Sattar, Xiangyu Luo, Aixiang Chen: A first-order coalition logic for BDI-agents. Frontiers of Computer Science 10(2): 233-245 (), Springer Press.
[5] Qingliang Chen, Kaile Su, Yong Hu, Guiwu Hu: A complete coalition logic of temporal knowledge for multi-agent systems. Frontiers of Computer Science 9(1): 75-86 (), Springer Press.
[6] Lijun Wu, Kaile Su, Abdul Sattar, Qingliang Chen, Jinshu Su,Wei Wu: A complete first-order temporal BDI logic for forest multi-agent systems, Knowledge-Based Systems, 27(3) 343–351, . Elsevier Press.
[7] Qingliang Chen, Kaile Su and Xizhong Zheng: Primitive Recursive Real Numbers, Mathematical Logic Quarterly, 53(4/5):365-380, WILEY-VCH Verlag GmbH & Co.KGaA, Weinheim, .
[8] Kaile Su, Qingliang Chen, Abdul Sattar, Weiya Yue, Guanfeng Lv and Xizhong Zheng: Verification of Authentication Protocols for Epistemic Goals via SAT Compilation, Journal of Computer Science and Technology, 21(6): 932-943, , Springer Press.
[9]. Qingliang Chen, Kaile Su and Xizhong Zheng: Primitive Recursiveness of Real Numbers under Different Representations, Electronic Notes in Theoretical Computer Science, 167: 303-324, . Elsevier Press.
[10] Kaile Su, Guanfeng Lv, Qingliang Chen: Knowledge Structure Approach to Verification of Authentication Protocols, Science in China, Series F, 48(4): 513-532, . Springer Press.
[11] Xiaowei Huang, Qingliang Chen, Kaile Su: Strengthening Agents Strategic Ability with Communication, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16), February 12–17, Phoenix, Arizona, USA.
[12] Xiaowei Huang, Qingliang Chen, Jie Meng and Kaile Su: Reconfigurability in Reactive Multiagent Systems, The 25th International Joint Conference on Artificial Intelligence (IJCAI-16), New York, USA, 9th-15th July, .
[13] Xiaowei Huang, Ji Ruan, Qingliang Chen and Kaile Su: Normative Multiagent Systems: A Dynamic Generalization. the 25th International Joint Conference on Artificial Intelligence (IJCAI-16), New York, USA, 9th-15th July, .
[14] Xiaowei Huang, Qingliang Chen, Kaile Su: The Complexity of Model Checking Succinct Multiagent Systems. Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI , Buenos Aires, Argentina, July 25-31, .
[15] Qingliang Chen, Kaile Su, Yong Hu, Guiwu Hu: Complete Axiomatization and Complexity of Coalition Logic of Temporal Knowledge for Multi-agent Systems. Canadian Conference on AI : 269-274, Lecture Notes in Computer Science 8436, Springer Press.
[16] Qingliang Chen, Qun Li, Kaile Su, Xiangyu Luo: Quantified Coalition Logic for BDI-Agents: Completeness and Complexity. PRICAI : Trends in Artificial Intelligence - 13th Pacific Rim International Conference on Artificial Intelligence, Gold Coast, QLD, Australia, December 1-5, .
[17] Shaowei Cai, Kaile Su, Qingliang Chen: EWLS: A New Local Search for Minimum Vertex Cover, The Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI-10), Atlanta, Georgia, USA, July 11–15, .
[18]. Kaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen: A Computationally Grounded Logic of Knowledge, Belief and Certainty, The Fourth International Joint Conference on Autonomous Agents and Multi-agent Systems (AAMAS-05), Utrecht University，The Netherlands，25-29, July, . ACM Press.
[19]. Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv :Bounded Model Checking Knowledge and Branching Time in Synchronous Multi-agent Systems, The Fourth International Joint Conference on Autonomous Agents and Multi-agent Systems (AAMAS-05), Utrecht University，The Netherlands，25-29, July, . ACM Press.
近期论文
[1] Aixiang Chen, Xiaolong Chai, Bingchuan Chen, Rui Bian and Qingliang Chen: A Novel Stochastic Stratified Average Gradient Method: Convergence Rate and Its Complexity, The International Joint Conference on Neural Networks (IJCNN ),Jul 8, - Jul 13, , Rio, Brazil.
[2]Xiangyu Luo, Lijun Wu, Qingliang Chen, et al: Symbolic model checking for discrete real-time systems, Science China Information Sciences, () 61:1-23, Springer Press.
[3]Qingliang Chen, Xiaowei Huang, Kaile Su, Abdul Sattar: Quantified Coalition Logic of Knowledge, Belief and Certainty. Canadian Conference on AI : 351-360, Lecture Notes in Computer Science 10233, Springer Press, .
[4] Qingliang Chen, Kaile Su, Abdul Sattar, Xiangyu Luo, Aixiang Chen: A first-order coalition logic for BDI-agents. Frontiers of Computer Science 10(2): 233-245 (), Springer Press.
[5] Qingliang Chen, Kaile Su, Yong Hu, Guiwu Hu: A complete coalition logic of temporal knowledge for multi-agent systems. Frontiers of Computer Science 9(1): 75-86 (), Springer Press.
[6] Lijun Wu, Kaile Su, Abdul Sattar, Qingliang Chen, Jinshu Su,Wei Wu: A complete first-order temporal BDI logic for forest multi-agent systems, Knowledge-Based Systems, 27(3) 343–351, . Elsevier Press.
[7] Qingliang Chen, Kaile Su and Xizhong Zheng: Primitive Recursive Real Numbers, Mathematical Logic Quarterly, 53(4/5):365-380, WILEY-VCH Verlag GmbH & Co.KGaA, Weinheim, .
[8] Kaile Su, Qingliang Chen, Abdul Sattar, Weiya Yue, Guanfeng Lv and Xizhong Zheng: Verification of Authentication Protocols for Epistemic Goals via SAT Compilation, Journal of Computer Science and Technology, 21(6): 932-943, , Springer Press.
[9]. Qingliang Chen, Kaile Su and Xizhong Zheng: Primitive Recursiveness of Real Numbers under Different Representations, Electronic Notes in Theoretical Computer Science, 167: 303-324, . Elsevier Press.
[10] Kaile Su, Guanfeng Lv, Qingliang Chen: Knowledge Structure Approach to Verification of Authentication Protocols, Science in China, Series F, 48(4): 513-532, . Springer Press.
[11] Xiaowei Huang, Qingliang Chen, Kaile Su: Strengthening Agents Strategic Ability with Communication, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16), February 12–17, Phoenix, Arizona, USA.
[12] Xiaowei Huang, Qingliang Chen, Jie Meng and Kaile Su: Reconfigurability in Reactive Multiagent Systems, The 25th International Joint Conference on Artificial Intelligence (IJCAI-16), New York, USA, 9th-15th July, .
[13] Xiaowei Huang, Ji Ruan, Qingliang Chen and Kaile Su: Normative Multiagent Systems: A Dynamic Generalization. the 25th International Joint Conference on Artificial Intelligence (IJCAI-16), New York, USA, 9th-15th July, .
[14] Xiaowei Huang, Qingliang Chen, Kaile Su: The Complexity of Model Checking Succinct Multiagent Systems. Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI , Buenos Aires, Argentina, July 25-31, .
[15] Qingliang Chen, Kaile Su, Yong Hu, Guiwu Hu: Complete Axiomatization and Complexity of Coalition Logic of Temporal Knowledge for Multi-agent Systems. Canadian Conference on AI : 269-274, Lecture Notes in Computer Science 8436, Springer Press.
[16] Qingliang Chen, Qun Li, Kaile Su, Xiangyu Luo: Quantified Coalition Logic for BDI-Agents: Completeness and Complexity. PRICAI : Trends in Artificial Intelligence - 13th Pacific Rim International Conference on Artificial Intelligence, Gold Coast, QLD, Australia, December 1-5, .
[17] Shaowei Cai, Kaile Su, Qingliang Chen: EWLS: A New Local Search for Minimum Vertex Cover, The Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI-10), Atlanta, Georgia, USA, July 11–15, .
[18]. Kaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen: A Computationally Grounded Logic of Knowledge, Belief and Certainty, The Fourth International Joint Conference on Autonomous Agents and Multi-agent Systems (AAMAS-05), Utrecht University，The Netherlands，25-29, July, . ACM Press.
[19]. Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv :Bounded Model Checking Knowledge and Branching Time in Synchronous Multi-agent Systems, The Fourth International Joint Conference on Autonomous Agents and Multi-agent Systems (AAMAS-05), Utrecht University，The Netherlands，25-29, July, . ACM Press.
