个人简介
教育背景
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.
近期论文
[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.
扫一扫
3228
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
