Sen Zheng

According to our database, Sen Zheng authored at least 6 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Saturation-Based Boolean Conjunctive Query Answering and Rewriting for the Guarded Quantification Fragments.

Sen Zheng, Renate A. Schmidt

J. Autom. Reason., December, 2023

2022

A novel outlier detection method for monitoring data in dam engineering.

Chenfei Shao, Sen Zheng, Chongshi Gu, Yating Hu, Xiangnan Qin

Expert Syst. Appl., 2022

2020

Querying Guarded Fragments via Resolution.

Sen Zheng, Renate A. Schmidt

CoRR, 2020

Hemp Disease Detection and Classification Using Machine Learning.

Jing Zhu, Tianhao Yu, Sen Zheng, Chenguang Niu, Jerry Gao, Jerome Tang

Proceedings of the 2020 International Conferences on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2020

Querying the Guarded Fragment via Resolution (Extended Abstract).

Sen Zheng, Renate A. Schmidt

Proceedings of the Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020

Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution.

Sen Zheng, Renate A. Schmidt

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020