Dantong Ouyang

Available identifiers

zbMath Open ouyang.dantongMaRDI QIDQ660951

List of research outcomes

Publication	Date of Publication	Type
Minimal diagnosis and diagnosability of discrete-event systems modeled by automata	2021-03-22	Paper
Solving the set packing problem via a maximum weighted independent set heuristic	2021-01-04	Paper
Integrity constraints in OWL ontologies based on grounded circumscription	2019-05-28	Paper
Failure diagnosis for distributed stochastic discrete event systems	2018-11-05	Paper
A novel local search algorithm with configuration checking and scoring mechanism for the set k‐covering problem	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
https://portal.mardi4nfdi.de/entity/Q3462742	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	2014-06-30	Paper
An automated planning method for dealing with dynamic qualitative spatial relations	2013-06-20	Paper
A qualitative spatial model used for processing spatial information in commonsense	2013-06-20	Paper
Reasoning on partially-ordered observations in online diagnosis of DESs	2012-10-25	Paper
A self-adaptive differential evolution algorithm for binary CSPs	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	2009-08-10	Paper
A novel hybrid differential evolution and particle swarm optimization algorithm for unconstrained optimization	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	2006-05-03	Paper
An improved model-based method to test circuit faults	2005-09-22	Paper
Kernel model-based diagnosis	2004-03-16	Paper
https://portal.mardi4nfdi.de/entity/Q4539318	2002-07-04	Paper

Research outcomes over time

This page was built for person: Dantong Ouyang