default search action
BibTeX records: Yisong Wang
@article{DBLP:journals/access/WangW24b, author = {Yisong Wang and Mingzhi Wang}, title = {Robust scRNA-seq Cell Types Identification by Self-Guided Deep Clustering Network}, journal = {{IEEE} Access}, volume = {12}, pages = {60222--60233}, year = {2024}, url = {https://doi.org/10.1109/ACCESS.2024.3394038}, doi = {10.1109/ACCESS.2024.3394038}, timestamp = {Tue, 24 Sep 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/WangW24b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/axioms/SuWFZ24, author = {Zaihang Su and Yisong Wang and Renyan Feng and Chan Zhou}, title = {Satisfiability Threshold of Random Propositional {S5} Theories}, journal = {Axioms}, volume = {13}, number = {4}, pages = {241}, year = {2024}, url = {https://doi.org/10.3390/axioms13040241}, doi = {10.3390/AXIOMS13040241}, timestamp = {Fri, 31 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/axioms/SuWFZ24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acns/ZhangWZLWB24, author = {Mengyu Zhang and Long Wang and Xiaoping Zhang and Zhuotao Liu and Yisong Wang and Han Bao}, editor = {Christina P{\"{o}}pper and Lejla Batina}, title = {Efficient Clustering on Encrypted Data}, booktitle = {Applied Cryptography and Network Security - 22nd International Conference, {ACNS} 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {14583}, pages = {213--236}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-54770-6\_9}, doi = {10.1007/978-3-031-54770-6\_9}, timestamp = {Mon, 11 Mar 2024 15:20:49 +0100}, biburl = {https://dblp.org/rec/conf/acns/ZhangWZLWB24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icc/ZhangWZWS24, author = {Mengyu Zhang and Long Wang and Xiaoping Zhang and Yisong Wang and Wenhou Sun}, title = {Fully Privacy-Preserving and Efficient Clustering Scheme based on Fully Homomorphic Encryption}, booktitle = {{IEEE} International Conference on Communications, {ICC} 2024, Denver, CO, USA, June 9-13, 2024}, pages = {2694--2700}, publisher = {{IEEE}}, year = {2024}, url = {https://doi.org/10.1109/ICC51166.2024.10622837}, doi = {10.1109/ICC51166.2024.10622837}, timestamp = {Mon, 02 Sep 2024 15:04:36 +0200}, biburl = {https://dblp.org/rec/conf/icc/ZhangWZWS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclr/ZhouCWXDZDTG24, author = {Qinhong Zhou and Sunli Chen and Yisong Wang and Haozhe Xu and Weihua Du and Hongxin Zhang and Yilun Du and Joshua B. Tenenbaum and Chuang Gan}, title = {{HAZARD} Challenge: Embodied Decision Making in Dynamically Changing Environments}, booktitle = {The Twelfth International Conference on Learning Representations, {ICLR} 2024, Vienna, Austria, May 7-11, 2024}, publisher = {OpenReview.net}, year = {2024}, url = {https://openreview.net/forum?id=n6mLhaBahJ}, timestamp = {Wed, 07 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclr/ZhouCWXDZDTG24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/ZhouWFX24, author = {Xin Zhou and Yisong Wang and Renyan Feng and Songhang Xu}, editor = {Wei{-}Ngan Chin and Zhiwu Xu}, title = {Strong Forgetting in Hennessy-Milner Logic}, booktitle = {Theoretical Aspects of Software Engineering - 18th International Symposium, {TASE} 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14777}, pages = {465--472}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-64626-3\_27}, doi = {10.1007/978-3-031-64626-3\_27}, timestamp = {Sat, 27 Jul 2024 22:55:02 +0200}, biburl = {https://dblp.org/rec/conf/tase/ZhouWFX24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2401-12975, author = {Qinhong Zhou and Sunli Chen and Yisong Wang and Haozhe Xu and Weihua Du and Hongxin Zhang and Yilun Du and Joshua B. Tenenbaum and Chuang Gan}, title = {{HAZARD} Challenge: Embodied Decision Making in Dynamically Changing Environments}, journal = {CoRR}, volume = {abs/2401.12975}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2401.12975}, doi = {10.48550/ARXIV.2401.12975}, eprinttype = {arXiv}, eprint = {2401.12975}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2401-12975.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/amai/FengWQYC23, author = {Renyan Feng and Yisong Wang and Ren Qian and Lei Yang and Panfeng Chen}, title = {Knowledge forgetting in propositional {\(\mu\)}-calculus}, journal = {Ann. Math. Artif. Intell.}, volume = {91}, number = {1}, pages = {1--43}, year = {2023}, url = {https://doi.org/10.1007/s10472-022-09803-4}, doi = {10.1007/S10472-022-09803-4}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/amai/FengWQYC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apin/YuWQC23, author = {Xiaomin Yu and Yisong Wang and Jin Qin and Panfeng Chen}, title = {A Q-based policy gradient optimization approach for Doudizhu}, journal = {Appl. Intell.}, volume = {53}, number = {12}, pages = {15372--15389}, year = {2023}, url = {https://doi.org/10.1007/s10489-022-04281-x}, doi = {10.1007/S10489-022-04281-X}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/apin/YuWQC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/entropy/YangW23, author = {Fangqun Yang and Yisong Wang}, title = {Analyzing the Robustness of Complex Networks with Attack Success Rate}, journal = {Entropy}, volume = {25}, number = {11}, pages = {1508}, year = {2023}, url = {https://doi.org/10.3390/e25111508}, doi = {10.3390/E25111508}, timestamp = {Sat, 13 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entropy/YangW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tdsc/ZhouWWGCDC23, author = {Jun Zhou and Nan Wu and Yisong Wang and Shouzhen Gu and Zhenfu Cao and Xiaolei Dong and Kim{-}Kwang Raymond Choo}, title = {A Differentially Private Federated Learning Model Against Poisoning Attacks in Edge Computing}, journal = {{IEEE} Trans. Dependable Secur. Comput.}, volume = {20}, number = {3}, pages = {1941--1958}, year = {2023}, url = {https://doi.org/10.1109/TDSC.2022.3168556}, doi = {10.1109/TDSC.2022.3168556}, timestamp = {Fri, 02 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tdsc/ZhouWWGCDC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tfs/YangWHFL23, author = {Lei Yang and Yisong Wang and Hong{-}bo Hu and Renyan Feng and Jun Liu}, title = {Fuzzy Multicontext Systems}, journal = {{IEEE} Trans. Fuzzy Syst.}, volume = {31}, number = {3}, pages = {745--759}, year = {2023}, url = {https://doi.org/10.1109/TFUZZ.2022.3189391}, doi = {10.1109/TFUZZ.2022.3189391}, timestamp = {Sat, 11 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tfs/YangWHFL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/WangEZL23, author = {Yisong Wang and Thomas Eiter and Yuanlin Zhang and Fangzhen Lin}, title = {Witnesses for Answer Sets of Logic Programs}, journal = {{ACM} Trans. Comput. Log.}, volume = {24}, number = {2}, pages = {15:1--15:46}, year = {2023}, url = {https://doi.org/10.1145/3568955}, doi = {10.1145/3568955}, timestamp = {Mon, 22 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tocl/WangEZL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icann/SunHW23, author = {Shuo Sun and Hongxu Hou and Yisong Wang}, editor = {Lazaros Iliadis and Antonios Papaleonidas and Plamen Angelov and Chrisina Jayne}, title = {Higher Target Relevance Parallel Machine Translation with Low-Frequency Word Enhancement}, booktitle = {Artificial Neural Networks and Machine Learning - {ICANN} 2023 - 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part {VIII}}, series = {Lecture Notes in Computer Science}, volume = {14261}, pages = {331--344}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-44198-1\_28}, doi = {10.1007/978-3-031-44198-1\_28}, timestamp = {Wed, 10 Jul 2024 11:55:46 +0200}, biburl = {https://dblp.org/rec/conf/icann/SunHW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icc/BaoZWZWZ23, author = {Han Bao and Xiaoping Zhang and Gaoyuan Wang and Mengyu Zhang and Yisong Wang and Youjian Zhao}, title = {RepuFilter: Prevention of Untrusted Packet Spread Based on Trust Evaluation in Wireless Networks}, booktitle = {{IEEE} International Conference on Communications, {ICC} 2023, Rome, Italy, May 28 - June 1, 2023}, pages = {5972--5977}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ICC45041.2023.10278691}, doi = {10.1109/ICC45041.2023.10278691}, timestamp = {Thu, 02 Nov 2023 17:09:41 +0100}, biburl = {https://dblp.org/rec/conf/icc/BaoZWZWZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcnn/SunHYW23, author = {Shuo Sun and Hongxu Hou and Zongheng Yang and Yisong Wang}, title = {Multilingual Pre-training Model-Assisted Contrastive Learning Neural Machine Translation}, booktitle = {International Joint Conference on Neural Networks, {IJCNN} 2023, Gold Coast, Australia, June 18-23, 2023}, pages = {1--7}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/IJCNN54540.2023.10191766}, doi = {10.1109/IJCNN54540.2023.10191766}, timestamp = {Wed, 09 Aug 2023 16:25:09 +0200}, biburl = {https://dblp.org/rec/conf/ijcnn/SunHYW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isaims/WangWWC23, author = {Yisong Wang and Wei Wang and Xianglong Wang and Zhuo Chen}, title = {On One-Pixel Attacking Medical Images against Deep Learning Models}, booktitle = {Proceedings of the 2023 4th International Symposium on Artificial Intelligence for Medicine Science, {ISAIMS} 2023, Chengdu, China, October 20-22, 2023}, pages = {248--257}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3644116.3644161}, doi = {10.1145/3644116.3644161}, timestamp = {Mon, 15 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isaims/WangWWC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nlpcc/SunHYW23, author = {Shuo Sun and Hongxu Hou and Zongheng Yang and Yisong Wang}, editor = {Fei Liu and Nan Duan and Qingting Xu and Yu Hong}, title = {Faster and More Robust Low-Resource Nearest Neighbor Machine Translation}, booktitle = {Natural Language Processing and Chinese Computing - 12th National {CCF} Conference, {NLPCC} 2023, Foshan, China, October 12-15, 2023, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {14303}, pages = {404--415}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-44696-2\_32}, doi = {10.1007/978-3-031-44696-2\_32}, timestamp = {Wed, 11 Oct 2023 18:49:12 +0200}, biburl = {https://dblp.org/rec/conf/nlpcc/SunHYW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2310-05242, author = {Tianyang Zhong and Wei Zhao and Yutong Zhang and Yi Pan and Peixin Dong and Zuowei Jiang and Xiaoyan Kui and Youlan Shang and Li Yang and Yaonai Wei and Longtao Yang and Hao Chen and Huan Zhao and Yuxiao Liu and Ning Zhu and Yiwei Li and Yisong Wang and Jiaqi Yao and Jiaqi Wang and Ying Zeng and Lei He and Chao Zheng and Zhixue Zhang and Ming Li and Zhengliang Liu and Haixing Dai and Zihao Wu and Lu Zhang and Shu Zhang and Xiaoyan Cai and Xintao Hu and Shijie Zhao and Xi Jiang and Xin Zhang and Xiang Li and Dajiang Zhu and Lei Guo and Dinggang Shen and Junwei Han and Tianming Liu and Jun Liu and Tuo Zhang}, title = {ChatRadio-Valuer: {A} Chat Large Language Model for Generalizable Radiology Report Generation Based on Multi-institution and Multi-system Data}, journal = {CoRR}, volume = {abs/2310.05242}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2310.05242}, doi = {10.48550/ARXIV.2310.05242}, eprinttype = {arXiv}, eprint = {2310.05242}, timestamp = {Tue, 30 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2310-05242.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iotj/LiTZXWX22, author = {Yijing Li and Xiaofeng Tao and Xuefei Zhang and Jin Xu and Yisong Wang and Wenbo Xia}, title = {A DAG-Based Reputation Mechanism for Preventing Peer Disclosure in SIoV}, journal = {{IEEE} Internet Things J.}, volume = {9}, number = {23}, pages = {24095--24106}, year = {2022}, url = {https://doi.org/10.1109/JIOT.2022.3189108}, doi = {10.1109/JIOT.2022.3189108}, timestamp = {Mon, 05 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iotj/LiTZXWX22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isci/FengAWLSD22, author = {Renyan Feng and Erman Acar and Yisong Wang and Wanwei Liu and Stefan Schlobach and Weiping Ding}, title = {Computing Sufficient and Necessary Conditions in {CTL:} {A} Forgetting Approach}, journal = {Inf. Sci.}, volume = {616}, pages = {474--504}, year = {2022}, url = {https://doi.org/10.1016/j.ins.2022.10.124}, doi = {10.1016/J.INS.2022.10.124}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/isci/FengAWLSD22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/kbs/ChenWYF22, author = {Panfeng Chen and Yisong Wang and Xiaomin Yu and Renyan Feng}, title = {QLogicE: Quantum Logic Empowered Embedding for Knowledge Graph Completion}, journal = {Knowl. Based Syst.}, volume = {239}, pages = {107963}, year = {2022}, url = {https://doi.org/10.1016/j.knosys.2021.107963}, doi = {10.1016/J.KNOSYS.2021.107963}, timestamp = {Tue, 15 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/kbs/ChenWYF22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/remotesensing/LiuWCTWXT22, author = {Guihua Liu and Yisong Wang and Yanan Chen and Xingqing Tong and Yuandong Wang and Jing Xie and Xuguang Tang}, title = {Remotely Monitoring Vegetation Productivity in Two Contrasting Subtropical Forest Ecosystems Using Solar-Induced Chlorophyll Fluorescence}, journal = {Remote. Sens.}, volume = {14}, number = {6}, pages = {1328}, year = {2022}, url = {https://doi.org/10.3390/rs14061328}, doi = {10.3390/RS14061328}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/remotesensing/LiuWCTWXT22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccmt/WangHSWJYW22, author = {Pengcong Wang and Hongxu Hou and Shuo Sun and Nier Wu and Weichen Jian and Zongheng Yang and Yisong Wang}, editor = {Tong Xiao and Juan Pino}, title = {Hot-Start Transfer Learning Combined with Approximate Distillation for Mongolian-Chinese Neural Machine Translation}, booktitle = {Machine Translation - 18th China Conference, {CCMT} 2022, Lhasa, China, August 6-10, 2022, Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {1671}, pages = {12--23}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-981-19-7960-6\_2}, doi = {10.1007/978-981-19-7960-6\_2}, timestamp = {Mon, 08 May 2023 14:38:37 +0200}, biburl = {https://dblp.org/rec/conf/ccmt/WangHSWJYW22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccmt/SunHWYWWJ22, author = {Shuo Sun and Hongxu Hou and Nier Wu and Zongheng Yang and Yisong Wang and Pengcong Wang and Weichen Jian}, editor = {Tong Xiao and Juan Pino}, title = {Improving the Robustness of Low-Resource Neural Machine Translation with Adversarial Examples}, booktitle = {Machine Translation - 18th China Conference, {CCMT} 2022, Lhasa, China, August 6-10, 2022, Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {1671}, pages = {60--71}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-981-19-7960-6\_7}, doi = {10.1007/978-981-19-7960-6\_7}, timestamp = {Fri, 09 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ccmt/SunHWYWWJ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccmt/WangHSWJYW22a, author = {Yisong Wang and Hongxu Hou and Shuo Sun and Nier Wu and Weichen Jian and Zongheng Yang and Pengcong Wang}, editor = {Tong Xiao and Juan Pino}, title = {Dynamic Mask Curriculum Learning for Non-Autoregressive Neural Machine Translation}, booktitle = {Machine Translation - 18th China Conference, {CCMT} 2022, Lhasa, China, August 6-10, 2022, Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {1671}, pages = {72--81}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-981-19-7960-6\_8}, doi = {10.1007/978-981-19-7960-6\_8}, timestamp = {Fri, 09 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ccmt/WangHSWJYW22a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccmt/YangHSWWJW22, author = {Zongheng Yang and Hongxu Hou and Shuo Sun and Nier Wu and Yisong Wang and Weichen Jian and Pengcong Wang}, editor = {Tong Xiao and Juan Pino}, title = {Dynamic Fusion Nearest Neighbor Machine Translation via Dempster-Shafer Theory}, booktitle = {Machine Translation - 18th China Conference, {CCMT} 2022, Lhasa, China, August 6-10, 2022, Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {1671}, pages = {82--92}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-981-19-7960-6\_9}, doi = {10.1007/978-981-19-7960-6\_9}, timestamp = {Fri, 09 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ccmt/YangHSWWJW22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictai/SunHYWW22, author = {Shuo Sun and Hongxu Hou and Zongheng Yang and Yisong Wang and Nier Wu}, editor = {Marek Z. Reformat and Du Zhang and Nikolaos G. Bourbakis}, title = {Generating Adversarial Examples for Low-Resource {NMT} via Multi-Reward Reinforcement Learning}, booktitle = {34th {IEEE} International Conference on Tools with Artificial Intelligence, {ICTAI} 2022, Macao, China, October 31 - November 2, 2022}, pages = {1175--1180}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/ICTAI56018.2022.00179}, doi = {10.1109/ICTAI56018.2022.00179}, timestamp = {Tue, 25 Apr 2023 16:51:01 +0200}, biburl = {https://dblp.org/rec/conf/ictai/SunHYWW22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcnn/JianHWSYWW22, author = {Weichen Jian and Hongxu Hou and Nier Wu and Shuo Sun and Zongheng Yang and Yisong Wang and Pengcong Wang}, title = {Multimodal Neural Machine Translation for Mongolian to Chinese}, booktitle = {International Joint Conference on Neural Networks, {IJCNN} 2022, Padua, Italy, July 18-23, 2022}, pages = {1--8}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/IJCNN55064.2022.9892831}, doi = {10.1109/IJCNN55064.2022.9892831}, timestamp = {Mon, 10 Oct 2022 17:40:09 +0200}, biburl = {https://dblp.org/rec/conf/ijcnn/JianHWSYWW22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wcsp/WangZWCT22, author = {Yisong Wang and Xuefei Zhang and Xiaochen Wang and Qimei Cui and Xiaofeng Tao}, title = {Block Propagation in Blockchain-Based 6G Network: From a Communication Perspective}, booktitle = {14th International Conference on Wireless Communications and Signal Processing, {WCSP} 2022, Nanjing, China, November 1-3, 2022}, pages = {6--11}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/WCSP55476.2022.10039254}, doi = {10.1109/WCSP55476.2022.10039254}, timestamp = {Fri, 24 Feb 2023 10:09:49 +0100}, biburl = {https://dblp.org/rec/conf/wcsp/WangZWCT22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ngc/HuangWYZZ21, author = {Yi Huang and Yisong Wang and Jia{-}Huai You and Mingyi Zhang and Ying Zhang}, title = {Learning Disjunctive Logic Programs from Nondeterministic Interpretation Transitions}, journal = {New Gener. Comput.}, volume = {39}, number = {1}, pages = {273--301}, year = {2021}, url = {https://doi.org/10.1007/s00354-020-00112-0}, doi = {10.1007/S00354-020-00112-0}, timestamp = {Thu, 08 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ngc/HuangWYZZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/remotesensing/LiWHLWM21, author = {Jun Li and Zhaocong Wu and Zhongwen Hu and Zilong Li and Yisong Wang and Matthieu Molinier}, title = {Deep Learning Based Thin Cloud Removal Fusing Vegetation Red Edge and Short Wave Infrared Spectral Information for Sentinel-2A Imagery}, journal = {Remote. Sens.}, volume = {13}, number = {1}, pages = {157}, year = {2021}, url = {https://doi.org/10.3390/rs13010157}, doi = {10.3390/RS13010157}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/remotesensing/LiWHLWM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tvt/WangWZX21, author = {Yisong Wang and Chunyan Wang and Wanzhong Zhao and Can Xu}, title = {Decision-Making and Planning Method for Autonomous Vehicles Based on Motivation and Risk Assessment}, journal = {{IEEE} Trans. Veh. Technol.}, volume = {70}, number = {1}, pages = {107--120}, year = {2021}, url = {https://doi.org/10.1109/TVT.2021.3049794}, doi = {10.1109/TVT.2021.3049794}, timestamp = {Wed, 15 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tvt/WangWZX21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/ChenWYFF20, author = {Panfeng Chen and Yisong Wang and Quan Yu and Yi Fan and Renyan Feng}, title = {Hamming Distance Encoding Multihop Relation Knowledge Graph Completion}, journal = {{IEEE} Access}, volume = {8}, pages = {117146--117158}, year = {2020}, url = {https://doi.org/10.1109/ACCESS.2020.3004448}, doi = {10.1109/ACCESS.2020.3004448}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/ChenWYFF20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lgrs/WuLWHM20, author = {Zhaocong Wu and Jun Li and Yisong Wang and Zhongwen Hu and Matthieu Molinier}, title = {Self-Attentive Generative Adversarial Network for Cloud Detection in High Resolution Remote Sensing Images}, journal = {{IEEE} Geosci. Remote. Sens. Lett.}, volume = {17}, number = {10}, pages = {1792--1796}, year = {2020}, url = {https://doi.org/10.1109/LGRS.2019.2955071}, doi = {10.1109/LGRS.2019.2955071}, timestamp = {Tue, 27 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lgrs/WuLWHM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/FengASWL20, author = {Renyan Feng and Erman Acar and Stefan Schlobach and Yisong Wang and Wanwei Liu}, editor = {Diego Calvanese and Esra Erdem and Michael Thielscher}, title = {On Sufficient and Necessary Conditions in Bounded {CTL:} {A} Forgetting Approach}, booktitle = {Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece, September 12-18, 2020}, pages = {361--370}, year = {2020}, url = {https://doi.org/10.24963/kr.2020/37}, doi = {10.24963/KR.2020/37}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kr/FengASWL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2003-06492, author = {Renyan Feng and Erman Acar and Stefan Schlobach and Yisong Wang and Wanwei Liu}, title = {On Sufficient and Necessary Conditions in Bounded {CTL}}, journal = {CoRR}, volume = {abs/2003.06492}, year = {2020}, url = {https://arxiv.org/abs/2003.06492}, eprinttype = {arXiv}, eprint = {2003.06492}, timestamp = {Sat, 23 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2003-06492.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isci/ChenWLDC19, author = {Shiming Chen and Yisong Wang and Chin{-}Teng Lin and Weiping Ding and Zehong Cao}, title = {Semi-supervised feature learning for improving writer identification}, journal = {Inf. Sci.}, volume = {482}, pages = {156--170}, year = {2019}, url = {https://doi.org/10.1016/j.ins.2019.01.024}, doi = {10.1016/J.INS.2019.01.024}, timestamp = {Mon, 27 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/isci/ChenWLDC19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1807-05490, author = {Shiming Chen and Yisong Wang and Chin{-}Teng Lin and Zehong Cao}, title = {Semi-Supervised Feature Learning for Off-Line Writer Identifications}, journal = {CoRR}, volume = {abs/1807.05490}, year = {2018}, url = {http://arxiv.org/abs/1807.05490}, eprinttype = {arXiv}, eprint = {1807.05490}, timestamp = {Wed, 19 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1807-05490.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ilp/HuangWZZ16, author = {Yi Huang and Yisong Wang and Ying Zhang and Mingyi Zhang}, editor = {James Cussens and Alessandra Russo}, title = {Learning Disjunctive Logic Programs from Interpretation Transition}, booktitle = {Proceedings of the 26th International Conference on Inductive Logic Programming (Short papers), London, UK, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1865}, pages = {34--40}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1865/paper-06.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:03 +0100}, biburl = {https://dblp.org/rec/conf/ilp/HuangWZZ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ilp/WangWH16, author = {Yisong Wang and Xu Wang and Yi Huang}, editor = {James Cussens and Alessandra Russo}, title = {Learning Datalog Programs from Input and Output}, booktitle = {Proceedings of the 26th International Conference on Inductive Logic Programming (Short papers), London, UK, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1865}, pages = {81--87}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1865/paper-13.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ilp/WangWH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/WangWWZ15, author = {Yisong Wang and Kewen Wang and Zhe Wang and Zhiqiang Zhuang}, editor = {Blai Bonet and Sven Koenig}, title = {Knowledge Forgetting in Circumscription: {A} Preliminary Report}, booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, {USA}}, pages = {1649--1655}, publisher = {{AAAI} Press}, year = {2015}, url = {https://doi.org/10.1609/aaai.v29i1.9419}, doi = {10.1609/AAAI.V29I1.9419}, timestamp = {Mon, 18 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/WangWWZ15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/JiYW15, author = {Jianmin Ji and Jia{-}Huai You and Yisong Wang}, editor = {Qiang Yang and Michael J. Wooldridge}, title = {On Forgetting Postulates in Answer Set Programming}, booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July 25-31, 2015}, pages = {3076--3083}, publisher = {{AAAI} Press}, year = {2015}, url = {http://ijcai.org/Abstract/15/434}, timestamp = {Thu, 21 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/JiYW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Wang15d, author = {Yisong Wang}, title = {On Forgetting in Tractable Propositional Fragments}, journal = {CoRR}, volume = {abs/1502.02799}, year = {2015}, url = {http://arxiv.org/abs/1502.02799}, eprinttype = {arXiv}, eprint = {1502.02799}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Wang15d.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jair/WangZZZ14, author = {Yisong Wang and Yan Zhang and Yi Zhou and Mingyi Zhang}, title = {Knowledge Forgetting in Answer Set Programming}, journal = {J. Artif. Intell. Res.}, volume = {50}, pages = {31--70}, year = {2014}, url = {https://doi.org/10.1613/jair.4297}, doi = {10.1613/JAIR.4297}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jair/WangZZZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/WangYZ13, author = {Yisong Wang and Jia{-}Huai You and Mingyi Zhang}, editor = {Zhiming Liu and Jim Woodcock and Huibiao Zhu}, title = {Embedding Functions into Disjunctive Logic Programs}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8049}, pages = {355--372}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39718-9\_21}, doi = {10.1007/978-3-642-39718-9\_21}, timestamp = {Fri, 17 Feb 2023 09:02:01 +0100}, biburl = {https://dblp.org/rec/conf/ictac/WangYZ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/WangWZ13, author = {Yisong Wang and Kewen Wang and Mingyi Zhang}, editor = {Francesca Rossi}, title = {Forgetting for Answer Set Programs Revisited}, booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013}, pages = {1162--1168}, publisher = {{IJCAI/AAAI}}, year = {2013}, url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6807}, timestamp = {Tue, 23 Jan 2024 13:25:46 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/WangWZ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpnmr/WangZW13, author = {Yisong Wang and Zhiqiang Zhuang and Kewen Wang}, editor = {Pedro Cabalar and Tran Cao Son}, title = {Belief Change in Nonmonotonic Multi-Context Systems}, booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference, {LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8148}, pages = {543--555}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40564-8\_54}, doi = {10.1007/978-3-642-40564-8\_54}, timestamp = {Wed, 27 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpnmr/WangZW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rr/WangEYYS13, author = {Yisong Wang and Thomas Eiter and Jia{-}Huai You and Li{-}Yan Yuan and Yi{-}Dong Shen}, editor = {Wolfgang Faber and Domenico Lembo}, title = {Eliminating Nonmonotonic DL-Atoms in Description Logic Programs}, booktitle = {Web Reasoning and Rule Systems - 7th International Conference, {RR} 2013, Mannheim, Germany, July 27-29, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7994}, pages = {168--182}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39666-3\_13}, doi = {10.1007/978-3-642-39666-3\_13}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/rr/WangEYYS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rr/BinnewiesWSW13, author = {Sebastian Binnewies and Yisong Wang and Bela Stantic and Kewen Wang}, editor = {Wolfgang Faber and Domenico Lembo}, title = {Rule Revision in Normal {DL} Logic Programs}, booktitle = {Web Reasoning and Rule Systems - 7th International Conference, {RR} 2013, Mannheim, Germany, July 27-29, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7994}, pages = {204--209}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39666-3\_16}, doi = {10.1007/978-3-642-39666-3\_16}, timestamp = {Wed, 27 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rr/BinnewiesWSW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/WangYYSZ12, author = {Yisong Wang and Jia{-}Huai You and Li{-}Yan Yuan and Yi{-}Dong Shen and Mingyi Zhang}, title = {The loop formula based semantics of description logic programs}, journal = {Theor. Comput. Sci.}, volume = {415}, pages = {60--85}, year = {2012}, url = {https://doi.org/10.1016/j.tcs.2011.10.026}, doi = {10.1016/J.TCS.2011.10.026}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/WangYYSZ12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/WangLZY12, author = {Yisong Wang and Fangzhen Lin and Mingyi Zhang and Jia{-}Huai You}, editor = {J{\"{o}}rg Hoffmann and Bart Selman}, title = {A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms}, booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada}, pages = {835--841}, publisher = {{AAAI} Press}, year = {2012}, url = {https://doi.org/10.1609/aaai.v26i1.8213}, doi = {10.1609/AAAI.V26I1.8213}, timestamp = {Mon, 04 Sep 2023 15:56:47 +0200}, biburl = {https://dblp.org/rec/conf/aaai/WangLZY12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/WangZZZ12, author = {Yisong Wang and Yan Zhang and Yi Zhou and Mingyi Zhang}, editor = {Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith}, title = {Forgetting in Logic Programs under Strong Equivalence}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, {KR} 2012, Rome, Italy, June 10-14, 2012}, publisher = {{AAAI} Press}, year = {2012}, url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4389}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kr/WangZZZ12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fskd/WangZZ11, author = {Yisong Wang and Ying Zhang and Mingyi Zhang}, title = {Constructing first-order loops of normal logic programs}, booktitle = {Eighth International Conference on Fuzzy Systems and Knowledge Discovery, {FSKD} 2011, 26-28 July 2011, Shanghai, China}, pages = {352--356}, publisher = {{IEEE}}, year = {2011}, url = {https://doi.org/10.1109/FSKD.2011.6019568}, doi = {10.1109/FSKD.2011.6019568}, timestamp = {Fri, 13 Aug 2021 09:26:01 +0200}, biburl = {https://dblp.org/rec/conf/fskd/WangZZ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1111-1486, author = {Yisong Wang and Jia{-}Huai You and Li{-}Yan Yuan and Yi{-}Dong Shen and Thomas Eiter}, title = {Embedding Description Logic Programs into Default Logic}, journal = {CoRR}, volume = {abs/1111.1486}, year = {2011}, url = {http://arxiv.org/abs/1111.1486}, eprinttype = {arXiv}, eprint = {1111.1486}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1111-1486.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/amai/WangYLYZ10, author = {Yisong Wang and Jia{-}Huai You and Fangzhen Lin and Li{-}Yan Yuan and Mingyi Zhang}, title = {Weight constraint programs with evaluable functions}, journal = {Ann. Math. Artif. Intell.}, volume = {60}, number = {3-4}, pages = {341--380}, year = {2010}, url = {https://doi.org/10.1007/s10472-011-9237-y}, doi = {10.1007/S10472-011-9237-Y}, timestamp = {Mon, 03 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/amai/WangYLYZ10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/WangYYS10, author = {Yisong Wang and Jia{-}Huai You and Li{-}Yan Yuan and Yi{-}Dong Shen}, title = {Loop formulas for description logic programs}, journal = {Theory Pract. Log. Program.}, volume = {10}, number = {4-6}, pages = {531--545}, year = {2010}, url = {https://doi.org/10.1017/S1471068410000268}, doi = {10.1017/S1471068410000268}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/WangYYS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1007-4040, author = {Yisong Wang and Jia{-}Huai You and Li{-}Yan Yuan and Yi{-}Dong Shen}, title = {Loop Formulas for Description Logic Programs}, journal = {CoRR}, volume = {abs/1007.4040}, year = {2010}, url = {http://arxiv.org/abs/1007.4040}, eprinttype = {arXiv}, eprint = {1007.4040}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1007-4040.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcst/WangZY09, author = {Yisong Wang and Mingyi Zhang and Jia{-}Huai You}, title = {Logic Programs, Compatibility and Forward Chaining Construction}, journal = {J. Comput. Sci. Technol.}, volume = {24}, number = {6}, pages = {1125--1137}, year = {2009}, url = {https://doi.org/10.1007/s11390-009-9285-5}, doi = {10.1007/S11390-009-9285-5}, timestamp = {Mon, 03 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcst/WangZY09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpnmr/WangYYZ09, author = {Yisong Wang and Jia{-}Huai You and Li{-}Yan Yuan and Mingyi Zhang}, editor = {Esra Erdem and Fangzhen Lin and Torsten Schaub}, title = {Weight Constraint Programs with Functions}, booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference, {LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5753}, pages = {329--341}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04238-6\_28}, doi = {10.1007/978-3-642-04238-6\_28}, timestamp = {Mon, 03 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lpnmr/WangYYZ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fskd/WangM08, author = {Yisong Wang and Xinqiang Ma}, editor = {Jun Ma and Yilong Yin and Jian Yu and Shuigeng Zhou}, title = {Some Results on Order-Consistent Logic Programs}, booktitle = {Fifth International Conference on Fuzzy Systems and Knowledge Discovery, {FSKD} 2008, 18-20 October 2008, Jinan, Shandong, China, Proceedings, Volume 5}, pages = {557--561}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/FSKD.2008.71}, doi = {10.1109/FSKD.2008.71}, timestamp = {Thu, 15 Aug 2024 07:54:37 +0200}, biburl = {https://dblp.org/rec/conf/fskd/WangM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/LinW08, author = {Fangzhen Lin and Yisong Wang}, editor = {Gerhard Brewka and J{\'{e}}r{\^{o}}me Lang}, title = {Answer Set Programming with Functions}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, {KR} 2008, Sydney, Australia, September 16-19, 2008}, pages = {454--465}, publisher = {{AAAI} Press}, year = {2008}, url = {http://www.aaai.org/Library/KR/2008/kr08-044.php}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kr/LinW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcst/WangZS07, author = {Yisong Wang and Mingyi Zhang and Yu{-}Ping Shen}, title = {Consistency Property of Finite FC-Normal Logic Programs}, journal = {J. Comput. Sci. Technol.}, volume = {22}, number = {4}, pages = {554--561}, year = {2007}, url = {https://doi.org/10.1007/s11390-007-9071-1}, doi = {10.1007/S11390-007-9071-1}, timestamp = {Mon, 03 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcst/WangZS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/ChenLWZ06, author = {Yin Chen and Fangzhen Lin and Yisong Wang and Mingyi Zhang}, editor = {Patrick Doherty and John Mylopoulos and Christopher A. Welty}, title = {First-Order Loop Formulas for Normal Logic Programs}, booktitle = {Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006}, pages = {298--307}, publisher = {{AAAI} Press}, year = {2006}, url = {http://www.aaai.org/Library/KR/2006/kr06-032.php}, timestamp = {Thu, 19 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kr/ChenLWZ06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/WangZ04, author = {Yisong Wang and Mingyi Zhang}, editor = {Zhiming Liu and Keijiro Araki}, title = {Revision Programs with Explicit Negation}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3407}, pages = {403--414}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31862-0\_29}, doi = {10.1007/978-3-540-31862-0\_29}, timestamp = {Mon, 03 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictac/WangZ04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.