Publications
2026
- 1. KMER: A Heterogeneous Multimodal Benchmark for Knowledge-Conditioned Educational ReasoningIn Proceedings of the 26th IEEE International Conference on Data Mining (ICDM-2026) , 2026CCF B
- 2. Mitigating Evidence Suppression: Bi-level Active Injection for Educational Video UnderstandingIn Proceedings of the 49th International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR-2026) , 2026CCF A
- 3. Text-Guided Zero-Shot Image DehazingIn Proceedings of the IEEE International Conference on Multimedia & Expo 2026 (ICME-2026) , 2026CCF B
- 4. 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
- 5. Membrane Potential Perturbation Dynamic Is Total VariationIn Proceedings of the 14th International Conference on Learning Representations (ICLR-2026) , 2026CCF A
- 6. l1 Latent Distance based Continuous-time Graph RepresentationIn Proceedings of the 14th International Conference on Learning Representations (ICLR-2026) , 2026CCF A
- 7. Dynamic Comprehensive Difficulty Knowledge Cells Based on KAN Network and Stable Learning for Knowledge TracingNeural Networks ,197 : 108514 , 2026CCF B
- 8. 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
- 9. 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
- 10. Language Model as Implicit Tree SearchIn Proceedings of the 41st International Conference on Machine Learning (ICML-2025) ,740-749 , 2025CCF A
- 11. 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
- 12. 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
- 13. 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
- 14. 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
- 15. 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
- 16. Explainable Exercise Recommendation with Knowledge GraphNeural Networks ,183 : 106954 , 2025CCF B
- 17. 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
- 18. 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
- 19. 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
- 20. 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
- 21. 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
- 22. 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
- 23. Crowd Counting and Localization in Haze and RainIn Proceedings of 2024 IEEE Conference on Multimedia Expo (ICME-2024) ,4370-4379 , 2024CCF B
- 24. Generating Privacy-preserving Educational Data Records with Diffusion ModelIn Proceedings of ACM Web Conference 2024 (WWW-2024) ,806-809 , 2024CCF A
- 25. Multi-trend Conditional Value at Risk for Portfolio OptimizationIEEE Transactions on Neural Networks and Learning Systems ,35 (2) : 1545-1558 , 2024CCF B
- 26. On the role of logical separability in knowledge compilationArtificial Intelligence ,328 : 104077 , 2024CCF A
- 27. 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
- 28. 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
- 29. Cognitive Diagnosis Focusing on Knowledge ConceptsIn Proceedings of the 31st ACM International Conference on Information and Knowledge Management (CIKM-2022) ,3272-3281 , 2022CCF B
- 30. 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
- 31. Molecular substructure graph attention network for molecular property identification in drug discoveryPattern Recognition ,128 : 108659 , 2022CCF B
- 32. Generalized Linear Integer Numeric PlanningIn Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS-2022) ,241-251 , 2022CCF B
- 33. Knowledge Compilation Meets Logical SeparabilityIn Proceedings of the 36th AAAI Conference on Artificial Intelligence ,5851-5860 , 2022CCF A
2020
- 34. 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
- 35. Loss Control with Rank-one Covariance Estimate for Short-term Portfolio OptimizationJournal of Machine Learning Research ,21 : 1-37 , 2020CCF A
- 36. 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
- 37. 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
- 38. Reweighted Price Relative Tracking System for Automatic Portfolio OptimizationIEEE Transactions on Systems, Man, and Cybernetics: Systems ,50 (11) : 4349-4361 , 2020CCF B
2019
- 39. 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
- 40. 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
- 41. 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
- 42. Forgetting in multi-agent modal logicsArtificial Intelligence ,266 : 51-80 , 2019CCF A
2018
- 43. Short-term Sparse Portfolio Optimization Based on Alternating Direction Method of MultipliersJournal of Machine Learning Research ,19 (63) : 1-28 , 2018CCF A
- 44. 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
- 45. A kernel-based trend pattern tracking system for portfolio optimizationData Mining and Knowledge Discovery ,32 (6) : 1708-1734 , 2018CCF B
- 46. Trend representation based log-density regularization system for portfolio optimizationPattern Recognition ,76 : 14-24 , 2018CCF B
- 47. 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
- 48. Forgetting in Multi-Agent Modal LogicsIn Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-2016) ,1066-1073 , 2016CCF A
2015
- 49. 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
- 50. 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
- 51. 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
- 52. Multiagent Knowledge and Belief Change in the Situation CalculusIn Proceedings of the 27th AAAI Conference on Artificial Intelligence ,304-312 , 2013CCF A