Work

ALPSolver: A Solver for Assumable Logic Programming

Year: 2024

Type: conference-paper

Source: International Conference on Intelligent Computing and Human-Computer Interaction (ICHCI)

DOI: 10.1109/ichci63580.2024.10808015

Authors: Zhizheng Zhang, Jiayi Chen, Huangdezhong Tian

Institution: Southeast University

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Science and Technology Project of State Grid

Award: G5715152229

OpenAlex ID: W4405846510

FWCI:

Cites: 15

Cited by:

Related to: 10