Dantong Ouyang

Int. J. Softw. Informatics, 2023

An efficient power set mapping space blocking algorithm for sensor selection in uncertain systems with quantified diagnosability requirements.

[BibT_eX]

[DOI]

Appl. Intell., 2023

2022

An efficient and effective approach for multi-fact extraction from text corpus.

[BibT_eX]

[DOI]

World Wide Web, 2022

Two efficient local search algorithms for the vertex bisection minimization problem.

[BibT_eX]

[DOI]

Inf. Sci., 2022

Lightweight axiom pinpointing via replicated driver and customized SAT-solving.

[BibT_eX]

[DOI]

Mengting Liao

Frontiers Comput. Sci., 2022

Model-based diagnosis with improved implicit hitting set dualization.

[BibT_eX]

[DOI]

Appl. Intell., 2022

Evolutionary many-objective satisfiability solver for configuring software product lines.

[BibT_eX]

[DOI]

Appl. Intell., 2022

Food Recognition Model Based on Deep Learning and Attention Mechanism.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Big Data Computing and Communications, 2022

Two Compacted Models for Efficient Model-Based Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

TreeMerge: Efficient Generation of Minimal Hitting-Sets for Conflict Sets in Tree Structure for Model-Based Fault Diagnosis.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2021

Debugging incoherent ontology by extracting a clash module and identifying root unsatisfiable concepts.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2021

Core-guided method for constraint-based multi-objective combinatorial optimization.

[BibT_eX]

[DOI]

Appl. Intell., 2021

2020

An Intelligent Planning-Based Modeling Method for Diagnosis and Repair.

[BibT_eX]

[DOI]

Wirel. Commun. Mob. Comput., 2020

Extracting a justification for OWL ontologies by critical axioms.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2020

Pattern diagnosis for stochastic discrete event systems.

[BibT_eX]

[DOI]

Xuena Geng

Zhengang Jiang

Eng. Appl. Artif. Intell., 2020

Minimal Diagnosis and Diagnosability of Discrete-Event Systems Modeled by Automata.

[BibT_eX]

[DOI]

Complex., 2020

Exploring duality on ontology debugging.

[BibT_eX]

[DOI]

Jie Gao

Appl. Intell., 2020

A Local Search Approach for Batch Repair With Configuration Neighbor and Sub-Degree in Circuit System.

[BibT_eX]

[DOI]

IEEE Access, 2020

2019

Adversarial Knowledge Representation Learning Without External Model.

[BibT_eX]

[DOI]

Jingpei Lei

Ying Liu

IEEE Access, 2019

Discovering Correlations between Sparse Features in Distant Supervision for Relation Extraction.

[BibT_eX]

[DOI]

Proceedings of the Twelfth ACM International Conference on Web Search and Data Mining, 2019

Finding Justifications by Approximating Core for Large-scale Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

A Fine-grained and Noise-aware Method for Neural Relation Extraction.

[BibT_eX]

[DOI]

Proceedings of the 28th ACM International Conference on Information and Knowledge Management, 2019

2018

Distant supervision for neural relation extraction integrated with word attention and property features.

[BibT_eX]

[DOI]

Neural Networks, 2018

A restart local search algorithm for solving maximum set k-covering problem.

[BibT_eX]

[DOI]

Neural Comput. Appl., 2018

Revised simplex algorithm for linear programming on GPUs with CUDA.

[BibT_eX]

[DOI]

Multim. Tools Appl., 2018

Efficient zonal diagnosis with maximum satisfiability.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2018

Business Process Modeling Abstraction Based on Semi-Supervised Clustering Analysis.

[BibT_eX]

[DOI]

Bus. Inf. Syst. Eng., 2018

Computing all minimal hitting sets by subset recombination.

[BibT_eX]

[DOI]

Liming Zhang

Appl. Intell., 2018

A novel approach for improving quality of health state with difference degree in circuit diagnosis.

[BibT_eX]

[DOI]

Meng Liu

Liming Zhang

Appl. Intell., 2018

