.png){kind=icon}
返回
Loop-separable programs and their first-order definability
.png){kind=icon}
PRE
AI
DOI：10.1016/j.artint.2010.12.001.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
An answer set program with variables is first-order definable on finite structures if the set of its finite answer sets can be captured by a first-order sentence. Characterizing classes of programs that are first-order definable on finite structures is theoretically challenging and of practical relevance to answer set programming. In this paper, we identify a non-trivial class of answer set programs called loop-separable programs and show that they are first-order definable on finite structures. (C) 2010 Elsevier B.V. All rights reserved.
Keyword:
Answer set programming
First-order definability
Knowledge representation
Nonmonotonic reasoning
期刊
IF:
13.9
论文数:
6.1K
被引数:
1.9W
机构
引用论文
分享收藏Cardiac fibrosis in mouse expressing DsRed tetramers involves chronic autophagy and proteasome degradation insufficiency.png)
Oncotarget
OAAI
OncotargetIF0
OAAI分享收藏
查看更多内容