当前位置: X-MOL首页全球导师 国内导师 › 陈清亮

个人简介

教育背景 2010年7月-2012年6月 北京大学,计算机科学系,博士后 2002年9月-2007年6月 中山大学,计算机科学系,博士 1998年9月-2002年6月 中山大学,信息管理系 学士 工作经历 2015年10月至今 暨南大学,计算机科学系,教授 2016年12月至今 澳洲Griffith University, 客座教授 (Adjunct Professor) 2010年10月-2015年9月 暨南大学,计算机科学系,副教授 2007年7月-2010年9月 暨南大学,计算机科学系,讲师 2006年3月-9月 德国Brandenburg University of Technology Cottbus, 访问学者, 参与中德国际合作项目(DFG)研究。 2011年7月-8月 德国University of Trier,访问学者 参与中德国际合作项目(DFG)研究。 2014年11月-12月 澳洲Griffith University人工智能研究所,访问学者 参与澳洲国家科学基金(ARC)研究。 2015年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 2018 International Joint Conference on Neural Networks (IJCNN 2018),Jul 8, 2018- Jul 13, 2018, Rio, Brazil. [2]Xiangyu Luo, Lijun Wu, Qingliang Chen, et al: Symbolic model checking for discrete real-time systems, Science China Information Sciences, (2018) 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 2017: 351-360, Lecture Notes in Computer Science 10233, Springer Press, 2017. [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 (2016), 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 (2015), 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, 2012. 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, 2007. [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, 2006, 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, 2007. 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, 2005. 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, 2016 . [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, 2016 . [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 2015, Buenos Aires, Argentina, July 25-31, 2015. [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 2014: 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 2014: Trends in Artificial Intelligence - 13th Pacific Rim International Conference on Artificial Intelligence, Gold Coast, QLD, Australia, December 1-5, 2014. [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, 2010. [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, 2005. 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, 2005. ACM Press.

推荐链接
down
wechat
bug