Publications
2026
- 1. Text-Guided Zero-Shot Image DehazingIn Proceedings of the IEEE International Conference on Multimedia & Expo 2026 (ICME-2026) , 2026CCF B
- 2. Vocabulary Scaling Law: Tuning Open-vocabulary Predictors for Their OpennessIn Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition 2026 (CVPR-2026) , 2026CCF A
- 3. Membrane Potential Perturbation Dynamic Is Total VariationIn Proceedings of the 14th International Conference on Learning Representations (ICLR-2026) , 2026CCF A
- 4. l1 Latent Distance based Continuous-time Graph RepresentationIn Proceedings of the 14th International Conference on Learning Representations (ICLR-2026) , 2026CCF A
- 5. Dynamic Comprehensive Difficulty Knowledge Cells Based on KAN Network and Stable Learning for Knowledge TracingNeural Networks ,197 : 108514 , 2026CCF B
- 6. GraphRAG-Induced Dual Knowledge Structure Graphs for Personalized Learning Path RecommendationIn Proceedings of the 40th AAAI Conference on Artificial Intelligence (AAAI-2026) ,197 : 108514 , 2026CCF A
2025
- 7. PERC: A Prior-Guided Framework for Classifying Long-Content Educational Resources with Imbalanced Category DistributionsIn Proceedings of the 34th Conference on Information and Knowledge Management (CIKM-2025) ,740-749 , 2025CCF B
- 8. Language Model as Implicit Tree SearchIn Proceedings of the 41st International Conference on Machine Learning (ICML-2025) ,740-749 , 2025CCF A
- 9. Improvements to the Generate-and-Complete Approach to Conformant PlanningIn Proceedings of the 34th International Joint Conference on Artificial Intelligence (IJCAI-2025) ,8500-8509 , 2025CCF A
- 10. NR4DER: Neural Re-ranking for Diversified Exercise RecommendationIn Proceedings of the 48th International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR-2025) ,1738-1747 , 2025CCF A
- 11. Automatic Verification of Linear Integer Planning Programs via Forgetting in LIAUPFIn Proceedings of the 24th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2025) ,722-730 , 2025CCF B
- 12. A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation CalculusIn Proceedings of the 39th AAAI Conference on Artificial Intelligence (AAAI-2025) ,14911-14921 , 2025CCF A
- 13. De-singularity Subgradient for the q-th-Powered lp-Norm Weber Location ProblemIn Proceedings of the 39th AAAI Conference on Artificial Intelligence (AAAI-2025) ,18026-18034 , 2025CCF A
- 14. Explainable Exercise Recommendation with Knowledge GraphNeural Networks ,183 : 106954 , 2025CCF B
- 15. KVFKT: A New Horizon in Knowledge Tracing with Attention-Based Embedding and Forgetting Curve IntegrationIn Proceedings of the 31st International Conference on Computational Linguistics (COLING-2025) ,4399-4409 , 2025CCF B
2024
- 16. Exact Computation of Network Reliability with Sentential Decision DiagramsIn Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering (ISSRE-2024) ,617-628 , 2024CCF B
- 17. Reason-and-Execute Prompting: Enhancing MultiModal Large Language Models for Solving Geometry QuestionsIn Proceedings of the 32nd ACM International Conference on Multimedia ,6959-6968 , 2024CCF A
- 18. On the Logic of Theory Change Iteration of KM-Update, RevisedIn Proceedings of the 33rd International Joint Conference on Artificial Intelligence (IJCAI-2024) ,3351-3359 , 2024CCF A
- 19. A Multi-Valued Decision Diagram-Based Approach to Constrained Optimal Path Problems over Directed Acyclic GraphsIn Proceedings of the 33rd International Joint Conference on Artificial Intelligence (IJCAI-2024) ,1979-1988 , 2024CCF A
- 20. A De-singularity Subgradient Approach for the Extended Weber Location ProblemIn Proceedings of the 33rd International Joint Conference on Artificial Intelligence (IJCAI-2024) ,4370-4379 , 2024CCF A
- 21. Crowd Counting and Localization in Haze and RainIn Proceedings of 2024 IEEE Conference on Multimedia Expo (ICME-2024) ,4370-4379 , 2024CCF B
- 22. Generating Privacy-preserving Educational Data Records with Diffusion ModelIn Proceedings of ACM Web Conference 2024 (WWW-2024) ,806-809 , 2024CCF A
- 23. Multi-trend Conditional Value at Risk for Portfolio OptimizationIEEE Transactions on Neural Networks and Learning Systems ,35 (2) : 1545-1558 , 2024CCF B
- 24. On the role of logical separability in knowledge compilationArtificial Intelligence ,328 : 104077 , 2024CCF A
- 25. Generalized Strategy Synthesis of Infinite-State Impartial Combinatorial Games via Exact Binary ClassificationIn Proceedings of the 23rd International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2024) ,562-570 , 2024CCF B
2023
- 26. KG4Ex: An Explainable Knowledge Graph-Based Approach for Exercise RecommendationIn Proceedings of the 32nd ACM International Conference on Information and Knowledge Management (CIKM-2023) ,597-607 , 2023CCF B
2022
- 27. Cognitive Diagnosis Focusing on Knowledge ConceptsIn Proceedings of the 31st ACM International Conference on Information and Knowledge Management (CIKM-2022) ,3272-3281 , 2022CCF B
- 28. Knowledge Tracing Model with Learning and Forgetting BehaviorIn Proceedings of the 31st ACM International Conference on Information and Knowledge Management (CIKM-2022) ,3863-3867 , 2022CCF B
- 29. Molecular substructure graph attention network for molecular property identification in drug discoveryPattern Recognition ,128 : 108659 , 2022CCF B
- 30. Generalized Linear Integer Numeric PlanningIn Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS-2022) ,241-251 , 2022CCF B
- 31. Knowledge Compilation Meets Logical SeparabilityIn Proceedings of the 36th AAAI Conference on Artificial Intelligence ,5851-5860 , 2022CCF A
2020
- 32. Dynamic Minimization of Bi-Kronecker Functional Decision DiagramsIn Proceedings of 2020 IEEE/ACM International Conference on Computer Aided Design (ICCAD-2020) ,5851-5860 , 2020CCF B
- 33. Loss Control with Rank-one Covariance Estimate for Short-term Portfolio OptimizationJournal of Machine Learning Research ,21 : 1-37 , 2020CCF A
- 34. Automatic Synthesis of Generalized Winning Strategies of Impartial Combinatorial Games Using SMT SolversIn Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI-2020) ,1703-1711 , 2020CCF A
- 35. Automatic Synthesis of Generalized Winning Strategies of Impartial Combinatorial GamesIn Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2020) ,2041-2043 , 2020CCF B
- 36. Reweighted Price Relative Tracking System for Automatic Portfolio OptimizationIEEE Transactions on Systems, Man, and Cybernetics: Systems ,50 (11) : 4349-4361 , 2020CCF B
2019
- 37. Tagged Sentential Decision Diagrams: Combining Standard and Zero-suppressed Compression and Trimming RulesIn Proceedings of 2019 IEEE/ACM International Conference on Computer Aided Design (ICCAD-2019) ,50 (11) : 4349-4361 , 2019CCF B
- 38. Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical SeparabilityIn Proceedings of the 33rd AAAI Conference on Artificial Intelligence ,2817-2826 , 2019CCF A
- 39. Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean FunctionsIn Proceedings of the 33rd AAAI Conference on Artificial Intelligence ,2867-2875 , 2019CCF A
- 40. Forgetting in multi-agent modal logicsArtificial Intelligence ,266 : 51-80 , 2019CCF A
2018
- 41. Short-term Sparse Portfolio Optimization Based on Alternating Direction Method of MultipliersJournal of Machine Learning Research ,19 (63) : 1-28 , 2018CCF A
- 42. Knowledge Compilation in the Multi-Agent Epistemic Logic KnIn Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR) ,637-638 , 2018CCF B
- 43. A kernel-based trend pattern tracking system for portfolio optimizationData Mining and Knowledge Discovery ,32 (6) : 1708-1734 , 2018CCF B
- 44. Trend representation based log-density regularization system for portfolio optimizationPattern Recognition ,76 : 14-24 , 2018CCF B
- 45. Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting - Application to Belief Update and Conservative ExtensionIn Proceedings of the 32nd AAAI Conference on Artificial Intelligence ,1835-1844 , 2018CCF A
2016
- 46. Forgetting in Multi-Agent Modal LogicsIn Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-2016) ,1066-1073 , 2016CCF A
2015
- 47. On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation CalculusIn Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI-2015) ,2955-2963 , 2015CCF A
- 48. A Complete Epistemic Planner without the Epistemic Closed World AssumptionIn Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI-2015) ,3257-3263 , 2015CCF A
2013
- 49. High-Level Program Execution in Multi-Agent SettingsIn Proceedings of the 23rd International Joint Conference on Artificial Intelligence Doctoral Consortium Program ,3213-3214 , 2013CCF A
- 50. Multiagent Knowledge and Belief Change in the Situation CalculusIn Proceedings of the 27th AAAI Conference on Artificial Intelligence ,304-312 , 2013CCF A