Dantong Ouyang

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Minimal diagnosis and diagnosability of discrete-event systems modeled by automata Complexity	2021-03-22	Paper
Solving the set packing problem via a maximum weighted independent set heuristic Mathematical Problems in Engineering	2021-01-04	Paper
Integrity constraints in OWL ontologies based on grounded circumscription Frontiers of Computer Science	2019-05-28	Paper
Failure diagnosis for distributed stochastic discrete event systems Mathematical Problems in Engineering	2018-11-05	Paper
A novel local search algorithm with configuration checking and scoring mechanism for the set k‐covering problem International Transactions in Operational Research	2018-01-24	Paper
Reconstructive algorithm based on extension rule for solving \#SAT incrementally	2016-08-10	Paper
Theorem proving decomposition algorithm based on semi-extension rule	2016-08-10	Paper
scientific article; zbMATH DE number 6531200 (Why is no real title available?)	2016-01-15	Paper
Extending training set in distant supervision by ontology for relation extraction	2015-06-29	Paper
Decomposed planning guided by landmark counting heuristic Journal of Software	2014-06-30	Paper
An automated planning method for dealing with dynamic qualitative spatial relations Journal of Software	2013-06-20	Paper
A qualitative spatial model used for processing spatial information in commonsense Journal of Software	2013-06-20	Paper
Reasoning on partially-ordered observations in online diagnosis of DESs AI Communications	2012-10-25	Paper
A self-adaptive differential evolution algorithm for binary CSPs Computers & Mathematics with Applications	2012-02-05	Paper
A multiobjective incremental heuristic search algorithm	2010-11-05	Paper
On-line diagnosis of discrete event systems with two successive temporal windows AI Communications	2009-08-10	Paper
A novel hybrid differential evolution and particle swarm optimization algorithm for unconstrained optimization Operations Research Letters	2009-05-07	Paper
Computing minimal hitting sets with a genetic algorithm	2007-08-22	Paper
A new method of computing hitting sets applied to diagnosis generation	2006-11-27	Paper
A method of combining SE-tree to compute all minimal hitting sets Progress in Natural Science	2006-05-03	Paper
An improved model-based method to test circuit faults Theoretical Computer Science	2005-09-22	Paper
Kernel model-based diagnosis Progress in Natural Science	2004-03-16	Paper
scientific article; zbMATH DE number 1763932 (Why is no real title available?)	2002-07-04	Paper

Research outcomes over time

This page was built for person: Dantong Ouyang