王以松｜贵州大学｜学者主页

2026

Uniform Interpolation Closure for Branching Time Temporal Logics

Ren-Yan Feng, Yisong Wang, Ming-Sen Deng, Erman Acar

Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence

DOI

2026

Weakest sufficient conditions of HML under weak bisimulation in communicating systems

Xin Zhou, Yisong Wang, Renyan Feng, Jonas Hansen, Panfeng Chen, Hongbo Hu, Songhang Xu

Annals of Mathematics and Artificial Intelligence

DOI

2025

Inductive Learning for Possibilistic Logic Programs Under Stable Models

Hongbo Hu, Yisong Wang, Yi Huang, Kewen Wang

Theory And Practice Of Logic Programming

DOI

2025

含凸抽象约束的逻辑程序复杂性

王翔龙，王以松，谢仲涛

《计算机科学》

2025

基于量化布尔公式的超时态计算树逻辑有界模型检测

明志勇，王以松，冯仁艳

《计算机工程与科学》

2025

Minimal reduct for propositional circumscription

Zhong-Tao Xie, Yisong Wang, Lei Yang, Renyan Feng

Frontiers in Artificial Intelligence

DOI

2025

Witnesses for Answer Sets of Basic Logic Programs

Yisong Wang, Xianglong Wang, Zhong-Tao Xie, Thomas Robert Eiter

International Joint Conference on Artificial Intelligence

DOI

2025

Learning possibilistic dynamic systems from state transitions

Hongbo Hu, Yisong Wang, Katsumi Inoue

Fuzzy Sets and Systems

DOI

2025

Inductive Learning Answer Set Programs from Instances and Solutions

Xiang Du, Yisong Wang, Zhongtao Xie, Xu Wang, Hongbo Hu

DOI

2024

命题知识库演化中的新知识特征（英文）

王以松，刘蕻，张颖，张明义，李丹宁，杨佳佳

《贵州大学学报(自然科学版)》

2024

云资源调度的回答集程序描述性求解

王卫舵，王以松，杨磊

《广西师范大学学报(自然科学版)》

2024

Satisfiability Threshold of Random Propositional S5 Theories

Zaihang Su, Yisong Wang, Renyan Feng, Chan Zhou

Axioms

DOI

2024

Strong Forgetting in Hennessy-Milner Logic

Xin Zhou, Yisong Wang, Renyan Feng, Songhang Xu

Lecture notes in computer science

DOI

2023

Witnesses for Answer Sets of Logic Programs

Yisong Wang, Thomas Eiter, Yuanlin Zhang, Fangzhen Lin

Acm Transactions On Computational Logic，Vol. 24, No. 2

DOI

2022

Knowledge forgetting in propositional μ-calculus

Ren-Yan Feng, Yisong Wang, Ren Qian, Lei Yang, Panfeng Chen

Annals of Mathematics and Artificial Intelligence

DOI

2022

Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach

Ren-Yan Feng, Erman Acar, Yisong Wang, Wan-Wei Liu, Stefan Schlobach, Weiping Ding

Information Sciences

DOI

2022

Fuzzy Multicontext Systems

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

IEEE Transactions on Fuzzy Systems

DOI

2021

基于MiniSAT的命题极小模型计算方法

张丽，王以松，谢仲涛，冯仁艳

《计算机研究与发展》

2020

LFNDIT:从不确定状态变换学习布尔网络

黄羿，孔世明，王以松，张明义，马新强

《计算机科学》

2020

On Sufficient and Necessary Conditions in Bounded CTL

Ren-Yan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wan-Wei Liu

International Conference on Principles of Knowledge Representation and Reasoning

DOI

2020

Learning Disjunctive Logic Programs from Nondeterministic Interpretation Transitions

Yi Huang, Yisong Wang, Jia-Huai You, Mingyi Zhang, Y. Zhang

New generation computing

DOI

2018

Logical difference of propositional theories

Yisong Wang, Hong Liu, Ying Zhang, Mingyi Zhang, Dan-Ning Li

Data Science and Knowledge Engineering for Sensing Decision Support

DOI

2018

Strongest necessary and weakest sufficient conditions in S5

Ren-Yan Feng, Yisong Wang, Panfeng Chen, Jin-Cheng Zhou

Data Science and Knowledge Engineering for Sensing Decision Support

DOI

2017

LFIO:基于输入输出的Datalog归纳学习系统

王旭，王以松，黄羿

《贵州大学学报(自然科学版)》

2017

Loop Formulas for Alog Answer Set Programs

Cuixia Li, Yisong Wang, Ren-Yan Feng, Qianqian Li

DOI

2016

随机k-SAT的相变上下界

李倩倩，王以松，冯仁艳，张振鹏

《贵州大学学报(自然科学版)》

2016

Learning Datalog Programs from Input and Output.

Yisong Wang, Xu Wang, Yi Huang

2016

