We stand with Ukraine  

Sen Zheng

Orcid: 0000-0003-4415-811X

Affiliations:
  • University of Manchester, Department of Computer Science, Manchester, UK (PhD 2021)


According to our database1, Sen Zheng authored at least 4 papers between 2020 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Saturation-Based Boolean Conjunctive Query Answering and Rewriting for the Guarded Quantification Fragments.
[BibTeX]
[DOI]
Sen Zheng
,
Renate A. Schmidt
J. Autom. Reason., December, 2023

2020
Querying Guarded Fragments via Resolution.
[BibTeX]
[DOI]
Sen Zheng
,
Renate A. Schmidt
CoRR, 2020

Querying the Guarded Fragment via Resolution (Extended Abstract).
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Sen Zheng
,
Renate A. Schmidt
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020


  Loading...