Dantong Ouyang

Orcid: 0000-0003-4504-1423

Affiliations:
  • Jilin University, Changchun, China


According to our database1, Dantong Ouyang authored at least 94 papers between 2005 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Recognize after early fusion: the Chinese food recognition based on the alignment of image and ingredients.
Multim. Syst., April, 2024

DSLS: a simple and efficient local search algorithm for the maximum bisection problem.
J. Heuristics, April, 2024

DeciLS-PBO: an effective local search method for pseudo-Boolean optimization.
Frontiers Comput. Sci., April, 2024

2023
DiagDO: an efficient model based diagnosis approach with multiple observations.
Frontiers Comput. Sci., December, 2023

ILSGVCP: An improved local search algorithm for generalized vertex cover problem.
J. Oper. Res. Soc., November, 2023

DPAHMA: a novel dual-population adaptive hybrid memetic algorithm for non-slicing VLSI floorplans.
J. Supercomput., September, 2023

Combinatorial optimization and local search: A case study of the discount knapsack problem.
Comput. Electr. Eng., January, 2023

A Noise-Aware Method With Type Constraint Pattern for Neural Relation Extraction.
IEEE Trans. Knowl. Data Eng., 2023

Consequence-based Axiom Pinpointing for Expressive Description Logic Ontologies.
Int. J. Softw. Informatics, 2023

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

2022
An efficient and effective approach for multi-fact extraction from text corpus.
World Wide Web, 2022

Two efficient local search algorithms for the vertex bisection minimization problem.
Inf. Sci., 2022

Lightweight axiom pinpointing via replicated driver and customized SAT-solving.
Frontiers Comput. Sci., 2022

Model-based diagnosis with improved implicit hitting set dualization.
Appl. Intell., 2022

Evolutionary many-objective satisfiability solver for configuring software product lines.
Appl. Intell., 2022

Food Recognition Model Based on Deep Learning and Attention Mechanism.
Proceedings of the 8th International Conference on Big Data Computing and Communications, 2022

Two Compacted Models for Efficient Model-Based Diagnosis.
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.
IEEE Trans. Reliab., 2021

Debugging incoherent ontology by extracting a clash module and identifying root unsatisfiable concepts.
Knowl. Based Syst., 2021

Core-guided method for constraint-based multi-objective combinatorial optimization.
Appl. Intell., 2021

2020
An Intelligent Planning-Based Modeling Method for Diagnosis and Repair.
Wirel. Commun. Mob. Comput., 2020

Extracting a justification for OWL ontologies by critical axioms.
Frontiers Comput. Sci., 2020

Pattern diagnosis for stochastic discrete event systems.
Eng. Appl. Artif. Intell., 2020

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

Exploring duality on ontology debugging.
Appl. Intell., 2020

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

2019
Adversarial Knowledge Representation Learning Without External Model.
IEEE Access, 2019

Discovering Correlations between Sparse Features in Distant Supervision for Relation Extraction.
Proceedings of the Twelfth ACM International Conference on Web Search and Data Mining, 2019

Finding Justifications by Approximating Core for Large-scale Ontologies.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

A Fine-grained and Noise-aware Method for Neural Relation Extraction.
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.
Neural Networks, 2018

A restart local search algorithm for solving maximum set k-covering problem.
Neural Comput. Appl., 2018

Revised simplex algorithm for linear programming on GPUs with CUDA.
Multim. Tools Appl., 2018

Efficient zonal diagnosis with maximum satisfiability.
Sci. China Inf. Sci., 2018

Business Process Modeling Abstraction Based on Semi-Supervised Clustering Analysis.
Bus. Inf. Syst. Eng., 2018

Computing all minimal hitting sets by subset recombination.
Appl. Intell., 2018

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

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

Constructive Justification Extraction for OWL Ontologies.
Proceedings of the Knowledge Science, Engineering and Management, 2018

An Efficient Approach for Computing Conflict Sets Combining Failure Probability with SAT.
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.
Symmetry, 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

A novel local search for unicost set covering problem using hyperedge configuration checking and weight diversity.
Sci. China Inf. Sci., 2017

Model-based diagnosis of incomplete discrete-event system with rough set theory.
Sci. China Inf. Sci., 2017

An Optimization Strategy for Debugging Incoherent Terminologies in Dynamic Environments.
IEEE Access, 2017

Glass-Box Debugging Algorithm Based on Unsatisfiable Dependent Paths.
IEEE Access, 2017

Multimodal Usability of Human-Computer Interaction Based on Task-Human-Computer-Centered Design.
Proceedings of the Intelligent Computing Theories and Application, 2017

2016
基于聚类分析的业务流程模型抽象 (Business Process Model Abstraction Based on Cluster Analysis).
计算机科学, 2016

Probabilistic logical approach for testing diagnosability of stochastic discrete event systems.
Eng. Appl. Artif. Intell., 2016

