Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Jicheng Zhao

dblp:86/875 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Knowledge, reasoning and agents › Knowledge representation and reasoning
belief revision
0.112008
Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals · AAAI 2008
Knowledge, reasoning and agents › Knowledge representation and reasoning
nonmonotonic reasoning
0.112008
Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals · AAAI 2008
Logic in computer science
temporal logic
0.112007
Non-monotonic Temporal Logics for Goal Specification · IJCAI 2007
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › goal reasoning
goal specification
0.112006
Goal Specification, Non-Determinism and Quantifying over Policies · AAAI 2006
Knowledge, reasoning and agents › Knowledge representation and reasoning
reasoning about action and change
0.112006
Goal Specification, Non-Determinism and Quantifying over Policies · AAAI 2006
Knowledge, reasoning and agents › Planning, search and constraint satisfaction
nondeterministic planning
0.112005
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.012003
On Tight Logic Programs and Yet Another Translation from Normal Logic Programs to Propositional Logic · IJCAI 2003
Logic in computer science
logic programming
0.012003
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.012005
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.012005
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
YearPublicationVenuePosition
2026 Multimodality Image Registration With Modality Distillation
abstract
Multimodal 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
AAAI2
2007 Non-monotonic Temporal Logics for Goal Specification
Chitta Baral, Jicheng Zhao
IJCAI2
2006 Goal Specification, Non-Determinism and Quantifying over Policies
Chitta Baral, Jicheng Zhao
AAAI2
2005 Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains
Chitta Baral, Thomas Eiter, Jicheng Zhao
AAAI3
2004 Goal Specification in Presence of Non-Deterministic Actions
Chitta Baral, Jicheng Zhao
ECAI2
2003 On Tight Logic Programs and Yet Another Translation from Normal Logic Programs to Propositional Logic
Fangzhen Lin, Jicheng Zhao
IJCAI2