A Semantic Characterization for ASP Base Revision

Garcia, L; Lefevre, C; Stephan, I; Papini, O; Wurbel, E

Garcia, L (reprint author), Univ Angers, LERIA, Angers, France.

JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2019; 66 (): 989

Abstract

The paper deals with base revision for Answer Set Programming (ASP). Base revision in classical logic is done by the removal of formulas. Exploiting t......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索