Compactness properties for stable semantics of logic programs

被引：1
|
作者：
Marek, Victor W. [1 ]
Remmel, Jeffrey B. [2 ]
机构：
[1] Univ Kentucky, Dept Comp Sci, Lexington, KY 40506 USA
[2] Univ Calif San Diego, La Jolla, CA 92093 USA
来源：
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS | 2007年 / 4514卷
关键词：
D O I：
10.1007/978-3-540-72734-7_27
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Logic programming with stable logic semantics (SLP) is a logical formalism that assigns to sets of clauses in the language admitting negations in the bodies a special kind of models, called stable models. This formalism does not have the compactness property. We show a number of conditions that entail a form of compactness for SLP.
引用
收藏
页码：379 / +
页数：3
相关论文
共 50 条
  • [21] On the semantics of logic programs with preferences
    Greco, Sergio
    Trubitsyna, Irina
    Zumpano, Ester
    Journal of Artificial Intelligence Research, 1600, 30 : 501 - 523
  • [22] A COMPOSITIONAL SEMANTICS FOR LOGIC PROGRAMS
    BOSSI, A
    GABBRIELLI, M
    LEVI, G
    MEO, MC
    THEORETICAL COMPUTER SCIENCE, 1994, 122 (1-2) : 3 - 47
  • [23] TIGHT SEMANTICS FOR LOGIC PROGRAMS
    Pereira, Luis Moniz
    Pinto, Alexandre Miguel
    TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10), 2010, 7 : 134 - 143
  • [24] The semantics of nominal logic programs
    Cheney, James
    LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 361 - 375
  • [25] THE STRONG SEMANTICS FOR LOGIC PROGRAMS
    CHEN, JH
    KUNDU, S
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 542 : 490 - 499
  • [26] On the semantics of logic programs with preferences
    Greco, Sergio
    Trubitsyna, Irina
    Zumpano, Ester
    LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4160 : 203 - 215
  • [27] PROBABILISTIC LOGIC PROGRAMS AND THEIR SEMANTICS
    DANTSIN, E
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 592 : 152 - 164
  • [28] A PROCESS SEMANTICS OF LOGIC PROGRAMS
    BELMESK, M
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 592 : 13 - 26
  • [29] Isoinitial semantics for logic programs
    Lau, KK
    Ornaghi, M
    COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 223 - 238
  • [30] On the semantics of logic programs with preferences
    Greco, Sergio
    Trubitsyna, Irina
    Zumpano, Ester
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2007, 30 : 501 - 523
12345