| 个人信息 |
| 姓名： 方良达 部门： 网络空间安全学院 性别： 男 职务： 无 职称： 副教授 学位： 博士 毕业院校： 中山大学 电子邮箱： fangld@jnu.edu.cn 办公地址： 南海楼420 |
|
|
| 个人简介 方良达长期在人工智能领域进行研究，并在该领域共发表了20篇论文，其中计算机学会推荐A类论文13篇，第一作者或通讯作者10篇，论文发表在AIJ、JMLR、AAAI和IJCAI上；计算机学会推荐B类论文7篇，第一作者或通讯作者5篇，论文发表在DMKD、PR、AAMAS、KR、ICAPS和ICCAD上。 学习经历 2011/09-2015/12，中山大学，计算机软件与理论，博士，导师：刘咏梅教授 2007/09-2010/06，广东工业大学，计算机系统结构，硕士，导师：余永权教授 2003/09-2007/06，广州大学，计算机科学与技术，本科 工作经历 2016/02-2018/9，暨南大学，讲师 2017/11-2017/12，香港科技大学，计算机科学系，访问学者，合作导师：林方真教授 2017/01-2017/02，格里菲斯大学，ASIT研究小组，访问学者，合作导师：王克文教授 2016/03-2016/04，浙江大学，人文学院，访问学者，合作导师：王轶、Hans van Ditmarsch 2014/09-2014/11，洛林计算机科学研究与应用实验室，CELLO研究小组，访问学生，合作导师：Hans van Ditmarsch 研究方向 人工智能、机器学习 招收对象：有志于未来从事人工智能方向的硕士研究生和保研本科生 学生要求：坚持努力、追求卓越 主要论文 *: Corresponding author [1] Xiaoyou Lin, Qingliang Chen, Liangda Fang*, Quanlong Guan*, Weiqi Luo, Kaile Su. Generalized Linear Integer Numeric Planning. In Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS-2022), Accepted. (CCF B) [2] Junming Qiu, Wenqing Li, Zhanhao Xiao, Quanlong Guan*, Liangda Fang*, Zhao-Rong Lai, Qian Dong. Knowledge Compilation Meets Logical Separability. In Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI-2022), Accepted. (CCF A) [3] Xuanxiang Huang, Haipeng Che, Liangda Fang*, Qingliang Chen, Quanlong Guan, Yuhui Deng, Kaile Su. Dynamic Minimization of Bi-Kronecker Functional Decision Diagrams. In Proceedings of 2020 IEEE/ACM International Conference on Computer Aided Design (ICCAD-2020). (CCF B) [4] Zhao-Rong Lai, Liming Tan, Xiaotian Wu, Liangda Fang. Loss Control with Rank-one Covariance Estimate for Short-term Portfolio Optimization. Journal of Machine Learning Research, 21: 1-37, 2020. (CCF A) [5] Kaisheng Wu, Liangda Fang*, Liping Xiong, Zhao-Rong Lai, Yong Qiao, Kaidong Chen, Fei Rong. Automatic Synthesis of Generalized Winning Strategies of Impartial Combinatorial Games Using SMT Solvers. In Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI-2020), 1703-1711. (CCF A) [6] Kaisheng Wu, Yong Qiao, Kaidong Chen, Fei Rong, Liangda Fang*, Zhao-Rong Lai, Qian Dong, Liping Xiong. Automatic Synthesis of Generalized Winning Strategies of Impartial Combinatorial Games. In Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2020), 2041-2043. (CCF B) [7] Liangda Fang, Biqing Fang, Hai Wan*, Zeqi Zheng, Liang Chang, Quan Yu. Tagged Sentential Decision Diagrams: Combining Standard and Zero-suppressed Compression and Trimming Rules. In Proceedings of 2019 IEEE/ACM International Conference on Computer Aided Design (ICCAD-2019). (CCF B) [8] Liangda Fang, Kewen Wang, Zhe Wang, Ximing Wen. Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability. In Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI-2019), 2817-2826. (CCF A) [9] Xuanxiang Huang, Kehang Fang, Liangda Fang*, Qingliang Chen, Zhao-Rong Lai, Linfeng Wei. Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions. In Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI-2019), 2867-2875. (CCF A) [10] Liangda Fang, Yongmei Liu*, Hans van Ditmarsch. Forgetting in multi-agent modal logics. Artificial Intelligence, 266: 51-80, 2019. (CCF A) [11] Zhao-Rong Lai, Pei-Yi Yang, Liangda Fang, Xiaotian Wu. Short-term Sparse Portfolio Optimization Based on Alternating Direction Method of Multipliers. Journal of Machine Learning Research, 19(63):1-28, 2018. (CCF A) [12] Liangda Fang, Kewen Wang, Zhe Wang, Ximing Wen. Knowledge Compilation in the Multi-Agent Epistemic Logic Kn. In Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoninge (KR-2018), 637-638. (CCF B) [13] Zhao-Rong Lai, Pei-Yi Yang, Xiaotian Wu, Liangda Fang. A kernel-based trend pattern tracking system for portfolio optimization. Data Mining and Knowledge Discovery, 32(6): 1708-1734, 2018. (CCF B) [14] Pei-Yi Yang, Zhao-Rong Lai#, Xiaotian Wu, Liangda Fang. Trend representation based log-density regularization system for portfolio optimization. Pattern Recognition, 76: 14-24, 2018. (CCF B) [15] Liangda Fang, Hai Wan, Xianqiao Liu, Biqing Fang, Zhaorong Lai. Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting – Application to Belief Update and Conservative Extension. In Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI-2018), 1835-1844. (CCF A) [16] Liangda Fang, Yongemei Liu, Hans van Ditmarsch. Forgetting in Multi-Agent Modal Logics. In Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-2016), 1066-1073. (CCF A) [17] Liangda Fang, Yongmei Liu, Ximing Wen. On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI-2015), 2955-2963. (CCF A) [18] Hai Wan, Rui Yang*, Liangda Fang, Yongmei Liu, Huada Xu. A Complete Epistemic Planner without the Epistemic Closed World Assumption. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI-2015), 3257-3263. (CCF A) [19] Liangda Fang. High-Level Program Execution in Multi-Agent Settings. In Proceedings of the 23rd International Joint Conference on Artificial Intelligence Doctoral Consortium Program (IJCAI-2013 DC), 3213-3214. (CCF A) [20] Liangda Fang, Yongmei Liu. Multiagent Knowledge and Belief Change in the Situation Calculus. In Proceedings of the 27th AAAI Conference on Artificial Intelligence (AAAI-2013), 304-312. (CCF A) 承担课题 [1] 国家自然科学基金（青年科学基金项目），多智能体模态逻辑中的遗忘理论及其应用，2017/01-2019/12，已结题，主持 [2] 广东省自然科学基金面上项目，命题逻辑中的高效范式研究及其在自动规划领域的应用，2021/01-2023/12，在研，主持 [3] 广州市科技计划项目, 基于知识编译的多智能体认知逻辑的关键推理问题, 2021/03-2023/04，在研，主持 讲授课程 1. 数理逻辑（博士课程）（2017年春季、2017-2018年秋季） 2. 计算数学（博士课程）（2019年秋季） 3. 计算机科学中的数理逻辑（硕士课程）（2017年春季、2018-2019年秋季） 4. 数值分析基础/数值计算 （2016-2019年秋季） 5. 分布式计算（2017年春季） |
