Work

Efficient and Expressive Logic Program Synthesis with Inductive Inference

Year: 2025

Type: dissertation

Abstract: 総合研究大学院大学

Source: SOKENDAI (Graduate University for Advanced Studies)

Authors: Taosheng, Qiu, キュウ, トウセイ, Taosheng, Qiu

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W7113176472

Cites:

Cited by:

Related to: