EDBT 2026 Demo / reviewers in the wild / expert
Yunfei Jiang
dblp:37/1653
· DBLP profile ↗
18ranked-venue papers
2as first author
1since 2021 · last 2022
—ORCID · conflict
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 10 · 1 first-authorGraphics, computer vision, multimedia, augmented reality and games · 4Applied, interdisciplinary, general and emerging computing · 3 · 1 first-authorTheory of computation · 2Systems, architecture and hardware · 1Computer networks · 1 · 1 since 2021Software engineering, systems software and programming languages · 1Databases, data management, data science and information retrieval · 1Human-computer interaction and ubiquitous computing · 1 · 1 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Artificial intelligence
2 papers |
Planning, search and constraint satisfaction · 70% Knowledge representation and reasoning · 30% | |
| Software engineering, system software, and programming languages
1 paper |
Program analysis · 100% | |
| Theoretical computer science
2 papers |
Automated reasoning and model checking · 64% Logic in computer science · 12% Computational complexity · 12% |
Topics — the 6 heaviest of 9, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › domain model learning
action model learning |
0.1 | 1 | 2007 | Learning action models from plan examples using weighted MAX-SAT · Artif. Intell. 2007 |
Program analysis › static analysis
dependency analysis |
0.1 | 1 | 2007 | Operator Component Matrix Model for IMP Program Diagnosis · IJCAI 2007 |
Automated reasoning and model checking
planning |
0.1 | 1 | 2007 | Observation Reduction for Strong Plans · IJCAI 2007 |
Computational complexity
decidability |
0.0 | 1 | 1995 | The Rationality and Decidability of Fuzzy Implications · IJCAI 1995 |
Logic in computer science › many-valued logic
fuzzy logic |
0.0 | 1 | 1995 | The Rationality and Decidability of Fuzzy Implications · IJCAI 1995 |
Algorithmic game theory and mechanism design
rationality |
0.0 | 1 | 1995 | The Rationality and Decidability of Fuzzy Implications · IJCAI 1995 |
Methods — techniques the papers use, named apart from their topics
plan contexts · 0.1weighted MAX-SAT · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | Spectrum-Sharing-Maximized Approaches With Shared-Path Protection in Elastic Optical Data Center NetworksabstractThe spectrum efficiency is a greatly important issue when we establish connection requests in elastic optical data center networks (EODCNs). In this article, we address the spectrum efficiency problems of the shared-path protection with spectrum-sharing-maximized approaches for the optical network survivability. Two integer linear program (ILP) models, i.e., flow-based and path-based ILP models, named FB-ILP and PB-ILP, are developed to minimize the frequency slots (FSs) occupied with the spectrum-sharing-maximized protection, and two heuristic approaches with the spectrum-sharing-maximized protection (HA-SSMP) and with the general spectrum-sharing protection (HA-GSSP) are also proposed to improve spectrum efficiency in EODCNs. For comparison, we introduce a heuristic approach with the existing shared-path protection (HA-ESPP) in EODCNs. On the one hand, simulation results show that FB-ILP can minimize the number of FSs occupied, but leads to the higher average number of hops and longer running time compared to PB-ILP, HA-SSMP, HA-GSSP, and HA-ESPP in static traffic scenario in EODCNs. On the other hand, the simulation results of our proposed HA-SSMP are very close to the solutions of FB-ILP. In dynamic traffic scenario, simulation results show that HA-SSMP significantly improves the spectrum efficiency and effectively suppresses the blocking probability, but leads to the higher average number of hops compared to HA-GSSP and HA-ESPP in EODCNs. Bowen Chen 0005, Yunfei Jiang, Jinbing Wu, Weidong Shao, Mingyi Gao, Pin-Han Ho |
IEEE Internet Things J. | 3 |
| 2009 | Structured Plans and Observation Reduction for Plans with Contexts
Wei Huang 0026, Zhonghua Wen, Yunfei Jiang |
IJCAI | 3 |
| 2008 | Topology-based Variable Ordering Strategy for Solving Disjunctive Temporal ProblemsabstractMany temporal problems arising in automated planning and scheduling can be expressed as disjunctive temporal problems (DTPs). Most of DTP solvers in the literature treat DTPs as constraint satisfaction problems (CSPs) or satisfiability problems (SATs), and solve them using standard CSP (SAT) techniques. Basically DTPs are represented through logically related topological relations between temporal variables, however, unfortunately little work has been done on exploiting the topological information to direct the search for DTP resolving. According to the "fail-first "(FF) principle for dynamic variable ordering (DVO) heuristics in CSP literature, this paper proposes a DVO which is based on the topological structure of DTP (which is defined to be Disjunctive Temporal Network). Experimental results reveal that the proposed DVO outperforms Minimal Remaining Values heuristics-a DVO that is widely used in existing DTP solvers, especially for the hard and large-scale problems. And, a CSP based procedure with the best of the heuristics wins TSAT++ on most of the test problems. Yuechang Liu, Yunfei Jiang, Hong Qian |
TIME | 2 |
| 2007 | Parallel First-Order Dynamic Logic and Its Expressiveness and Axiomatization
Yunfei Jiang |
APPT | 2 |
| 2007 | A Test Theory of the Model-Based Diagnosis
Xuenong Zhang, Yunfei Jiang, Aixiang Chen |
ICIC (2) | 2 |
| 2007 | Diagnosing a System with Value-Based Reasoning
Xuenong Zhang, Yunfei Jiang, Aixiang Chen |
ICIC (2) | 2 |
| 2007 | Operator Component Matrix Model for IMP Program Diagnosis
Zhao-Fu Fan, Yunfei Jiang |
IJCAI | 2 |
| 2007 | Observation Reduction for Strong Plans
Wei Huang 0026, Zhonghua Wen, Yunfei Jiang |
IJCAI | 3 |
| 2007 | Regularization Versus Dimension Reduction, Which Is Better?
Yunfei Jiang, Ping Guo 0002 |
ISNN (2) | 1 |
| 2007 | Comparative studies of Feature Extraction methods with application to face recognitionabstractIn face recognition, the dimensionality of raw data is very high, dimension reduction (Feature Extraction) should be applied before classification. There exist several feature extraction methods, commonly used are Principle Component Analysis (PCA) and Linear Discriminant Analysis (LDA) techniques. In this paper, we present a comparative study of some feature extraction methods for face recognition in the same conditions. The methods evaluated here include Eigenfaces, Kernel Principal Component Analysis (KPCA), Fisherfaces, Direct Linear Discriminant Analysis (D-LDA), Regularized Linear Discriminant Analysis (R-LDA), and Kernel Direct Discriminant Analysis (KDDA). For the purpose of comparison on feature extraction methods, we adopt Nearest Neighbor (NN) algorithm from existed classifiers of face recognition, since this classifier is common and simpleness. Empirical studies are conducted to evaluate these feature extraction methods with images from ORL Face Database, and it is found that in most cases LDA-based methods are efficient than PCA-based ones. Yunfei Jiang, Ping Guo 0002 |
SMC | 1 |
| 2007 | A Method of Software Structure Designing Based on Graph Planning
Mingzhi Mao, Yunfei Jiang, Xiaolong Chai |
SoMeT | 2 |
| 2007 | Graph-DTP: Graph-Based Algorithm for Solving Disjunctive Temporal ProblemsabstractWe study an expressive quantitative temporal model: disjunctive temporal problem (DTP), which was first proposed only in 1998 (Stergiou and Koubarakis). As extension of temporal constraint satisfaction problem (TCSP) (Dechter et al. 1991), DTP differs from TCSP in that two disjuncts in a same disjunctive constraint do not necessarily refer to same temporal variables. Traditionally, most of the DTP algorithms in the literature solve DTPs by treating them as constraint satisfaction problems (CSPs), and searching for solutions using standard CSP techniques, e.g. backtracking, back-jumping, forward checking, semantic branching, removal of subsumed variables, nogood recording, etc. Those CSP techniques are powerful in solving DTPs. However, an evident drawback of viewing DTPs as general CSPs is that much semantic information encoded in DTPs is neglected. In fact we can mine rich semantic information that can be exploited to reduce search space for DTPs (more than semantic branching). Through some topological analysis on the graphical representation of the problems, some techniques are developed to help to search solutions for other temporal models (e.g. TCSP), or to identify "crucial subproblems" for CSP (Epstein and Wallace, 2006). However, little effort has been made to exploit the inherent topological information in solving DTPs. Our idea runs on a graphical representation of DTPs - disjunctive temporal network (DTN). We define DTN as an edge-labeled weighted digraph, on which some relevant concepts are identified. Then, we define the concept of equivalency between DTNs with respect to their consistency. For a given DTN, deciding its consistency is ascribed to check the consistency of a DTN which is equivalent to it and has less constraints (edges). We iteratively reduce a DTN to a simpler but equivalent one according to a set of designed reduction rules (which can be performed within polynomial time). It is hoped that when the DTN reaches a fixed point under such reduction operation, the resulted DTN has minimal edges (which is like backdoor in SAT, or "near clique"). At last the resulted DTN (DTP) is transferred to CSP search phase, where we derive a special variable ordering strategy again through the DTN structure. We shall describe the generation of DTN structure, the DTN reduction rules, the implementation of the complete graph-DTP algorithm, and some first results of this approach. Yuechang Liu, Hong Qian, Yunfei Jiang |
TIME | 3 |
| 2007 | Learning action models from plan examples using weighted MAX-SAT
Qiang Yang 0001, Kangheng Wu, Yunfei Jiang |
Artif. Intell. | 3 |
| 2006 | Comparison Between Two Languages Used to Express Planning Goals: CTL and EAGLE
Wei Huang 0026, Zhonghua Wen, Yunfei Jiang, Aixiang Chen |
PRICAI | 3 |
| 2006 | LP-TPOP: Integrating Planning and Scheduling Through Constraint Programming
Yuechang Liu, Yunfei Jiang |
PRICAI | 2 |
| 2005 | An improved model-based method to test circuit faults
Xiaochun Cheng, Dantong Ouyang, Yunfei Jiang, Chengqi Zhang |
Theor. Comput. Sci. | 3 |
| 2003 | The computation of hitting sets: Review and new algorithms
Yunfei Jiang |
Inf. Process. Lett. | 2 |
| 1995 | The Rationality and Decidability of Fuzzy Implications
Xiaochun Cheng, Yunfei Jiang, Xuhua Liu |
IJCAI | 2 |