出版物

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

引用代码 DOI

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

引用代码 DOI

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. IEEE Transactions on Neural Networks and Learning Systems.

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

引用代码 DOI

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

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

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.

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, 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, Mingyi Zhang (2009). Weight Constraint Programs with Functions. Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009.

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.