Sen Zheng

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 8

Top Topics

Extended Abstract

Maximal Tractable

Query Answering

Outlier Detection

Top Venues

iThings/GreenCom/CPSCom/SmartData/Cybermatics

PAAR+SC²@IJCAR

Expert Syst. Appl.

Publications

Sen Zheng, Renate A. Schmidt
Saturation-Based Boolean Conjunctive Query Answering and Rewriting for the Guarded Quantification Fragments. J. Autom. Reason. 67 (4) (2023)
Sen Zheng, Renate A. Schmidt
Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments. CoRR (2022)
Chenfei Shao, Sen Zheng, Chongshi Gu, Yating Hu, Xiangnan Qin
A novel outlier detection method for monitoring data in dam engineering. Expert Syst. Appl. 193 (2022)
Sen Zheng, Renate A. Schmidt
Querying the Guarded Fragment via Resolution (Extended Abstract). PAAR+SC²@IJCAR (2020)
Sen Zheng, Renate A. Schmidt
Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution. AAAI (2020)
Sen Zheng, Renate A. Schmidt
Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution. CoRR (2020)
Sen Zheng, Renate A. Schmidt
Querying Guarded Fragments via Resolution. CoRR (2020)
Jing Zhu, Tianhao Yu, Sen Zheng, Chenguang Niu, Jerry Gao, Jerome Tang
Hemp Disease Detection and Classification Using Machine Learning. iThings/GreenCom/CPSCom/SmartData/Cybermatics (2020)