Publications
2025
- 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) , 2025CCF B
- Language Model as Implicit Tree SearchIn Proceedings of the 41st International Conference on Machine Learning (ICML-2025) , 2025CCF A
- Improvements to the Generate-and-Complete Approach to Conformant PlanningIn Proceedings of the 34th International Joint Conference on Artificial Intelligence (IJCAI-2025) , 2025CCF A
- 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
- 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
- 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
- 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
- Explainable Exercise Recommendation with Knowledge GraphNeural Networks ,183 : 106954 , 2025CCF B
- 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
- 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
- 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
- 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
- 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
- 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
- Crowd Counting and Localization in Haze and RainIn Proceedings of 2024 IEEE Conference on Multimedia Expo (ICME-2024) ,4370-4379 , 2024CCF B
- Generating Privacy-preserving Educational Data Records with Diffusion ModelIn Proceedings of ACM Web Conference 2024 (WWW-2024) ,806-809 , 2024CCF A
- Multi-trend Conditional Value at Risk for Portfolio OptimizationIEEE Transactions on Neural Networks and Learning Systems ,35 (2) : 1545-1558 , 2024CCF B
- On the role of logical separability in knowledge compilationArtificial Intelligence ,328 : 104077 , 2024CCF A
- 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
- 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
- Cognitive Diagnosis Focusing on Knowledge ConceptsIn Proceedings of the 31st ACM International Conference on Information and Knowledge Management (CIKM-2022) ,3272-3281 , 2022CCF B
- 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
- Molecular substructure graph attention network for molecular property identification in drug discoveryPattern Recognition ,128 : 108659 , 2022CCF B
- Generalized Linear Integer Numeric PlanningIn Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS-2022) ,241-251 , 2022CCF B
- Knowledge Compilation Meets Logical SeparabilityIn Proceedings of the 36th AAAI Conference on Artificial Intelligence ,5851-5860 , 2022CCF A
2020
- 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
- Loss Control with Rank-one Covariance Estimate for Short-term Portfolio OptimizationJournal of Machine Learning Research ,21 : 1-37 , 2020CCF A
- 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
- 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
- Reweighted Price Relative Tracking System for Automatic Portfolio OptimizationIEEE Transactions on Systems, Man, and Cybernetics: Systems ,50 (11) : 4349-4361 , 2020CCF B
2019
- 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
- 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
- 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
- Forgetting in multi-agent modal logicsArtificial Intelligence ,266 : 51-80 , 2019CCF A
2018
- Short-term Sparse Portfolio Optimization Based on Alternating Direction Method of MultipliersJournal of Machine Learning Research ,19 (63) : 1-28 , 2018CCF A
- 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
- A kernel-based trend pattern tracking system for portfolio optimizationData Mining and Knowledge Discovery ,32 (6) : 1708-1734 , 2018CCF B
- Trend representation based log-density regularization system for portfolio optimizationPattern Recognition ,76 : 14-24 , 2018CCF B
- 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
- Forgetting in Multi-Agent Modal LogicsIn Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-2016) ,1066-1073 , 2016CCF A
2015
- 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
- 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
- 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
- Multiagent Knowledge and Belief Change in the Situation CalculusIn Proceedings of the 27th AAAI Conference on Artificial Intelligence ,304-312 , 2013CCF A