NEGATION-AS-FAILURE RULE FOR GENERAL LOGIC PROGRAMS WITH EQUALITY.

被引：0
|
作者：
Le, Van Tu [1 ]
机构：
[1] Canberra Coll of Advanced Education,, Sch of Information Sciences,, Belconnen, Aust, Canberra Coll of Advanced Education, Sch of Information Sciences, Belconnen, Aust
来源：
Journal of Logic Programming | 1985年 / 2卷 / 04期
关键词：
LOGIC PROGRAMS - NEGATION-AS-FAILURE RULE;
D O I：
10.1016/S0743-1066(85)80004-2
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：285 / 294
相关论文
共 50 条
  • [1] THEORY OF COMPLETE LOGIC PROGRAMS WITH EQUALITY.
    Jaffar, Joxan
    Lassez, Jean-Louis
    Maher, Michael J.
    [J]. Journal of Logic Programming, 1984, 1 (03): : 211 - 223
  • [2] Aggregation and negation-as-failure
    Mauricio Osorio
    Bharat Jayaraman
    [J]. New Generation Computing, 1999, 17 : 255 - 284
  • [3] Aggregation and negation-as-failure
    Osorio, M
    Jayaraman, B
    [J]. NEW GENERATION COMPUTING, 1999, 17 (03) : 255 - 284
  • [4] NEGATION AS FAILURE USING TIGHT DERIVATIONS FOR GENERAL LOGIC PROGRAMS
    VANGELDER, A
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1989, 6 (1-2): : 109 - 133
  • [5] DEFINITE FORMULAE, NEGATION-AS-FAILURE,AND THE BASE-EXTENSION SEMANTICS OFINTUITIONISTIC PROPOSITIONAL LOGIC
    Gheorghi, Alexander, V
    Pym, David J.
    [J]. BULLETIN OF THE SECTION OF LOGIC, 2023, 52 (02):
  • [6] Belnap's epistemic states and negation-as-failure
    Wagner, G
    [J]. NEGATION: A NOTION IN FOCUS, 1996, 7 : 233 - 261
  • [7] On termination of general logic programs WRT constructive negation
    Marchiori, E
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1996, 26 (01): : 69 - 89
  • [8] Combining negation as failure and embedded implications in logic programs
    Giordano, L
    Olivetti, N
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1998, 36 (02): : 91 - 147
  • [9] Combining negation as failure and embedded implications in logic programs
    Universita di Torino, Torino, Italy
    [J]. J Logic Program, 2 (91-147):
  • [10] Representing defaults and negative information without negation-as-failure
    Fillottrani, Pablo R.
    Simari, Guillermo R.
    [J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2006, 4246 : 437 - +
12345