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 条
  • [41] Extensional Semantics for Higher-Order Logic Programs with Negation
    Rondogiannis, Panos
    Symeonidou, Ioanna
    LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), 2016, 10021 : 447 - 462
  • [42] SLDNF resolution with non-safe rule and fixpoint semantics for general logic programs
    Yamasaki, S
    THEORETICAL COMPUTER SCIENCE, 1996, 160 (1-2) : 283 - 303
  • [43] NEGATION AS FAILURE AND INTUITIONISTIC 3-VALUED LOGIC
    VAUZEILLES, J
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 535 : 227 - 241
  • [44] Composing general logic programs
    Brogi, A
    Contiero, S
    Turini, F
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1997, 1265 : 273 - 288
  • [45] A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks
    van Ditmarsch, Hans
    Goubault, Éric
    Lazić, Marijana
    Ledent, Jérémy
    Rajsbaum, Sergio
    Journal of Logical and Algebraic Methods in Programming, 2021, 121
  • [46] A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks
    van Ditmarsch, Hans
    Goubault, Eric
    Lazic, Marijana
    Ledent, Jeremy
    Rajsbaum, Sergio
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2021, 121
  • [47] EXTENSION AL SEMANTICS FOR HIGHER-ORDER LOGIC PROGRAMS WITH NEGATION
    Rondogiannis, Panos
    Symeonidou, Ioanna
    LOGICAL METHODS IN COMPUTER SCIENCE, 2018, 14 (02)
  • [48] A purely model-theoretic semantics for disjunctive logic programs with negation
    Cabalar, Pedro
    Pearce, David
    Rondogiannis, Panos
    Wadge, William W.
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2007, 4483 : 44 - +
  • [49] THE PARALLEL COMPLEXITY OF SINGLE RULE LOGIC PROGRAMS
    AFRATI, F
    DISCRETE APPLIED MATHEMATICS, 1992, 40 (02) : 107 - 126
  • [50] Rule-based coordination of logic programs
    Ciancarini, P
    Gaspari, M
    COMPUTER LANGUAGES, 1996, 22 (2-3): : 95 - 113
12345