| A general multi-agent epistemic planner based on higher-order belief change H Wan, B Fang, Y Liu Artificial Intelligence 301 (Epistemic Planning), 103562, 2021 | 66 | 2021 |
| An efficient two-phase method for prime compilation of non-clausal boolean formulae W Luo, H Want, H Zhong, O Wei, B Fang, X Song 2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 1-9, 2021 | 5 | 2021 |
| Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting–Application to Belief Update and Conservative Extension L Fang, H Wan, X Liu, B Fang, Z Lai Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018 | 5 | 2018 |
| Tagged Sentential Decision Diagrams: Combining Standard and Zero-suppressed Compression and Trimming Rules L Fang, B Fang, H Wan, Z Zheng, L Chang, Q Yu 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2019 | 4 | 2019 |
| Improving local search algorithms via probabilistic configuration checking W Luo, R Ye, H Wan, S Cai, B Fang, D Zhang Proceedings of the AAAI conference on artificial intelligence 36 (9), 10283 …, 2022 | 3 | 2022 |
| Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification H Zhong, H Wan, W Luo, Z Xiao, J Li, B Fang 2020 27th Asia-Pacific Software Engineering Conference (APSEC), 286-295, 2020 | 1 | 2020 |
| Heuristic Strategies for Accelerating Multi-Agent Epistemic Planning B Fang, F Lin Proceedings of the International Conference on Principles of Knowledge …, 2024 | | 2024 |
| A general multi-agent epistemic planner based on higher-order belief change X Huang, B Fang, H Wan, Y Liu Proceedings of the 26th International Joint Conference on Artificial …, 2017 | | 2017 |
Liangda FangJinan University在 jnu.edu.cn 的电子邮件经过验证
Liangda FangJinan University在 jnu.edu.cn 的电子邮件经过验证