Learning Disjunctive Logic Programs from Interpretation Transition

Yi Huang, Yisong Wang, Y. Zhang, Mingyi Zhang

International Conference on Inductive Logic Programming

2015

带函数析取逻辑程序的无基集及其应用

梅俊杰，刘蕻，原国伟，王以松

《计算机科学与探索》

2015

On Forgetting in Tractable Propositional Fragments

Yisong Wang

arXiv.org

2015

Knowledge Forgetting in Circumscription: A Preliminary Report

Yisong Wang, Ke-Wen Wang, Zhe Wang, Zhiqiang Zhuang

AAAI Conference on Artificial Intelligence

DOI

2015

On Forgetting Postulates in Answer Set Programming

Jianmin Ji, Jia-Huai You, Yisong Wang

International Joint Conference on Artificial Intelligence

2014

描述逻辑程序系统的设计与实现

杨卓群，王以松

《计算机科学与探索》

2014

Knowledge Forgetting in Answer Set Programming

Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang

Journal of Artificial Intelligence Research

DOI

2013

带模理论的回答集程序设计（英文）

王以松，张明义

《贵州大学学报(自然科学版)》

2013

随机图的哈密尔顿回路实验研究

梅俊杰，刘蕻，许欢，王以松

《贵州大学学报(自然科学版)》

2013

Rule Revision in Normal DL Logic Programs

Sebastian Binnewies, Yisong Wang, B. Stantic, Ke-Wen Wang

International Conference on Web Reasoning and Rule Systems

DOI

2013

Belief Change in Nonmonotonic Multi-Context Systems

Yisong Wang, Zhiqiang Zhuang, Ke-Wen Wang

International Conference on Logic Programming and Non-Monotonic Reasoning

DOI

2013

Eliminating Nonmonotonic DL-Atoms in Description Logic Programs

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

International Conference on Web Reasoning and Rule Systems

DOI

2013

Embedding Functions into Disjunctive Logic Programs

Yisong Wang, Jia-Huai You, Mingyi Zhang

International Colloquium on Theoretical Aspects of Computing

DOI

2013

Forgetting for answer set programs revisited

Yisong Wang, Kewen Wang, Mingyi Zhang

Griffith Research Online

2012

用daikon发现循环不变式

许欢，王以松

《贵州大学学报(自然科学版)》

2012

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

Yisong Wang, Fang-Zhen Lin, Mingyi Zhang, Jia-Huai You

AAAI Conference on Artificial Intelligence

DOI

2012

Forgetting in Logic Programs under Strong Equivalence

Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang

International Conference on Principles of Knowledge Representation and Reasoning

2012

The loop formula based semantics of description logic programs

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

Theoretical Computer Science

DOI

2011

汉密尔顿回路逻辑程序的两个结果(英文)

王以松，杨卓群，许欢

《贵州大学学报(自然科学版)》

2011

计算最大无基集的多项式时间算法

魏昆鹏，王以松

《计算机工程》

2011

语义网及其应用

杨卓群，王以松

《贵州大学学报(自然科学版)》

2011

Embedding Description Logic Programs into Default Logic

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

arXiv.org

2011

Answer Set Programming Modulo Theories

Yisong Wang, Mingyi Zhang

DOI

2011

The Semantic Web and Its Application

Yisong Wang

Journal of Guizhou University

2011

Polynomial Time Algorithm for Calculating the Greatest Unfounded Set

Yisong Wang

Jisuanji gongcheng

2011

Constructing first-order loops of normal logic programs

Yisong Wang, Y. Zhang, Mingyi Zhang

International Conference on Fuzzy Systems and Knowledge Discovery

DOI

2010

Loop formulas for description logic programs

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

Theory And Practice Of Logic Programming，Vol. 100

DOI

2010

Weight constraint programs with evaluable functions

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

Annals of Mathematics and Artificial Intelligence

DOI

2009

带函数的正规逻辑程序设计系统(英文)

王以松，魏昆鹏

《贵州大学学报(自然科学版)》

2009

Logic Programs, Compatibility and Forward Chaining Construction

Yisong Wang, Mingyi Zhang, Jia-Huai You

Journal of Computational Science and Technology

DOI

2009

Flexible Authorizations with Logic Program

Ming-Sheng Zhang, Wu Chen, Yisong Wang, Mingyi Zhang

2009 International Conference on Networks Security, Wireless Communications and Trusted Computing

DOI

2009

Weight Constraint Programs with Functions

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

International Conference on Logic Programming and Non-Monotonic Reasoning

DOI

2008

Answer Set Programming with Functions

Fang-Zhen Lin, Yisong Wang

International Conference on Principles of Knowledge Representation and Reasoning

2008

Some Results on Order-Consistent Logic Programs

Yisong Wang, Xin-Qian Ma

2008 Fifth International Conference on Fuzzy Systems and Knowledge Discovery

