2025
Improving local search algorithms for clique relaxation problems via group driven initialization.
Frontiers Comput. Sci., June, 2025
PBCounter: weighted model counting on pseudo-boolean formulas.
Frontiers Comput. Sci., March, 2025
A comprehensive survey of UPPAAL-assisted formal modeling and verification.
Softw. Pract. Exp., 2025
Accelerating influence through communities: A scalable approach for maximizing budgeted influence in large-scale networks.
Expert Syst. Appl., 2025
DMHGNN: Double multi-view heterogeneous graph neural network framework for drug-target interaction prediction.
Artif. Intell. Medicine, 2025
2024
An improved deep hashing model for image retrieval with binary code similarities.
J. Big Data, December, 2024
Reliable and Energy-Efficient Communications via Collaborative Beamforming for UAV Networks.
IEEE Trans. Wirel. Commun., October, 2024
A frequency and two-hop configuration checking-driven local search algorithm for the minimum weakly connected dominating set problem.
Neural Comput. Appl., August, 2024
Multiobjective Optimization Approach for Reducing Hovering and Motion Energy Consumptions in UAV-Assisted Collaborative Beamforming.
IEEE Internet Things J., February, 2024
AestheNet: Revolutionizing Aesthetic Perception Diagnosis in Education With Hybrid Deep Nets.
IEEE Trans. Learn. Technol., 2024
Unleashing ChatGPT's Power: A Case Study on Optimizing Information Retrieval in Flipped Classrooms via Prompt Engineering.
IEEE Trans. Learn. Technol., 2024
A Survey of Knowledge Tracing: Models, Variants, and Applications.
IEEE Trans. Learn. Technol., 2024
Hierarchical Hypergraph Learning in Association- Weighted Heterogeneous Network for miRNA- Disease Association Identification.
IEEE ACM Trans. Comput. Biol. Bioinform., 2024
An enhanced sparrow search swarm optimizer via multi-strategies for high-dimensional optimization problems.
Swarm Evol. Comput., 2024
Ensuring reliability in electronic examinations through UPPAAL-based trustworthy design.
PeerJ Comput. Sci., 2024
A local search algorithm with movement gap and adaptive configuration checking for the maximum weighted s-plex problem.
Eng. Appl. Artif. Intell., 2024
Finding and exploring promising search space for The 0-1 Multidimensional Knapsack Problem.
Appl. Soft Comput., 2024
LatentArtiFusion: An Effective and Efficient Histological Artifacts Restoration Framework.
Proceedings of the Deep Generative Models - 4th MICCAI Workshop, 2024
Hierarchical Reinforcement Learning for Point of Interest Recommendation.
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
Nukplex: An Efficient Local Search Algorithm for Maximum K-Plex Problem.
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
Hierarchical Reinforcement Learning on Multi-Channel Hypergraph Neural Network for Course Recommendation.
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
IBD-SLAM: Learning Image-Based Depth Fusion for Generalizable SLAM.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024
Spatial-Temporal Interplay in Human Mobility: A Hierarchical Reinforcement Learning Approach with Hypergraph Representation.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
MRMLREC: A Two-Stage Approach for Addressing Data Sparsity in MOOC Video Recommendation (Student Abstract).
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
Enhance Diversified Top-k MaxSAT Solving by Incorporating New Strategy for Generating Diversified Initial Assignments (Student Abstract).
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
A new local search algorithm with greedy crossover restart for the dominating tree problem.
Expert Syst. Appl., November, 2023
An improved master-apprentice evolutionary algorithm for minimum independent dominating set problem.
Frontiers Comput. Sci., August, 2023
An efficient local search algorithm for minimum positive influence dominating set problem.
Comput. Oper. Res., June, 2023
On solving simplified diversified top-k s-plex problem.
Comput. Oper. Res., May, 2023
Which courses to choose? recommending courses to groups of students in online tutoring platforms.
Appl. Intell., May, 2023
A greedy randomized adaptive search procedure (GRASP) for minimum weakly connected dominating set problem.
Expert Syst. Appl., April, 2023
AMHMDA: attention aware multi-view similarity networks and hypergraph learning for miRNA-disease associations identification.
Briefings Bioinform., March, 2023
Multi-view contrastive heterogeneous graph attention network for lncRNA-disease association prediction.
Briefings Bioinform., January, 2023
Reinforced Explainable Knowledge Concept Recommendation in MOOCs.
ACM Trans. Intell. Syst. Technol., 2023
A Counterfactual Collaborative Session-based Recommender System.
CoRR, 2023
A master-apprentice evolutionary algorithm for maximum weighted set K-covering problem.
Appl. Intell., 2023
Improved local search for the minimum weight dominating set problem in massive graphs by using a deep optimization mechanism.
Artif. Intell., 2023
A Counterfactual Collaborative Session-based Recommender System.
Proceedings of the ACM Web Conference 2023, 2023
LS-DTKMS: A Local Search Algorithm for Diversified Top-k MaxSAT Problem.
Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023
OTFS Transmission Assisted USV Environment Awareness in Satellites-denied Scenario.
Proceedings of the IEEE/CIC International Conference on Communications in China, 2023
Improving Local Search for Pseudo Boolean Optimization by Fragile Scoring Function and Deep Optimization.
Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023
Multi-View MOOC Quality Evaluation via Information-Aware Graph Representation Learning.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
SSKM_Succ: A Novel Succinylation Sites Prediction Method Incorporating K-Means Clustering With a New Semi-Supervised Learning Algorithm.
IEEE ACM Trans. Comput. Biol. Bioinform., 2022
An Argentine ant system algorithm for partial set covering problem.
Data Technol. Appl., 2022
Combining max-min ant system with effective local search for solving the maximum set k-covering problem.
Knowl. Based Syst., 2022
Improving local search for the weighted sum coloring problem using the branch-and-bound algorithm.
Knowl. Based Syst., 2022
A restart local search algorithm with relaxed configuration checking strategy for the minimum k-dominating set problem.
Knowl. Based Syst., 2022
Modelling and solving the supply marketing order allocation problem with time consistency and bundle discounts.
J. Oper. Res. Soc., 2022
A restart local search algorithm with Tabu method for the minimum weighted connected dominating set problem.
J. Oper. Res. Soc., 2022
Solving multi-objective constrained minimum weighted bipartite assignment problem: a case study on energy-aware radio broadcast scheduling.
Sci. China Inf. Sci., 2022
Heterogeneous graph attention network based on meta-paths for lncRNA-disease association prediction.
Briefings Bioinform., 2022
Identifying drug-target interactions via heterogeneous graph attention networks combined with cross-modal similarities.
Briefings Bioinform., 2022
AllSATCC: Boosting AllSAT Solving with Efficient Component Analysis.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
HEA-D: A Hybrid Evolutionary Algorithm for Diversified Top-k Weight Clique Search Problem.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Streaming Traffic Flow Prediction Based on Continuous Reinforcement Learning.
Proceedings of the IEEE International Conference on Data Mining Workshops, 2022
A Portfolio-Based Approach to Select Efficient Variable Ordering Heuristics for Constraint Satisfaction Problems.
Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022
A Fast Local Search Algorithm for the Latin Square Completion Problem.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
NukCP: An Improved Local Search Algorithm for Maximum k-Club Problem.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
A Hybrid Evolutionary Algorithm for the Diversified Top-k Weight Clique Search Problem (Student Abstract).
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
An Exact Algorithm with New Upper Bounds for the Maximum k-Defective Clique Problem in Massive Sparse Graphs.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
Attribute-aware deep attentive recommendation.
J. Supercomput., 2021
MHRWR: Prediction of lncRNA-Disease Associations Based on Multiple Heterogeneous Networks.
IEEE ACM Trans. Comput. Biol. Bioinform., 2021
A novel two-model local search algorithm with a self-adaptive parameter for clique partitioning problem.
Neural Comput. Appl., 2021
A tensor decomposition based collaborative filtering algorithm for time-aware POI recommendation in LBSN.
Multim. Tools Appl., 2021
An improved configuration checking-based algorithm for the unicost set covering problem.
Eur. J. Oper. Res., 2021
Local search for weighted sum coloring problem.
Appl. Soft Comput., 2021
Towards efficient local search for the minimum total dominating set problem.
Appl. Intell., 2021
EduHawkes: A Neural Hawkes Process Approach for Online Study Behavior Modeling.
Proceedings of the 2021 SIAM International Conference on Data Mining, 2021
Failure Based Variable Ordering Heuristics for Solving CSPs (Short Paper).
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021
Heterogeneous Graph Convolutional Network integrates Multi-modal Similarities for Drug-Target Interaction Prediction.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2021
Local Search for Diversified Top-k s-plex Search Problem (Student Abstract).
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
NuQClq: An Effective Local Search Algorithm for Maximum Quasi-Clique Problem.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
Deep learning for heterogeneous medical data analysis.
World Wide Web, 2020
Adaptive Weighted Finite Mixture Model: Identifying the Feature-Influence of Real Estate.
Trans. Data Sci., 2020
Deep Plot-Aware Generalized Matrix Factorization for Collaborative Filtering.
Neural Process. Lett., 2020
NuMWVC: A novel local search for minimum weighted vertex cover problem.
J. Oper. Res. Soc., 2020
EDock: blind protein-ligand docking by replica-exchange monte carlo simulation.
J. Cheminformatics, 2020
A local search algorithm with reinforcement learning based repair procedure for minimum weight independent dominating set.
Inf. Sci., 2020
An enhanced genetic algorithm for the distributed assembly permutation flowshop scheduling problem.
Int. J. Bio Inspired Comput., 2020
On combining variable ordering heuristics for constraint satisfaction problems.
J. Heuristics, 2020
Local search for diversified Top-<i>k</i> clique search problem.
Comput. Oper. Res., 2020
A decomposition-based memetic algorithm using helper objectives for shortwave radio broadcast resource allocation problem in China.
Appl. Soft Comput., 2020
A two phase removing algorithm for minimum independent dominating set problem.
Appl. Soft Comput., 2020
SCCWalk: An efficient local search algorithm and its improvements for maximum weight clique problem.
Artif. Intell., 2020
An Integrated Method to Build Read-Aiding E-Books Based on Text Mining and Interactive Aesthetics.
Proceedings of the JCDL '20: Proceedings of the ACM/IEEE Joint Conference on Digital Libraries in 2020, 2020
Simplifying Reinforced Feature Selection via Restructured Choice Strategy of Single Agent.
Proceedings of the 20th IEEE International Conference on Data Mining, 2020
Disentangled Non-local Neural Networks.
Proceedings of the Computer Vision - ECCV 2020, 2020
Partial Relationship Aware Influence Diffusion via a Multi-channel Encoding Scheme for Social Recommendation.
Proceedings of the CIKM '20: The 29th ACM International Conference on Information and Knowledge Management, 2020
Contention-Aware Mapping and Scheduling Optimization for NoC-Based MPSoCs.
Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020
Contention-Aware Mapping and Scheduling Optimization for NoC-Based MPSoCs (Student Abstract).
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
Reduction and Local Search for Weighted Graph Coloring Problem.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
Finding Good Subtrees for Constraint Optimization Problems Using Frequent Pattern Mining.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
Saving constraint checks in maintaining coarse-grained generalized arc consistency.
Neural Comput. Appl., 2019
A survey of sentiment analysis in social media.
Knowl. Inf. Syst., 2019
MLQCC: an improved local search algorithm for the set k-covering problem.
Int. Trans. Oper. Res., 2019
Hybrid cuckoo search algorithm with covariance matrix adaption evolution strategy for global optimisation problem.
Int. J. Bio Inspired Comput., 2019
On blockwise symmetric matchgate signatures and higher domain #CSP.
Inf. Comput., 2019
On the Mathematical Understanding of ResNet with Feynman Path Integral.
CoRR, 2019
An Exact Algorithm for Minimum Weight Vertex Cover Problem in Large Graphs.
CoRR, 2019
An Improved Memetic Algorithm for the Partial Vertex Cover Problem.
IEEE Access, 2019
A Mimic Learning Method for Disease Risk Prediction with Incomplete Initial Data.
Proceedings of the Database Systems for Advanced Applications, 2019
Finding the Key Influences on the House Price by Finite Mixture Model Based on the Real Estate Data in Changchun.
Proceedings of the Database Systems for Advanced Applications, 2019
2018
A restart local search algorithm for solving maximum set k-covering problem.
Neural Comput. Appl., 2018
A memetic algorithm for minimum independent dominating set problem.
Neural Comput. Appl., 2018
A hybrid metaheuristic algorithm for generalized vertex cover problem.
Memetic Comput., 2018
A novel local search algorithm for the minimum capacitated dominating set.
J. Oper. Res. Soc., 2018
New heuristic approaches for maximum balanced biclique problem.
Inf. Sci., 2018
General and Species-Specific Lysine Acetylation Site Prediction Using a Bi-Modal Deep Architecture.
IEEE Access, 2018
An Efficient Local Search for the Maximum Edge Weighted Clique Problem.
IEEE Access, 2018
An Efficient Local Search Algorithm for the Minimum k-Dominating Set Problem.
IEEE Access, 2018
Binary Artificial Immune Algorithm for Adaptive Visual Detection.
IEEE Access, 2018
NSGAII With Local Search Based Heavy Perturbation for Bi-Objective Weighted Clique Problem.
IEEE Access, 2018
When Deep Fool Meets Deep Prior: Adversarial Attack on Super-Resolution Network.
Proceedings of the 2018 ACM Multimedia Conference on Multimedia Conference, 2018
A Timeline Representation for the Jade Rabbit Rover.
Proceedings of the Knowledge Science, Engineering and Management, 2018
A Fast Local Search Algorithm for Minimum Weight Dominating Set Problem on Massive Graphs.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
An Exact Algorithm for Maximum k-Plexes in Massive Graphs.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Dr. Right!: Embedding-Based Adaptively-Weighted Mixture Multi-classification Model for Finding Right Doctors with Healthcare Experience Data.
Proceedings of the IEEE International Conference on Data Mining, 2018
NuMWVC: A Novel Local Search for Minimum Weighted Vertex Cover Problem.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
Two approximate algorithms for model counting.
Theor. Comput. Sci., 2017
A path cost-based GRASP for minimum independent dominating set problem.
Neural Comput. Appl., 2017
A local search algorithm with tabu strategy and perturbation mechanism for generalized vertex cover problem.
Neural Comput. Appl., 2017
GRASP for connected dominating set problems.
Neural Comput. Appl., 2017
Decontaminate feature for tracking: adaptive tracking via evolutionary feature subset.
J. Electronic Imaging, 2017
Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function.
J. Artif. Intell. Res., 2017
New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition.
J. Artif. Intell. Res., 2017
A novel local search algorithm with configuration checking and scoring mechanism for the set <i>k</i>-covering problem.
Int. Trans. Oper. Res., 2017
An efficient local search algorithm for the winner determination problem.
J. Heuristics, 2017
Diversified Top-k Partial MaxSAT Solving.
CoRR, 2017
A novel local search for unicost set covering problem using hyperedge configuration checking and weight diversity.
Sci. China Inf. Sci., 2017
A randomized diversification strategy for solving satisfiability problem with long clauses.
Sci. China Inf. Sci., 2017
Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function (Extended Abstract).
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract).
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
A Hybrid Multi-objective Evolutionary Algorithm for Energy-Aware Allocation and Scheduling Optimization of MPSoCs.
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017
Phase Transition for Maximum Not-All-Equal Satisfiability.
Proceedings of the Frontiers in Algorithmics - 11th International Workshop, 2017
The Broken-Triangle Property with Adjoint Values.
Proceedings of the Frontiers in Algorithmics - 11th International Workshop, 2017
Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment.
Proceedings of the Principles and Practice of Constraint Programming, 2017
2016
A particle swarm inspired cuckoo search algorithm for real parameter optimization.
Soft Comput., 2016
The disclosure of evaporating digital trails respecting the combinations of Gmail and IE for pervasive multimedia.
Multim. Tools Appl., 2016
Large margin classifier-based ensemble tracking.
J. Electronic Imaging, 2016
Modified differential evolution with self-adaptive parameters method.
J. Comb. Optim., 2016
An efficient local search framework for the minimum weighted vertex cover problem.
Inf. Sci., 2016
Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search.
Proceedings of the Principles and Practice of Constraint Programming, 2016
Two Efficient Local Search Algorithms for Maximum Weight Clique Problem.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
2015
Modified cuckoo search algorithm with self adaptive parameter method.
Inf. Sci., 2015
Experimental analyses on phase transitions in compiling satisfiability problems.
Sci. China Inf. Sci., 2015
Approximate Model Counting via Extension Rule.
Proceedings of the Frontiers in Algorithmics - 9th International Workshop, 2015
A genetic algorithm for the distributed assembly permutation flowshop scheduling problem.
Proceedings of the IEEE Congress on Evolutionary Computation, 2015
2014
Animal migration optimization: an optimization algorithm inspired by animal migration behavior.
Neural Comput. Appl., 2014
Self-adaptive constrained artificial bee colony for constrained numerical optimization.
Neural Comput. Appl., 2014
Enhancing the performance of cuckoo search algorithm using orthogonal learning method.
Neural Comput. Appl., 2014
Augmenting Ordered Binary Decision Diagrams with Conjunctive Decomposition.
CoRR, 2014
An upper (lower) bound for Max (Min) CSP.
Sci. China Inf. Sci., 2014
An effective differential evolution algorithm for permutation flow shop scheduling problem.
Appl. Math. Comput., 2014
2013
Fuzzy multiset finite automata and their languages.
Soft Comput., 2013
Approximate Counting CSP Solutions Using Partition Function.
CoRR, 2013
An opposition-based differential evolution algorithm for permutation flow shop scheduling based on diversity measure.
Adv. Eng. Softw., 2013
2012
Optimal synthesis of linear antenna array with composite differential evolution algorithm.
Sci. Iran., 2012
On the utility of landmarks in SAT based planning.
Knowl. Based Syst., 2012
Phase Transitions of EXPSPACE-Complete Problems: a Further Step.
Int. J. Found. Comput. Sci., 2012
Notes on: "Interval-valued intuitionistic fuzzy soft sets and their properties" [Comput. Math. Applications 60 (2010) 906-918].
Comput. Math. Appl., 2012
Multi-operator based biogeography based optimization with mutation for global numerical optimization.
Comput. Math. Appl., 2012
The Worst-Case Upper Bound for Exact 3-Satisfiability with the Number of Clauses as the Parameter.
Proceedings of the Frontiers in Algorithmics and Algorithmic Aspects in Information and Management, 2012
2011
Multi-cue-based CamShift guided particle filter tracking.
Expert Syst. Appl., 2011
A novel hybrid K-harmonic means and gravitational search algorithm approach for clustering.
Expert Syst. Appl., 2011
New Worst-Case Upper Bound for X3SAT
CoRR, 2011
Worst-Case Upper Bound for (1, 2)-QSAT
CoRR, 2011
New Worst-Case Upper Bound for #XSAT
CoRR, 2011
Counting Solutions of Constraint Satisfiability Problems:Exact Phase Transitions and Approximate Algorithm
CoRR, 2011
Comput. Math. Appl., 2011
A perturb biogeography based optimization with mutation for global numerical optimization.
Appl. Math. Comput., 2011
Phase Transitions in Knowledge Compilation: An Experimental Study.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011
Exact Phase Transitions and Approximate Algorithm of #CSP.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
On the Discovery and Utility of Precedence Constraints in Temporal Planning.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
Hybrid Tractable Classes of Binary Quantified Constraint Satisfaction Problems.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
2010
Phase Transitions of EXPSPACE-Complete Problems.
Int. J. Found. Comput. Sci., 2010
Phase Transitions of Plan Modification in Conformant Planning
CoRR, 2010
New worst upper bound for #SAT
CoRR, 2010
Product structure of the fuzzy n-ary factor polygroup.
Comput. Math. Appl., 2010
An effective GSA based memetic algorithm for permutation flow shop scheduling.
Proceedings of the IEEE Congress on Evolutionary Computation, 2010
New Worst-Case Upper Bound for #2-SAT and #3-SAT with the Number of Clauses as the Parameter.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
2009
Flexible planning using fuzzy description logics: Theory and application.
Appl. Soft Comput., 2009
Probabilistic Planning for Creating or Destroying Objects.
Proceedings of the First IITA International Joint Conference on Artificial Intelligence, 2009
2008
Conformant Planning Heuristics Based on Plan Reuse in Belief States.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
2007
Extension or Resolution: A Novel Approach for Reasoning in Possibilistic Logic.
Proceedings of the Analysis and Design of Intelligent Systems using Soft Computing Techniques, 2007
Recognizing the agent's goals incrementally: planning graph as a basis.
Frontiers Comput. Sci. China, 2007
Recent advances in conformant planning.
Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2007
Solving Planning Under Uncertainty: Quantitative and Qualitative Approach.
Proceedings of the Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, 2007
Making FF Faster in ADL Domains.
Proceedings of the Third International Conference on Natural Computation, 2007
Flexible Planning Using Fuzzy Description Logics.
Proceedings of the 2007 International Conference on Artificial Intelligence, 2007
Translating PDDL Tasks into Multi-valued Conformant Planning Tasks.
Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery, 2007
Improving the Convergence of RTDP.
Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery, 2007
Counting Models using Extension Rules.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
Improved Propositional Extension Rule.
Proceedings of the Rough Sets and Knowledge Technology, First International Conference, 2006
Solving Uncertain Markov Decision Problems: An Interval-Based Method.
Proceedings of the Advances in Natural Computation, Second International Conference, 2006
2005
Flexible Goal Recognition via Graph Construction and Analysis.
Proceedings of the Fuzzy Systems and Knowledge Discovery, Second International Conference, 2005
2004
Fast plan recognition through graph construction and analysis.
Proceedings of the IEEE International Conference on Systems, 2004