Work

Linear Algebraic Partial Evaluation of Logic Programs

Year: 2024

Type: conference-paper

Source: Proceedings - International Conference on Tools with Artificial Intelligence, TAI

DOI: 10.1109/ictai62512.2024.00059

Authors: Tuan Nguyen, Katsumi Inoue, Chiaki Sakama

Institutions: National Institute of Informatics, Wakayama University

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: Japan Science and Technology Corporation, Japan Society for the Promotion of Science, Core Research for Evolutional Science and Technology

Awards: G2427697568, G5205710887, Robust AI by Integration of Knowledge Representation and Machine Learning

OpenAlex ID: W4406894748

FWCI:

Cites: 25

Cited by:

Related to: 10