Taosheng Qiu

According to our database¹, Taosheng Qiu authored at least 3 papers between 2024 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Synthesizing Recursive Logic Programs by Inverting General Resolution.

[BibT_eX]

[DOI]

IEEE Access, 2025

2024

Computable Relations Mapping with Horn Clauses for Inductive Program Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Management and Acquisition for Intelligent Systems, 2024

Inventing Recursive Predicates by Sampling and Folding Deduced and Abduced Atoms.

[BibT_eX]

[DOI]

Proceedings of the Learning and Reasoning, 2024