Follow
Yisong Wang
Yisong Wang
Department of Computer Science, Guizhou university
Verified email at gzu.edu.cn
Title
Cited by
Cited by
Year
Answer Set Programming with Functions.
F Lin, Y Wang
KR, 454-465, 2008
472008
Knowledge forgetting in answer set programming
Y Wang, Y Zhang, Y Zhou, M Zhang
Journal of Artificial Intelligence Research 50, 31-70, 2014
432014
Forgetting for Answer Set Programs Revisited.
Y Wang, K Wang, M Zhang
IJCAI, 1162-1168, 2013
392013
First-Order Loop Formulas for Normal Logic Programs.
Y Chen, F Lin, Y Wang, M Zhang
KR 6, 298-307, 2006
332006
Forgetting in logic programs under strong equivalence
Y Wang, Y Zhang, Y Zhou, M Zhang
Thirteenth International Conference on the Principles of Knowledge …, 2012
272012
Loop formulas for description logic programs
Y Wang, JH You, LY Yuan, YD Shen
Theory and Practice of Logic Programming 10 (4-6), 531-545, 2010
132010
The loop formula based semantics of description logic programs
Y Wang, JH You, LY Yuan, YD Shen, M Zhang
Theoretical computer science 415, 60-85, 2012
122012
A well-founded semantics for basic logic programs with arbitrary abstract constraint atoms
Y Wang, F Lin, M Zhang, JH You
Proceedings of the AAAI Conference on Artificial Intelligence 26 (1), 835-841, 2012
112012
Belief change in nonmonotonic multi-context systems
Y Wang, Z Zhuang, K Wang
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2013
102013
Knowledge forgetting in circumscription: A preliminary report
Y Wang, K Wang, Z Wang, Z Zhuang
Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015
82015
Weight constraint programs with functions
Y Wang, JH You, LY Yuan, M Zhang
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009
82009
Hamming distance encoding multihop relation knowledge graph completion
P Chen, Y Wang, Q Yu, Y Fan, R Feng
IEEE Access 8, 117146-117158, 2020
72020
On forgetting postulates in answer set programming
J Ji, JH You, Y Wang
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
72015
On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach
R Feng, E Acar, S Schlobach, Y Wang, W Liu
arXiv preprint arXiv:2003.06492, 2020
62020
Weight constraint programs with evaluable functions
Y Wang, JH You, F Lin, LY Yuan, M Zhang
Annals of mathematics and artificial intelligence 60 (3), 341-380, 2010
62010
A robust off-line writer identification method
C Shi-Ming, W Yi-Song
Acta Automatica Sinica 46 (1), 108-116, 2020
52020
On compatibility and forward chaining normality
M Zhang, Y Zhang, Y Wang
Proc. NMR06 Workshop, Lake District, UK, 163-171, 2006
42006
Eliminating nonmonotonic DL-Atoms in description logic programs
Y Wang, T Eiter, JH You, LY Yuan, YD Shen
International Conference on Web Reasoning and Rule Systems, 168-182, 2013
32013
Logic programs, compatibility and forward chaining construction
YS Wang, MY Zhang, JH You
Journal of Computer Science and Technology 24 (6), 1125-1137, 2009
32009
A system for normal logic programs with functions
Y Wang, K Wei
Journal of Guizhou University (Natural Sciences) 26 (2), 61-66, 2009
32009
The system can't perform the operation now. Try again later.
Articles 1–20