A Discrete Artificial Bee Colony Algorithm for Permutation Flow Shop Scheduling.
Proceedings of the 9th International Symposium on Computational Intelligence and Design, 2016

Integrity Constraint Validation in DL-Lite _R Based Ontology Using Rewriting.
Proceedings of the Social Computing, 2016

Deriving all minimal hitting-sets by merging.
Proceedings of the IEEE International Conference on Information and Automation, 2016

Usability Evaluation of the Flight Simulator's Human-Computer Interaction.
Proceedings of the Intelligent Computing Theories and Application, 2016

Recommending Entities for E-R Model by Ontology Reasoning Techniques.
Proceedings of the Fuzzy Systems and Data Mining II, 2016

2015
Deriving All Minimal Hitting Sets Based on Join Relation.
IEEE Trans. Syst. Man Cybern. Syst., 2015

形式化智能世界的建模过程 (Formalizing Modeling Process of Intelligence World).
计算机科学, 2015

An Automatic Way of Generating Incoherent Terminologies with Parameters.
Proceedings of the 1st International Workshop on Semantic Technologies (IWOST), 2015

Entailment-based Axiom Pinpointing in Debugging Incoherent Terminologies.
Proceedings of the 1st International Workshop on Semantic Technologies (IWOST), 2015

Improved Algorithm of Unsatisfiability-based Maximum Satisfiability.
Proceedings of the 1st International Workshop on Semantic Technologies (IWOST), 2015

Designment of E-R model based on RDF(S).
Proceedings of the 2nd International Workshop on Semantic Technologies (IWOST2), 2015

2013
A Novel Heuristic Usage of Helpful Actions for Conformant-FF System.
J. Comput., 2013

Integrity constraints in OWL ontologies based on grounded circumscription.
Frontiers Comput. Sci., 2013

2012
Reasoning on partially-ordered observations in online diagnosis of DESs.
AI Commun., 2012

2011
Dynamic theorem proving algorithm for consistency-based diagnosis.
Expert Syst. Appl., 2011

A self-adaptive differential evolution algorithm for binary CSPs.
Comput. Math. Appl., 2011

Disassembling and Reconstructing Algorithms for Discrete Event Systems.
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.
Proceedings of the Eighth International Conference on Fuzzy Systems and Knowledge Discovery, 2011

2010
Model Counting with Boolean Algebra and Extension Rule.
J. Convergence Inf. Technol., 2010

An artificial bee colony approach for clustering.
Expert Syst. Appl., 2010

A hybrid alternate two phases particle swarm optimization algorithm for flow shop scheduling problem.
Comput. Ind. Eng., 2010

Persistent Storage and Query of Expressive Ontology.
Proceedings of the Third International Conference on Knowledge Discovery and Data Mining, 2010

A Stable Stochastic Optimization Algorithm for Triangulation of Bayesian Networks.
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.
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.
Proceedings of the 2010 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2010

Solving SAT Problem with Boolean Algebra.
Proceedings of the Fifth International Conference on Frontier of Computer Science and Technology, 2010

Persistent Storage of Ontology-Based Data with Integrity Constraints.
Proceedings of the Fifth International Conference on Frontier of Computer Science and Technology, 2010

The Logical Difference For Fuzzy EL+ Ontologies.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Cooperative coevolutionary genetic algorithms to find optimal elimination orderings for Bayesian networks.
Proceedings of the Fifth International Conference on Bio-Inspired Computing: Theories and Applications, 2010

Formalizing Ontology-Based Hierarchical Modeling Process of Physical World.
Proceedings of the Artificial Intelligence and Computational Intelligence, 2010

The Logical Difference for Fuzzy Ontologies.
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.
Oper. Res. Lett., 2009

SHOIQD System an Approach to Integrate Description Logic SHOIQ with Nonmonotonic Rules.
Proceedings of the International Conference on Networked Computing and Advanced Information Management, 2009

K-Means on Commodity GPUs with CUDA.
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.
Proceedings of the Artificial Intelligence and Computational Intelligence, 2009

2008
AI in China: A Survey.
IEEE Intell. Syst., 2008

On-line diagnosis of discrete event systems with two successive temporal windows.
AI Commun., 2008

An extended hierarchical framework for definitions of diagnosability of discrete event systems.
Proceedings of the IEEE International Conference on Systems, 2008

A complete approach to identify conflict sets based on ATMS.
Proceedings of the IEEE International Conference on Systems, 2008

On-Line Diagnosis of Discrete-Event Systems: A Hierarchical Approach.
Proceedings of the 2008 IEEE Conference on Robotics, Automation and Mechatronics, 2008

Model-Based Diagnosis of Discrete Event Systems with an Incomplete System Model.
Proceedings of the ECAI 2008, 2008

A Terrain Model Simplification Method Based on Adaptive Threshold Selection.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

Texture Synthesis Based on Terrain Feature Recognition.
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.
Proceedings of the Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues, 2007

2005
An improved model-based method to test circuit faults.
Theor. Comput. Sci., 2005


  Loading...