Work

Loop Formulas for Alog Answer Set Programs

Year: 2017

Type: conference-paper

DOI: 10.1145/3168390.3168410

Authors: Cuixia Li, Yisong Wang, Renyan Feng, Qianqian Li

Institutions: Anshun University, Guizhou University

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2785706244

FWCI: 0.11

Cites: 16

Cited by: 1

Related to: 10