Demo Data from EDBT 2026 / reviewers in the wild / expert
Jicheng Zhao
dblp:86/875
· DBLP profile ↗
7ranked-venue papers
0as first author
1since 2021 · last 2026
0009-0004-2693-1572ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 7 · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 6
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
3 papers |
Knowledge representation and reasoning · 71% Planning, search and constraint satisfaction · 29% | |
| Theoretical computer science
3 papers |
Logic in computer science · 86% Automated reasoning and model checking · 14% |
Topics — the 10 heaviest of 13, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Knowledge, reasoning and agents › Knowledge representation and reasoning
belief revision |
0.1 | 1 | 2008 | Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals · AAAI 2008 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
nonmonotonic reasoning |
0.1 | 1 | 2008 | Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals · AAAI 2008 |
Logic in computer science
temporal logic |
0.1 | 1 | 2007 | Non-monotonic Temporal Logics for Goal Specification · IJCAI 2007 |
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › goal reasoning
goal specification |
0.1 | 1 | 2006 | Goal Specification, Non-Determinism and Quantifying over Policies · AAAI 2006 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
reasoning about action and change |
0.1 | 1 | 2006 | Goal Specification, Non-Determinism and Quantifying over Policies · AAAI 2006 |
Knowledge, reasoning and agents › Planning, search and constraint satisfaction
nondeterministic planning |
0.1 | 1 | 2005 | Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains · AAAI 2005 |
Logic in computer science › logic programming
answer set programming |
0.0 | 1 | 2003 | On Tight Logic Programs and Yet Another Translation from Normal Logic Programs to Propositional Logic · IJCAI 2003 |
Logic in computer science
logic programming |
0.0 | 1 | 2003 | On Tight Logic Programs and Yet Another Translation from Normal Logic Programs to Propositional Logic · IJCAI 2003 |
Automated reasoning and model checking › planning
SAT-based planning |
0.0 | 1 | 2005 | Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains · AAAI 2005 |
Automated reasoning and model checking
satisfiability |
0.0 | 1 | 2005 | Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains · AAAI 2005 |
Methods — techniques the papers use, named apart from their topics
logic programming · 0.1SAT · 0.1propositional translation · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Multimodality Image Registration With Modality DistillationabstractMultimodal image registration aims to spatially align images from different modalities at the pixel level. However, due to the nonlinear relationship of radiation intensities caused by different imaging modalities, achieving high accuracy in multimodal image registration presents a significant challenge. Additionally, the presence of both global transformations (i.e., large-scale rigid affine transformations) and local distortions (i.e., small-scale nonrigid deformations) between paired images further complicates the registration process. This article addressed the challenge resulting from modality differences through modality distillation. Specifically, a teacher (i.e., a homomodal image registration model) is trained to guide the student (i.e., a multimodal image registration model). Besides, this article simultaneously aligned large-scale rigid and small-scale nonrigid deformations by predicting deformation flow from both global and local features, thereby achieving high-precision registration. Furthermore, this proposed method incorporated a deformation mask during training to mitigate the negative impact of black edges in the obtained registration results on model performance. Experimental results demonstrate that the proposed method delivers state-of-the-art registration accuracy across various multimodal datasets, with ablation studies confirming the effectiveness of each component. The codes will be available at https://github.com/2351056918/Multimodality-Image-Registration-with-Modailty-Distillation. Xichuan Zhou, Jicheng Zhao, Lihui Chen 0002, Gemine Vivone, Yanchun Liu, Jing Nie 0001, Haijun Liu 0001 |
IEEE Trans. Neural Networks Learn. Syst. | 2 |
| 2008 | Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals
Chitta Baral, Jicheng Zhao |
AAAI | 2 |
| 2007 | Non-monotonic Temporal Logics for Goal Specification
Chitta Baral, Jicheng Zhao |
IJCAI | 2 |
| 2006 | Goal Specification, Non-Determinism and Quantifying over Policies
Chitta Baral, Jicheng Zhao |
AAAI | 2 |
| 2005 | Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains
Chitta Baral, Thomas Eiter, Jicheng Zhao |
AAAI | 3 |
| 2004 | Goal Specification in Presence of Non-Deterministic Actions
Chitta Baral, Jicheng Zhao |
ECAI | 2 |
| 2003 | On Tight Logic Programs and Yet Another Translation from Normal Logic Programs to Propositional Logic
Fangzhen Lin, Jicheng Zhao |
IJCAI | 2 |