Minghao Yin

Orcid: 0000-0002-6226-2394

Affiliations:
  • Northeast Normal University School of Information Science and Technology, Changchun, China
  • Jilin University, College of Computer Science, Changchun, China (PhD 2008)


According to our database1, Minghao Yin authored at least 192 papers between 2004 and 2025.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
PBCounter: weighted model counting on pseudo-boolean formulas.
Frontiers Comput. Sci., March, 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

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

Soft polygroups.
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


  Loading...