姜桂飞
所属部门: 软件工程系
电子邮件: G.Jiang@nankai.edu.cn
职 称: 副教授
学 历: 博士
所学专业: 计算机科学
研究方向: 知识表示与推理，算法博弈论，多智能体系统
个人简介
本人于2017年入职南开大学软件学院，2013年3月至2016年3月在澳大利亚联邦政府国际研究生奖学金 (IPRS & APA)资助下攻读西悉尼大学 (Western Sydney University) 与法国图卢兹第一大学 (University of Toulouse 1 Capitole) 计算机科学专业的双博士学位，师从 A/Prof. Dongmo Zhang 和 Prof. Laurent Perrussel。博士毕业后至2017年在法国图卢兹计算机科学研究所 (IRIT) 做博士后研究员。主要研究方向为人工智能，包括知识表示与推理，通用博弈策略 (General Game Playing)，多智能体系统，算法博弈论，计算社会选择。目前以第一作者或通讯作者在人工智能主要会议与期刊如 Artificial Intelligence，IJCAI, AAAI，AAMAS, ECAI, PRICAI, Journal of Computational Intelligence，Journal of Logic and Computation 等发表学术论文20余篇。
Guifei Jiang is an associate professor at Nankai University. She received a double PhD degree on Computer Science in 2016 from Western Sydney University and University of Toulouse under the support of scholarships "International Postgraduate Research Scholarship (IPRS)" from Australian Government also with Australian Postgraduate Award (APA). After graduation, she was a Postdoc at Toulouse Institute of Computer Science Research (IRIT). Her research interest includes Knowledge Representation & Reasoning, General Game Playing, Multi-Agent Systems, Strategic Reasoning, Preference and Judgment Aggregation. She has published more than twenty high quality research papers in AI conferences and journals such as Artificial Intelligence, IJCAI, AAAI, AAMAS, ECAI, Journal of Computational Intelligence,and Journal of Logic and Computation.
科研项目、成果、获奖、专利等情况
科研项目：
国家自然科学基金青年科学基金，61806102，面向通用博弈系统的策略表示与推理研究，2019/01-2021/12，结题，主持
中央高校基本科研业务费专项资金资助项目，面向通用智能系统的知识表示与策略推理研究，2018/01-2019/12，结题，主持
国家社科基金重大项目，17ZDA026，基于社交网络的信息流逻辑研究，2017，在研，骨干成员
国家社科基金重点项目，21AZX013，概率更新的动态认知逻辑研究, 2021，在研，骨干成员
获奖：
2019 天津市“131”创新型人才培养工程第三层次
2013. 03 – 2016. 03, 澳大利亚联邦政府国际研究生奖学金 (IPRS & APA)
2015. 12, 澳洲人工智能联合会议 (AI-2015) 最佳学生论文奖
Tutorials:
KR-18 Tutorial: From Game Description Language to Game Description Logics, 27 Oct 2018, Tempe, USA.
IJCAI-19 Tutorial: Game Description Language and Logics, 11 Aug 2019, Macao, China.
撰写论文、专著、教材等
Jiang, G., Perrussel, L.,Zhang, D., Zhang, H., Zhang, Y., Game equivalence and expressive power of game description languages: A bisimulation approach. Journal of Logic and Computation (CCF C), 2022.
Zhang, H., Jiang, G., Characterizing the Program Expressive Power of Existential Rule Languages. In Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI-2022, CCF A), 2022.
Liang, S., Jiang, G.(通讯作者), Zhang, Y., Combining M-MCTS and Deep Reinforcement Learning for General Game Playing. In Proceedings of the 3rd International Conference on Distributed Artificial Intelligence (DAI-2021), 2021.
Jiang, G., Zhang, D., Perrussel, L., and Zhang, H., Epistemic GDL: A Logic for Representing and Reasoning about Imperfect Information Games. Artif. Intell (AIJ, CCF A), 294: 103453, 2021.
Zhang, H., Zhang, Y., Jiang, G.(通讯作者), Model-theoretic Characterizations of Existential Rule Languages. In Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI-2020, CCF A), 2020.
Zhang, H., Zhang, Y., You, J., Feng, Z., Jiang, G.(通讯作者), Towards Universal Languages for Tractable Ontology Mediated Query Answering. In Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI-2020, CCF A), 2020.
Jiang, G., Perrussel, L.,Zhang, D., Zhang, H., Zhang, Y., Game Equivalence and Bisimulation for Game Description Language. In Proceedings of the 16th Pacific Rim International Conference on Artificial Intelligence (PRICAI-2019, CCF C), 2019.
Jiang, G., Perrussel, L.,Zhang, D., Zhang, H., Zhang, Y., Characterizing the Expressivity of Game Description Languages. In Proceedings of the 16th Pacific Rim International Conference on Artificial Intelligence (PRICAI-2019, CCF C), 2019.
Jiang, G., Zhang, D., Perrussel, L., A Hierarchical Approach to Judgment Aggregation with Abstentions. Computational Intelligence (CI, CCF C) , 34: 104–123. 2018.
Jiang, G., Perrussel, L., Zhang, D., On Axiomatization of Epistemic GDL. In Proceedings of the 6th International Conference on Logic, Rationality, and Interaction (LORI-2017), 2017.
Jiang, G., Zhang, D., Perrussel, L., and Zhang, H., Epistemic GDL: A Logic for Representing and Reasoning about Imperfect Information Games. In Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-2016, CCF A), 2016.
Jiang, G., Zhang, D., Perrussel, L., and Zhang, H., A Logic for Collective Choice. In Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2015, CCF B), 2015.
Jiang, G., Representing and Reasoning about Game Strategies. In Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2015, CCF B) (Doctoral Consortium), 2015.
Jiang, G., Zhang, D., Perrussel, L., Knowledge Sharing in Coalitions. In Proceedings of the 28th Australasian Joint Conference on Artificial Intelligence (AI-2015), 2015.
Jiang, G., Zhang, D., Perrussel, L., GDL Meets ATL: A Logic for Game Description and Strategic Reasoning. In Proceedings of the 13th Pacific Rim International Conference on Artificial Intelligence (PRICAI-2014, CCF C), 2014.
Jiang, G., Zhang, D., Perrussel, L., Judgment Aggregation with Abstentions under Voters Hierarchy. In Proceedings of 17th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA-2014), 2014.
Lorini, E., Jiang, G., Perrussel, L., Trust-based Belief Change. In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI-2014, CCF B), 2014.
Jiang, G., Zhang, D., Tang, X., Judgment Aggregation with Abstentions: A Hierarchical Approach. In Proceedings of 4th International Conference on Logic, Rationality, and Interaction (LORI-2013), 2013.
姜桂飞, 唐晓嘉: 基于直觉主义逻辑的隐偏好分析. 《逻辑学研究》, 2012, 5(2):88-104. (2013年01期人大复印资料 《逻辑》全文转载).
社会兼职
程序委员会委员 IJCAI2016-2022，AAAI2016-2022，ECAI-2019， AAMAS-2021，PRICAI-2021，2022, DAI-2021, LORI-2019
评审人 JAIR, Journal of Logic and Computation，Frontiers of Computer Science, 逻辑学研究
特邀评论员 Mathematical Reviews
当地组织者 COMSOC-2016