A Parallel Extension Rule-Based Algorithm for #SAT Problem Using Model-Counting Tree.

[BibT_eX]

[DOI]

IEEE Access, 2018

Constructive Justification Extraction for OWL Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2018

An Efficient Approach for Computing Conflict Sets Combining Failure Probability with SAT.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2018

2017

A Novel Approach Based on Time Cluster for Activity Recognition of Daily Living in Smart Homes.

[BibT_eX]

[DOI]

Symmetry, 2017

A novel local search algorithm with configuration checking and scoring mechanism for the set <i>k</i>-covering problem.

[BibT_eX]

[DOI]

Int. Trans. Oper. Res., 2017

A novel local search for unicost set covering problem using hyperedge configuration checking and weight diversity.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2017

Model-based diagnosis of incomplete discrete-event system with rough set theory.

[BibT_eX]

[DOI]

Xuena Geng

Yonggang Zhang

Sci. China Inf. Sci., 2017

An Optimization Strategy for Debugging Incoherent Terminologies in Dynamic Environments.

[BibT_eX]

[DOI]

Yu Zhang

IEEE Access, 2017

Glass-Box Debugging Algorithm Based on Unsatisfiable Dependent Paths.

[BibT_eX]

[DOI]

Yu Zhang

IEEE Access, 2017

Multimodal Usability of Human-Computer Interaction Based on Task-Human-Computer-Centered Design.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computing Theories and Application, 2017

2016

基于聚类分析的业务流程模型抽象 (Business Process Model Abstraction Based on Cluster Analysis).

[BibT_eX]

[DOI]

计算机科学, 2016

Probabilistic logical approach for testing diagnosability of stochastic discrete event systems.

[BibT_eX]

[DOI]

Eng. Appl. Artif. Intell., 2016

A Discrete Artificial Bee Colony Algorithm for Permutation Flow Shop Scheduling.

[BibT_eX]

[DOI]

Proceedings of the 9th International Symposium on Computational Intelligence and Design, 2016

Integrity Constraint Validation in DL-Lite _R Based Ontology Using Rewriting.

[BibT_eX]

[DOI]

Jialiang He

Proceedings of the Social Computing, 2016

Deriving all minimal hitting-sets by merging.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Information and Automation, 2016

Usability Evaluation of the Flight Simulator's Human-Computer Interaction.

[BibT_eX]

[DOI]

Yanbin Shi

Proceedings of the Intelligent Computing Theories and Application, 2016

Recommending Entities for E-R Model by Ontology Reasoning Techniques.

[BibT_eX]

[DOI]

Proceedings of the Fuzzy Systems and Data Mining II, 2016

2015

Deriving All Minimal Hitting Sets Based on Join Relation.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2015

形式化智能世界的建模过程 (Formalizing Modeling Process of Intelligence World).

[BibT_eX]

[DOI]

计算机科学, 2015

An Automatic Way of Generating Incoherent Terminologies with Parameters.

[BibT_eX]

[DOI]

Yu Zhang

Proceedings of the 1st International Workshop on Semantic Technologies (IWOST), 2015

Entailment-based Axiom Pinpointing in Debugging Incoherent Terminologies.

[BibT_eX]

[DOI]

Jing Su

Proceedings of the 1st International Workshop on Semantic Technologies (IWOST), 2015

Improved Algorithm of Unsatisfiability-based Maximum Satisfiability.

[BibT_eX]

[DOI]

Yiyuan Wang

Liming Zhang

Proceedings of the 1st International Workshop on Semantic Technologies (IWOST), 2015

Designment of E-R model based on RDF(S).

[BibT_eX]

[DOI]

Xiangbin Gao

Proceedings of the 2nd International Workshop on Semantic Technologies (IWOST2), 2015

2013

A Novel Heuristic Usage of Helpful Actions for Conformant-FF System.

[BibT_eX]

[DOI]

J. Comput., 2013

Integrity constraints in OWL ontologies based on grounded circumscription.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2013

2012

