Taosheng Qiu

Orcid: 0000-0002-1471-4325

According to our database1, Taosheng Qiu authored at least 2 papers between 2024 and 2025.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Synthesizing Recursive Logic Programs by Inverting General Resolution.
IEEE Access, 2025

2024
Computable Relations Mapping with Horn Clauses for Inductive Program Synthesis.
Proceedings of the Knowledge Management and Acquisition for Intelligent Systems, 2024


  Loading...