Yisong Wang

According to our database, Yisong Wang authored at least 42 papers between 2004 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Object-Aware Image Augmentation for Audio-Visual Zero-Shot Learning.

Yujie Dong, Shiming Chen, Bowen Duan, Weiping Ding, Yisong Wang, Xinge You

IEEE Trans. Emerg. Top. Comput. Intell., December, 2025

Multi-Modal Prompts With Primitives Enhancement for Compositional Zero-Shot Learning.

Yutang Jin, Shiming Chen, Tianle Tong, Weiping Ding, Yisong Wang

IEEE Trans. Circuits Syst. Video Technol., December, 2025

Visual-Semantic Graph Matching Net for Zero-Shot Learning.

Bowen Duan, Shiming Chen, Yufei Guo, Guo-Sen Xie, Weiping Ding, Yisong Wang

IEEE Trans. Neural Networks Learn. Syst., June, 2025

Inductive Learning for Possibilistic Logic Programs Under Stable Models.

Hongbo Hu, Yisong Wang, Yi Huang, Kewen Wang

Theory Pract. Log. Program., 2025

VMDUnet: Advancing Glioma Segmentation Integrating With Mamba and Dual Cross-Attention.

Zhuo Chen, Yisong Wang, Fangfang Gou

Int. J. Imaging Syst. Technol., 2025

Witnesses for Answer Sets of Basic Logic Programs.

Yisong Wang, Xianglong Wang, Zhongtao Xie, Thomas Eiter

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025

Pathological Image Segmentation Technology Based on Dual Attention and Multi-Scale Feature Fusion Facilitates Ai-Assisted Diagnosis.

Quiyang Wang, Fangfang Gou, Yisong Wang, Jia Wu

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2025

2024

Satisfiability Threshold of Random Propositional S5 Theories.

Zaihang Su, Yisong Wang, Renyan Feng, Chan Zhou

Axioms, April, 2024

2023

Analyzing the Robustness of Complex Networks with Attack Success Rate.

Fangqun Yang, Yisong Wang

Entropy, November, 2023

A Q-based policy gradient optimization approach for Doudizhu.

Xiaomin Yu, Yisong Wang, Jin Qin, Panfeng Chen

Appl. Intell., June, 2023

Witnesses for Answer Sets of Logic Programs.

Yisong Wang, Thomas Eiter, Yuanlin Zhang, Fangzhen Lin

ACM Trans. Comput. Log., April, 2023

Fuzzy Multicontext Systems.

Lei Yang, Yisong Wang, Hongbo Hu, Renyan Feng, Jun Liu

IEEE Trans. Fuzzy Syst., March, 2023

Knowledge forgetting in propositional μ-calculus.

Renyan Feng, Yisong Wang, Ren Qian, Lei Yang, Panfeng Chen

Ann. Math. Artif. Intell., 2023

On One-Pixel Attacking Medical Images against Deep Learning Models.

Yisong Wang, Wei Wang, Xianglong Wang, Zhuo Chen

Proceedings of the 2023 4th International Symposium on Artificial Intelligence for Medicine Science, 2023

2022

Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach.

Renyan Feng, Erman Acar, Yisong Wang, Wanwei Liu, Stefan Schlobach, Weiping Ding

Inf. Sci., 2022

2021

Learning Disjunctive Logic Programs from Nondeterministic Interpretation Transitions.

Yi Huang, Yisong Wang, Jia-Huai You, Mingyi Zhang, Ying Zhang

New Gener. Comput., 2021

2020

On Sufficient and Necessary Conditions in Bounded CTL.

Renyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu

CoRR, 2020

On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach.

Renyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

2019

Semi-supervised feature learning for improving writer identification.

Shiming Chen, Yisong Wang, Chin-Teng Lin, Weiping Ding, Zehong Cao

Inf. Sci., 2019

2018

Semi-Supervised Feature Learning for Off-Line Writer Identifications.

Shiming Chen, Yisong Wang, Chin-Teng Lin, Zehong Cao

CoRR, 2018

2016

Learning Disjunctive Logic Programs from Interpretation Transition.

Yi Huang, Yisong Wang, Ying Zhang, Mingyi Zhang

Proceedings of the 26th International Conference on Inductive Logic Programming (Short papers), 2016

2015

On Forgetting Postulates in Answer Set Programming.

Jianmin Ji, Jia-Huai You, Yisong Wang

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Knowledge Forgetting in Circumscription: A Preliminary Report.

Yisong Wang, Kewen Wang, Zhe Wang, Zhiqiang Zhuang

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Knowledge Forgetting in Answer Set Programming.

Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang

J. Artif. Intell. Res., 2014

2013

Eliminating Nonmonotonic DL-Atoms in Description Logic Programs.

Yisong Wang, Thomas Eiter, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

Rule Revision in Normal DL Logic Programs.

Sebastian Binnewies, Yisong Wang, Bela Stantic, Kewen Wang

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

Belief Change in Nonmonotonic Multi-Context Systems.

Yisong Wang, Zhiqiang Zhuang, Kewen Wang

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Forgetting for Answer Set Programs Revisited.

Yisong Wang, Kewen Wang, Mingyi Zhang

Proceedings of the IJCAI 2013, 2013

Embedding Functions into Disjunctive Logic Programs.

Yisong Wang, Jia-Huai You, Mingyi Zhang

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

2012

The loop formula based semantics of description logic programs.

Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Mingyi Zhang

Theor. Comput. Sci., 2012

Forgetting in Logic Programs under Strong Equivalence.

Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms.

Yisong Wang, Fangzhen Lin, Mingyi Zhang, Jia-Huai You

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

Embedding Description Logic Programs into Default Logic

Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Thomas Eiter

CoRR, 2011

Constructing first-order loops of normal logic programs.

Yisong Wang, Ying Zhang, Mingyi Zhang

Proceedings of the Eighth International Conference on Fuzzy Systems and Knowledge Discovery, 2011

2010

Loop formulas for description logic programs.

Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen

Theory Pract. Log. Program., 2010

Weight constraint programs with evaluable functions.

Yisong Wang, Jia-Huai You, Fangzhen Lin, Li-Yan Yuan, Mingyi Zhang

Ann. Math. Artif. Intell., 2010

2009

Logic Programs, Compatibility and Forward Chaining Construction.

Yisong Wang, Mingyi Zhang, Jia-Huai You

J. Comput. Sci. Technol., 2009

Weight Constraint Programs with Functions.

Yisong Wang, Jia-Huai You, Li-Yan Yuan, Mingyi Zhang

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

2008

Answer Set Programming with Functions.

Fangzhen Lin, Yisong Wang

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

2007

Consistency Property of Finite FC-Normal Logic Programs.

Yisong Wang, Mingyi Zhang, Yu-Ping Shen

J. Comput. Sci. Technol., 2007

2006

First-Order Loop Formulas for Normal Logic Programs.

Yin Chen, Fangzhen Lin, Yisong Wang, Mingyi Zhang

Proceedings of the Proceedings, 2006

2004

Revision Programs with Explicit Negation.

Yisong Wang, Mingyi Zhang

Proceedings of the Theoretical Aspects of Computing, 2004