DOI

2007

逻辑程序的相容性与环公式研究

王以松

《贵州大学》

2007

Consistency Property of Finite FC-Normal Logic Programs

Yisong Wang, Mingyi Zhang, Yu-Ping Shen

Journal of Computational Science and Technology

DOI

2006

关于扩充的逻辑程序(英文)

王以松

《贵州大学学报(自然科学版)》

2006

First-Order Loop Formulas for Normal Logic Programs

Yin Chen, Fang-Zhen Lin, Yisong Wang, Mingyi Zhang

International Conference on Principles of Knowledge Representation and Reasoning

2006

Reduce Classica Negation and constraints in Logic programs

Yisong Wang

Journal of Guizhou University

2006

First-Order Loop Formulas for Normal Logic Programs.

Yin Chen, Fangzhen Lin, Yisong Wang, Mingyi Zhang

Rare & Special e-Zone (The Hong Kong University of Science and Technology)

DOI

2005

扩充修正程序的一些基本结果(英文)

王以松，周婵，詹颖

《贵州大学学报(自然科学版)》

2004

Revision Programs with Explicit Negation

Yisong Wang, Mingyi Zhang

International Colloquium on Theoretical Aspects of Computing

DOI

Under Consideration for Publication in Theory and Practice of Logic Programming Loop Formulas for Description Logic Programs *

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

精选作品

期刊论文

Uniform Interpolation Closure for Branching Time Temporal Logics

Weakest sufficient conditions of HML under weak bisimulation in communicating systems

Inductive Learning for Possibilistic Logic Programs Under Stable Models

含凸抽象约束的逻辑程序复杂性

基于量化布尔公式的超时态计算树逻辑有界模型检测

Minimal reduct for propositional circumscription

Witnesses for Answer Sets of Basic Logic Programs

Learning possibilistic dynamic systems from state transitions

Inductive Learning Answer Set Programs from Instances and Solutions

命题知识库演化中的新知识特征（英文）

云资源调度的回答集程序描述性求解

Satisfiability Threshold of Random Propositional S5 Theories

Strong Forgetting in Hennessy-Milner Logic

Witnesses for Answer Sets of Logic Programs

Knowledge forgetting in propositional μ-calculus

Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach

Fuzzy Multicontext Systems

基于MiniSAT的命题极小模型计算方法

LFNDIT:从不确定状态变换学习布尔网络

On Sufficient and Necessary Conditions in Bounded CTL

Learning Disjunctive Logic Programs from Nondeterministic Interpretation Transitions

Logical difference of propositional theories

Strongest necessary and weakest sufficient conditions in S5

LFIO:基于输入输出的Datalog归纳学习系统

Loop Formulas for Alog Answer Set Programs

随机k-SAT的相变上下界

Learning Datalog Programs from Input and Output.

Learning Disjunctive Logic Programs from Interpretation Transition

带函数析取逻辑程序的无基集及其应用

On Forgetting in Tractable Propositional Fragments

Knowledge Forgetting in Circumscription: A Preliminary Report

On Forgetting Postulates in Answer Set Programming

描述逻辑程序系统的设计与实现

Knowledge Forgetting in Answer Set Programming

带模理论的回答集程序设计（英文）

随机图的哈密尔顿回路实验研究

Rule Revision in Normal DL Logic Programs

Belief Change in Nonmonotonic Multi-Context Systems

Eliminating Nonmonotonic DL-Atoms in Description Logic Programs

Embedding Functions into Disjunctive Logic Programs

Forgetting for answer set programs revisited

用daikon发现循环不变式

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

Forgetting in Logic Programs under Strong Equivalence

The loop formula based semantics of description logic programs

汉密尔顿回路逻辑程序的两个结果(英文)

计算最大无基集的多项式时间算法

语义网及其应用

Embedding Description Logic Programs into Default Logic

Answer Set Programming Modulo Theories

The Semantic Web and Its Application

Polynomial Time Algorithm for Calculating the Greatest Unfounded Set

Constructing first-order loops of normal logic programs

Loop formulas for description logic programs

Weight constraint programs with evaluable functions

带函数的正规逻辑程序设计系统(英文)

Logic Programs, Compatibility and Forward Chaining Construction

Flexible Authorizations with Logic Program

Weight Constraint Programs with Functions

Answer Set Programming with Functions

Some Results on Order-Consistent Logic Programs

逻辑程序的相容性与环公式研究

Consistency Property of Finite FC-Normal Logic Programs

关于扩充的逻辑程序(英文)

First-Order Loop Formulas for Normal Logic Programs

Reduce Classica Negation and constraints in Logic programs

First-Order Loop Formulas for Normal Logic Programs.

扩充修正程序的一些基本结果(英文)

Revision Programs with Explicit Negation

Under Consideration for Publication in Theory and Practice of Logic Programming Loop Formulas for Description Logic Programs *

研究方向