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 条
  • [1] A NATURAL SEMANTICS FOR LOGIC PROGRAMS WITH NEGATION
    DUNG, PM
    KANCHANASUT, K
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 405 : 78 - 88
  • [2] A NATURAL SEMANTICS FOR LOGIC PROGRAMS WITH NEGATION
    DUNG, PM
    KANCHANASUT, K
    FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE ////, 1989, 405 : 78 - 88
  • [3] SEMANTICS FOR DISJUNCTIVE LOGIC PROGRAMS WITH EXPLICIT AND DEFAULT NEGATION
    Minker, Jack
    Ruiz, Carolina
    Fundamenta Informaticae, 1994, 20 (1-3) : 145 - 192
  • [4] An infinite-valued semantics for logic programs with negation
    Rondogiannis, P
    Wadge, WW
    LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 456 - 467
  • [5] CONTRIBUTIONS TO THE STABLE MODEL SEMANTICS OF LOGIC PROGRAMS WITH NEGATION
    COSTANTINI, S
    THEORETICAL COMPUTER SCIENCE, 1995, 149 (02) : 231 - 255
  • [6] WF(3) - A SEMANTICS FOR NEGATION IN NORMAL DISJUNCTIVE LOGIC PROGRAMS
    BARAL, C
    LOBO, J
    MINKER, J
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 542 : 459 - 468
  • [7] A PROCEDURAL SEMANTICS FOR WELL-FOUNDED NEGATION IN LOGIC PROGRAMS
    ROSS, KA
    JOURNAL OF LOGIC PROGRAMMING, 1992, 13 (01): : 1 - 22
  • [8] Extensional Semantics for Higher-Order Logic Programs with Negation
    Rondogiannis, Panos
    Symeonidou, Ioanna
    LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), 2016, 10021 : 447 - 462
  • [9] GENERALIZED NEGATION AS FAILURE AND SEMANTICS OF NORMAL DISJUNCTIVE LOGIC PROGRAMS
    BARAL, C
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 : 309 - 319
  • [10] EXTENSION AL SEMANTICS FOR HIGHER-ORDER LOGIC PROGRAMS WITH NEGATION
    Rondogiannis, Panos
    Symeonidou, Ioanna
    LOGICAL METHODS IN COMPUTER SCIENCE, 2018, 14 (02)
12345