Publications

Wei Peng, Yisong Wang, Maonian Wu, Shiming Chen (2026). Zero-Shot Segmentation With Co-Occurrence Relation Enhancement.. IEEE Trans. Circuits Syst. Video Technol..

Renyan Feng, Yisong Wang, Mingsen Deng, Erman Acar (2026). Uniform Interpolation Closure for Branching Time Temporal Logics.. IJCAI/ECAI.

Zhongtao Xie, Yisong Wang, Lei Yang, Hongbo Hu (2026). A MaxSAT-based framework for computing circumscription.. Ann. Math. Artif. Intell..

Yisong Wang, Xianglong Wang, Zhongtao Xie, Thomas Eiter (2025). Witnesses for Answer Sets of Basic Logic Programs.. IJCAI.

Zhuo Chen, Yisong Wang, Fangfang Gou (2025). VMDUnet: Advancing Glioma Segmentation Integrating With Mamba and Dual Cross-Attention.. Int. J. Imaging Syst. Technol..

Quiyang Wang, Fangfang Gou, Yisong Wang, Jia Wu (2025). Pathological Image Segmentation Technology Based on Dual Attention and Multi-Scale Feature Fusion Facilitates Ai-Assisted Diagnosis.. BIBM.

Yujie Dong, Shiming Chen, Bowen Duan, Weiping Ding, Yisong Wang, Xinge You (2025). Object-Aware Image Augmentation for Audio-Visual Zero-Shot Learning.. IEEE Trans. Emerg. Top. Comput. Intell..

Yutang Jin, Shiming Chen, Tianle Tong, Weiping Ding, Yisong Wang (2025). Multi-Modal Prompts With Primitives Enhancement for Compositional Zero-Shot Learning.. IEEE Trans. Circuits Syst. Video Technol..

Zhongtao Xie, Yisong Wang, Lei Yang, Renyan Feng (2025). Minimal reduct for propositional circumscription.. Frontiers Artif. Intell..

Hongbo Hu, Yisong Wang, Katsumi Inoue (2025). Learning possibilistic dynamic systems from state transitions. Fuzzy Sets and Systems.

Hongbo Hu, Yisong Wang, Yi Huang, Kewen Wang (2025). Inductive Learning for Possibilistic Logic Programs Under Stable Models.. Theory Pract. Log. Program..

Hongbo Hu, Yisong Wang, Yi Huang, Kewen Wang (2025). Inductive Learning for Possibilistic Logic Programs Under Stable Models.. CoRR.

Xin Zhou, Yisong Wang, Renyanfeng, Songhangxu (2024). Strong Forgetting in Hennessy-Milner Logic. The 18th International Symposium on Theoretical Aspects of Software Engineering.

Yisong Wang, Hong Liu, Ying Zhang, Mingyi Zhang, Danning Li, Jiajia Yang (2024). What's new is the evolution of propositional knowledge bases?. Journal of Guizhou University (Natural Sciences).

Bowen Duan, Shiming Chen, Yufei Guo, Guo-Sen Xie, Weiping Ding, Yisong Wang (2024). Visual-Semantic Graph Matching Net for Zero-Shot Learning.. CoRR.

Bowen Duan, Shiming Chen, Yufei Guo, Guo-Sen Xie, Weiping Ding, Yisong Wang (2024). Visual--Semantic Graph Matching Net for Zero-Shot Learning. IEEE Transactions on Neural Networks and Learning Systems.

Zaihang Su, Yisong Wang, Renyan Feng, Chan Zhou (2024). Satisfiability Threshold of Random Propositional S5 Theories.. Axioms.

Yisong Wang, Thomas Eiter, Yuanlin Zhang, Fangzhen Lin (2023). Witnesses for Answer Sets of Logic Programs. ACM Trans. Comput. Logic.

张明义, 王以松 (2023). 缺省逻辑与回答集程序. 中国科学技术出版社.

Yisong Wang, Wei Wang, Xianglong Wang, Zhuo Chen (2023). On One-Pixel Attacking Medical Images against Deep Learning Models.. ISAIMS.

Renyan Feng, Yisong Wang, Ren Qian, Lei Yang, Panfeng Chen (2023). Knowledge forgetting in propositional (μ)-calculus. Ann. Math. Artif. Intell..

Lei Yang, Yisong Wang, Hongbo Hu, Renyan Feng, Jun Liu (2023). Fuzzy Multicontext Systems.. IEEE Trans. Fuzzy Syst..

Fangqun Yang, Yisong Wang (2023). Analyzing the Robustness of Complex Networks with Attack Success Rate.. Entropy.

Xiaomin Yu, Yisong Wang, Jin Qin, Panfeng Chen (2023). A Q-based policy gradient optimization approach for Doudizhu.. Appl. Intell..

Panfeng Chen, Yisong Wang, Xiaomin Yu, Renyan Feng (2022). QLogicE: Quantum Logic Empowered Embedding for Knowledge Graph Completion.. Knowl. Based Syst..

Renyan Feng, Erman Acar, Yisong Wang, Wanwei Liu, Stefan Schlobach, Weiping Ding (2022). Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach.. Inf. Sci..

Zhang Li, Wang Yisong, Xie Zhongtao, Feng Renyan (2021). Two New Approaches of Computing Propositional Minimal Models. Journal of Computer Research and Development (in Chinese).

Yi Huang, Yisong Wang, Jia-Huai You, Mingyi Zhang, Ying Zhang (2021). Learning Disjunctive Logic Programs from Nondeterministic Interpretation Transitions. New Gener. Comput..

Zhang Li, Wang Yi-Song, Xie Zhong-Tao, Feng Ren-Yan (2021). Computing propositional minimal models: minisat-based approaches. Journal of Computer Research and Development.

Renyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu (2020). On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach. Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning.

Renyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu (2020). On Sufficient and Necessary Conditions in Bounded CTL.. CoRR.

Panfeng Chen, Yisong Wang, Quan Yu, Yi Fan, Renyan Feng (2020). Hamming Distance Encoding Multihop Relation Knowledge Graph Completion.. IEEE Access.

Shiming Chen, Yisong Wang, Chin-Teng Lin, Weiping Ding, Zehong Cao (2019). Semi-supervised feature learning for improving writer identification.. Inf. Sci..

Shiming Chen, Yisong Wang, Chin-Teng Lin, Zehong Cao (2018). Semi-Supervised Feature Learning for Off-Line Writer Identifications.. CoRR.

Yisong Wang, Hong Liu, Ying Zhang, Mingyi Zhang, Danning Li (2018). Logical Difference of Propositional Theories. The 13th International FLINS Conference on Data Science and Knowledge Engineering for Sensing Decision Support.

Yi Huang, Yisong Wang, Ying Zhang, Mingyi Zhang (2016). Learning Disjunctive Logic Programs from Interpretation Transition(🏆Best student paper🏆). Proceedings of the 26th International Conference on Inductive Logic Programming (Short papers), London, UK, 2016..

Jianmin Ji, Jia-Huai You, Yisong Wang (2015). On Forgetting Postulates in Answer Set Programming. Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015.

Yisong Wang (2015). On Forgetting in Tractable Propositional Fragments.

Yisong Wang, Kewen Wang, Zhe Wang, Zhiqiang Zhuang (2015). Knowledge Forgetting in Circumscription: A Preliminary Report. Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA..

Yisong Wang (2014). On Forgetting in Fragments of Propositional Logic.

Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang (2014). Knowledge Forgetting in Answer Set Programming. Journal of Artificial Intelligence Research.

Sebastian Binnewies, Yisong Wang, Bela Stantic, Kewen Wang (2013). Rule Revision in Normal DL Logic Programs. Web Reasoning and Rule Systems - 7th International Conference, RR 2013.

Yisong Wang, Kewen Wang, Mingyi Zhang (2013). Forgetting for Answer Set Programs Revisited. IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence.

Yisong Wang, Jia-Huai You, Mingyi Zhang (2013). Embedding Functions into Disjunctive Logic Programs. Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium.

Yisong Wang, Thomas Eiter, Jia-Huai You, Li Yan Yuan, Yi-Dong Shen (2013). Eliminating Nonmonotonic DL-Atoms in Description Logic Programs. Web Reasoning and Rule Systems - 7th International Conference, RR 2013.

Yisong Wang, Zhiqiang Zhuang, Kewen Wang (2013). Belief Change in Nonmonotonic Multi-Context Systems. Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013.

Yisong Wang, Jia-Huai You, Li Yan Yuan, Yi-Dong Shen, Mingyi Zhang (2012). The Loop Formula based Semantics of Description Logic Programs. Theoretical Computer Science.

Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang (2012). Forgetting in Logic Programs under Strong Equivalence. Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference.

Yisong Wang, Fangzhen Lin, Mingyi Zhang, Jia-Huai You (2012). A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms. Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence.

Yisong Wang, Jia-Huai You, Li Yan Yuan, Yi-Dong Shen, Thomas Eiter (2011). Embedding Description Logic Programs into Default Logic. CoRR.

Yisong Wang, Mingyi Zhang (2011). Answer set programming modulo theories. Applied Informatics and Communication - International Conference.

Yisong Wang, Jia-Huai You, Fangzhen Lin, Li Yan Yuan, Mingyi Zhang (2010). Weight constraint programs with evaluable functions. Annals of Mathematics and Artificial Intelligence.

Yisong Wang, Jia-Huai You, Liyan Yuan, Yi-Dong Shen (2010). Normal Description Logic Programs as Default Theories.

Yisong Wang, Jia-Huai You, Liyan Yuan, Yi-Dong Shen (2010). Loop Formulas for Description Logic Programs. Theory and Practice of Logic Programming, 26th Int’l. Conference on Logic Programming (ICLP'10) Special Issue.

Yisong Wang, Jia-Huai You, Li Yan Yuan, Yi-Dong Shen (2010). Loop Formulas for Description Logic Programs. CoRR.

Yisong Wang, Jia-Huai You, Li Yan Yuan, Mingyi Zhang (2009). Weight Constraint Programs with Functions. Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009.

Yisong Wang, Mingyi Zhang, Jia-Huai You (2009). Logic Programs, Compatibility and Forward Chaining Construction.. J. Comput. Sci. Technol..

Yisong Wang, Kunpeng Wei (2009). A System for Normal Logic programs with Functions. Journal of Guizhou University (Natural Sciences).

Yisong Wang, Xinqiang Ma (2008). Some Results on Order-Consistent Logic Program. The Fifth International Conference on Fuzzy Systems and Knowledge Discovery.

Fangzhen Lin, Yisong Wang (2008). Answer set programming with functions. Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning.

Yisong Wang, Mingyi Zhang, Yuping Shen (2007). Consistency Property of Finite FC-Normal Logic Programs. Journal of Computer Science and Technology.

Mingyi Zhang, Ying Zhang, Yisong Wang (2006). On Compatibility and Forward Chaining Normality. The Eleventh International Workshop on Non-Monotonic Reasoning.

Yin Chen, Fangzhen Lin, Yisong Wang, Mingyi Zhang (2006). First-Order Loop Formulas for Normal Logic Programs(🏆Ray Reiter Best paper🏆). Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006).

Yisong Wang, Mingyi Zhang (2004). Revision Programs with Explicit Negation. First International Colloquium of Theoretical Aspects of Computing.