暨大计算机科学技术系,陈清亮 - 暨南大学 - 信息科学技术学院/网络空间安全学院...

最新推荐文章于 2023-01-31 16:48:56 发布

weixin_39650091

最新推荐文章于 2023-01-31 16:48:56 发布

阅读量745

点赞数

文章标签：暨大计算机科学技术系

个人简介

教育背景

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)研究

个人简介

教育背景

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.