A 2 STEPS SEMANTICS FOR LOGIC PROGRAMS WITH NEGATION

被引：0
|
作者：
GABBRIELLI, M [1 ]
LEVI, G [1 ]
TURI, D [1 ]
机构：
[1] CENT WISKUNDE & INFORMAT, 1009 AB AMSTERDAM, NETHERLANDS
来源：
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE | 1992年 / 624卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We analyze programs with negation by transforming them in order to infer constrained atoms which are regarded as basic semantic objects. Two steps are performed. Step I refers to the positive fragment of the program and unfolds all positive literals so that only atoms and conditional atoms remain. Step II refers to the stratified fragment and replaces defined negative literals with inequalities and equalities.
引用
收藏
页码：297 / 308
页数：12
相关论文
共 50 条
  • [21] The semantics of constraint logic programs
    Jaffar, J
    Maher, M
    Marriott, K
    Stuckey, P
    JOURNAL OF LOGIC PROGRAMMING, 1998, 37 (1-3): : 1 - 46
  • [22] On the semantics of logic programs with preferences
    Greco, Sergio
    Trubitsyna, Irina
    Zumpano, Ester
    Journal of Artificial Intelligence Research, 1600, 30 : 501 - 523
  • [23] A COMPOSITIONAL SEMANTICS FOR LOGIC PROGRAMS
    BOSSI, A
    GABBRIELLI, M
    LEVI, G
    MEO, MC
    THEORETICAL COMPUTER SCIENCE, 1994, 122 (1-2) : 3 - 47
  • [24] THE STRONG SEMANTICS FOR LOGIC PROGRAMS
    CHEN, JH
    KUNDU, S
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 542 : 490 - 499
  • [25] On the semantics of logic programs with preferences
    Greco, Sergio
    Trubitsyna, Irina
    Zumpano, Ester
    LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4160 : 203 - 215
  • [26] PROBABILISTIC LOGIC PROGRAMS AND THEIR SEMANTICS
    DANTSIN, E
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 592 : 152 - 164
  • [27] A PROCESS SEMANTICS OF LOGIC PROGRAMS
    BELMESK, M
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 592 : 13 - 26
  • [28] Isoinitial semantics for logic programs
    Lau, KK
    Ornaghi, M
    COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 223 - 238
  • [29] 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
  • [30] The semantics of nominal logic programs
    Cheney, James
    LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 361 - 375
12345