Reasoning on partially-ordered observations in online diagnosis of DESs.

[BibT_eX]

[DOI]

AI Commun., 2012

2011

Dynamic theorem proving algorithm for consistency-based diagnosis.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2011

A self-adaptive differential evolution algorithm for binary CSPs.

[BibT_eX]

[DOI]

Hongjie Fu

Jiaming Xu

Comput. Math. Appl., 2011

Disassembling and Reconstructing Algorithms for Discrete Event Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

A hybrid system combining intuitionistic fuzzy description logics with intuitionistic fuzzy logic programs.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Fuzzy Systems and Knowledge Discovery, 2011

2010

Model Counting with Boolean Algebra and Extension Rule.

[BibT_eX]

[DOI]

Youjun Xu

J. Convergence Inf. Technol., 2010

An artificial bee colony approach for clustering.

[BibT_eX]

[DOI]

Changsheng Zhang

Jiaxu Ning

Expert Syst. Appl., 2010

A hybrid alternate two phases particle swarm optimization algorithm for flow shop scheduling problem.

[BibT_eX]

[DOI]

Changsheng Zhang

Jiaxu Ning

Comput. Ind. Eng., 2010

Persistent Storage and Query of Expressive Ontology.

[BibT_eX]

[DOI]

Xuchu Dong

Proceedings of the Third International Conference on Knowledge Discovery and Data Mining, 2010

A Stable Stochastic Optimization Algorithm for Triangulation of Bayesian Networks.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Knowledge Discovery and Data Mining, 2010

A diversity-guided heuristic-based genetic algorithm for triangulation of Bayesian networks.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Networked Computing and Advanced Information Management, 2010

A Multi-heuristic Cooperative Ant Colony System for Optimizing Elimination Ordering of Bayesian Networks.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2010

Solving SAT Problem with Boolean Algebra.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Frontier of Computer Science and Technology, 2010

Persistent Storage of Ontology-Based Data with Integrity Constraints.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Frontier of Computer Science and Technology, 2010

The Logical Difference For Fuzzy EL+ Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Cooperative coevolutionary genetic algorithms to find optimal elimination orderings for Bayesian networks.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Bio-Inspired Computing: Theories and Applications, 2010

Formalizing Ontology-Based Hierarchical Modeling Process of Physical World.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Computational Intelligence, 2010

The Logical Difference for Fuzzy Ontologies.

[BibT_eX]

[DOI]

Shasha Feng

Yonggang Zhang

Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

2009

A novel hybrid differential evolution and particle swarm optimization algorithm for unconstrained optimization.

[BibT_eX]

[DOI]

Oper. Res. Lett., 2009

SHOIQD System an Approach to Integrate Description Logic SHOIQ with Nonmonotonic Rules.

[BibT_eX]

[DOI]

Ling Ji

Proceedings of the International Conference on Networked Computing and Advanced Information Management, 2009

K-Means on Commodity GPUs with CUDA.

[BibT_eX]

[DOI]

Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009

Formalizing the Modeling Process of Physical Systems in MBD.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Computational Intelligence, 2009

2008

AI in China: A Survey.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2008

On-line diagnosis of discrete event systems with two successive temporal windows.

[BibT_eX]

[DOI]

AI Commun., 2008

An extended hierarchical framework for definitions of diagnosability of discrete event systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2008

A complete approach to identify conflict sets based on ATMS.

[BibT_eX]

[DOI]

Yu Jiao

Proceedings of the IEEE International Conference on Systems, 2008

On-Line Diagnosis of Discrete-Event Systems: A Hierarchical Approach.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE Conference on Robotics, Automation and Mechatronics, 2008

Model-Based Diagnosis of Discrete Event Systems with an Incomplete System Model.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

A Terrain Model Simplification Method Based on Adaptive Threshold Selection.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

Texture Synthesis Based on Terrain Feature Recognition.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2007

Improved Algorithms for Deriving All Minimal Conflict Sets in Model-Based Diagnosis.

[BibT_eX]

[DOI]