Yisong Wang

45 papers A* 9B 2C 2Journal 26Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Inductive Learning for Possibilistic Logic Programs Under Stable Models.
CoRR
Hongbo Hu, Yisong Wang, Yi Huang, Kewen Wang
2025 J jnl
Inductive Learning for Possibilistic Logic Programs Under Stable Models.
Theory Pract. Log. Program.
Hongbo Hu, Yisong Wang, Yi Huang, Kewen Wang
2025 J jnl
Multi-Modal Prompts With Primitives Enhancement for Compositional Zero-Shot Learning.
IEEE Trans. Circuits Syst. Video Technol.
Yutang Jin, Shiming Chen, Tianle Tong, Weiping Ding, Yisong Wang
2025 J jnl
Object-Aware Image Augmentation for Audio-Visual Zero-Shot Learning.
IEEE Trans. Emerg. Top. Comput. Intell.
Yujie Dong, Shiming Chen, Bowen Duan, Weiping Ding, Yisong Wang, Xinge You
2025 — conf
Pathological Image Segmentation Technology Based on Dual Attention and Multi-Scale Feature Fusion Facilitates Ai-Assisted Diagnosis.
BIBM
Quiyang Wang, Fangfang Gou, Yisong Wang, Jia Wu
2025 J jnl
VMDUnet: Advancing Glioma Segmentation Integrating With Mamba and Dual Cross-Attention.
Int. J. Imaging Syst. Technol.
Zhuo Chen, Yisong Wang, Fangfang Gou
2025 J jnl
Visual-Semantic Graph Matching Net for Zero-Shot Learning.
IEEE Trans. Neural Networks Learn. Syst.
Bowen Duan, Shiming Chen, Yufei Guo, Guo-Sen Xie, Weiping Ding, Yisong Wang
2025 A* conf
Witnesses for Answer Sets of Basic Logic Programs.
IJCAI
Yisong Wang, Xianglong Wang, Zhongtao Xie, Thomas Eiter
2024 J jnl
Satisfiability Threshold of Random Propositional S5 Theories.
Axioms
Zaihang Su, Yisong Wang, Renyan Feng, Chan Zhou
2024 J jnl
Visual-Semantic Graph Matching Net for Zero-Shot Learning.
CoRR
Bowen Duan, Shiming Chen, Yufei Guo, Guo-Sen Xie, Weiping Ding, Yisong Wang
2023 J jnl
A Q-based policy gradient optimization approach for Doudizhu.
Appl. Intell.
Xiaomin Yu, Yisong Wang, Jin Qin, Panfeng Chen
2023 J jnl
Analyzing the Robustness of Complex Networks with Attack Success Rate.
Entropy
Fangqun Yang, Yisong Wang
2023 J jnl
Fuzzy Multicontext Systems.
IEEE Trans. Fuzzy Syst.
Lei Yang, Yisong Wang, Hongbo Hu, Renyan Feng, Jun Liu
2023 J jnl
Knowledge forgetting in propositional μ-calculus.
Ann. Math. Artif. Intell.
Renyan Feng, Yisong Wang, Ren Qian, Lei Yang, Panfeng Chen
2023 — conf
On One-Pixel Attacking Medical Images against Deep Learning Models.
ISAIMS
Yisong Wang, Wei Wang, Xianglong Wang, Zhuo Chen
2023 J jnl
Witnesses for Answer Sets of Logic Programs.
ACM Trans. Comput. Log.
Yisong Wang, Thomas Eiter, Yuanlin Zhang, Fangzhen Lin
2022 J jnl
Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach.
Inf. Sci.
Renyan Feng, Erman Acar, Yisong Wang, Wanwei Liu, Stefan Schlobach, Weiping Ding
2021 J jnl
Learning Disjunctive Logic Programs from Nondeterministic Interpretation Transitions.
New Gener. Comput.
Yi Huang, Yisong Wang, Jia-Huai You, Mingyi Zhang, Ying Zhang
2020 J jnl
On Sufficient and Necessary Conditions in Bounded CTL.
CoRR
Renyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu
2020 A* conf
On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach.
KR
Renyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu
2019 J jnl
Semi-supervised feature learning for improving writer identification.
Inf. Sci.
Shiming Chen, Yisong Wang, Chin-Teng Lin, Weiping Ding, Zehong Cao
2018 J jnl
Semi-Supervised Feature Learning for Off-Line Writer Identifications.
CoRR
Shiming Chen, Yisong Wang, Chin-Teng Lin, Zehong Cao
2016 — conf
Learning Disjunctive Logic Programs from Interpretation Transition.
ILP (Short Papers)
Yi Huang, Yisong Wang, Ying Zhang, Mingyi Zhang
2015 A* conf
Knowledge Forgetting in Circumscription: A Preliminary Report.
AAAI
Yisong Wang, Kewen Wang, Zhe Wang, Zhiqiang Zhuang
2015 A* conf
On Forgetting Postulates in Answer Set Programming.
IJCAI
Jianmin Ji, Jia-Huai You, Yisong Wang
2014 J jnl
Knowledge Forgetting in Answer Set Programming.
J. Artif. Intell. Res.
Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang
2013 B conf
Belief Change in Nonmonotonic Multi-Context Systems.
LPNMR
Yisong Wang, Zhiqiang Zhuang, Kewen Wang
2013 — conf
Eliminating Nonmonotonic DL-Atoms in Description Logic Programs.
RR
Yisong Wang, Thomas Eiter, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen
2013 C conf
Embedding Functions into Disjunctive Logic Programs.
ICTAC
Yisong Wang, Jia-Huai You, Mingyi Zhang
2013 A* conf
Forgetting for Answer Set Programs Revisited.
IJCAI
Yisong Wang, Kewen Wang, Mingyi Zhang
2013 — conf
Rule Revision in Normal DL Logic Programs.
RR
Sebastian Binnewies, Yisong Wang, Bela Stantic, Kewen Wang
2012 A* conf
A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms.
AAAI
Yisong Wang, Fangzhen Lin, Mingyi Zhang, Jia-Huai You
2012 A* conf
Forgetting in Logic Programs under Strong Equivalence.
KR
Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang
2012 J jnl
The loop formula based semantics of description logic programs.
Theor. Comput. Sci.
Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Mingyi Zhang
2011 — conf
Constructing first-order loops of normal logic programs.
FSKD
Yisong Wang, Ying Zhang, Mingyi Zhang
2011 J jnl
Embedding Description Logic Programs into Default Logic
CoRR
Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Thomas Eiter
2010 J jnl
Loop Formulas for Description Logic Programs
CoRR
Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen
2010 J jnl
Loop formulas for description logic programs.
Theory Pract. Log. Program.
Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen
2010 J jnl
Weight constraint programs with evaluable functions.
Ann. Math. Artif. Intell.
Yisong Wang, Jia-Huai You, Fangzhen Lin, Li-Yan Yuan, Mingyi Zhang
2009 J jnl
Logic Programs, Compatibility and Forward Chaining Construction.
J. Comput. Sci. Technol.
Yisong Wang, Mingyi Zhang, Jia-Huai You
2009 B conf
Weight Constraint Programs with Functions.
LPNMR
Yisong Wang, Jia-Huai You, Li-Yan Yuan, Mingyi Zhang
2008 A* conf
Answer Set Programming with Functions.
KR
Fangzhen Lin, Yisong Wang
2007 J jnl
Consistency Property of Finite FC-Normal Logic Programs.
J. Comput. Sci. Technol.
Yisong Wang, Mingyi Zhang, Yu-Ping Shen
2006 A* conf
First-Order Loop Formulas for Normal Logic Programs.
KR
Yin Chen, Fangzhen Lin, Yisong Wang, Mingyi Zhang
2004 C conf
Revision Programs with Explicit Negation.
ICTAC
Yisong Wang, Mingyi Zhang