PARTIAL DEDUCTION OF LOGIC PROGRAMS WRT WELL-FOUNDED SEMANTICS

被引：10
|
作者：
ARAVINDAN, C
DUNG, PM
机构：
[1] Computer Science Program, School of Advanced Technologies, Asian Institute of Technology, Bangkok, 10501
来源：
NEW GENERATION COMPUTING | 1994年 / 13卷 / 01期
关键词：
PARTIAL DEDUCTION; PROGRAM TRANSFORMATION; PROGRAM SPECIALIZATION; WELL-FOUNDED NEGATION;
D O I：
10.1007/BF03038308
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper, we extend the partial deduction framework of Lloyd and Shepherdson, so that unfolding of non-ground negative literals and loop checks can be carried out during partial deduction. We show that the unified framework is sound and complete wrt well-founded model semantics, when certain conditions are satisfied.
引用
收藏
页码：45 / 74
页数：30
相关论文
共 50 条
  • [21] Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies
    Chowdhury, Md. Solimul
    Liu, Fangfang
    Chen, Wu
    Karimi, Arash
    You, Jia-Huai
    [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), 2015, 8981 : 279 - 296
  • [22] SOUNDNESS AND COMPLETENESS OF PARTIAL DEDUCTIONS FOR WELL-FOUNDED SEMANTICS
    PRZYMUSINSKA, H
    PRZYMUSINSKI, T
    SEKI, H
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 : 1 - 12
  • [23] Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs
    Charalambidis, Angelos
    Rondogiannis, Panos
    Symeonidou, Ioanna
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2018, 18 (3-4) : 421 - 437
  • [24] Well-Founded and Partial Stable Semantics Logical Aspects
    Cabalar, Pedro
    Odintsov, Sergei
    Pearce, David
    [J]. COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2009, 5675 : 1 - +
  • [25] WELL-FOUNDED SEMANTICS AND STABLE SEMANTICS OF SEMI-STRICT PROGRAMS
    GIRE, F
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 646 : 261 - 275
  • [26] Interdefinability of defeasible logic and logic programming under the well-founded semantics
    Maier, Frederick
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2013, 13 : 107 - 142
  • [27] On Signings and the Well-Founded Semantics
    Maher, Michael J. J.
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2022, 22 (01) : 115 - 127
  • [28] A tutorial on the well-founded semantics
    Van Gelder, A
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1998, 24 (01) : 32 - 42
  • [29] A Well-Founded Semantics with disjunction
    Alcântara, J
    Damásio, CV
    Pereira, LM
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2005, 3668 : 341 - 355
  • [30] A NONDETERMINISTIC WELL-FOUNDED SEMANTICS
    TORRES, A
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 14 (01) : 37 - 73
12345