EQUIVALENT LOGIC PROGRAMS

被引：0
|
作者：
CHAN, KH [1 ]
机构：
[1] NATL UNIV SINGAPORE,DEPT INFORMAT SYST,SINGAPORE 0511,SINGAPORE
来源：
JOURNAL OF LOGIC PROGRAMMING | 1990年 / 8卷 / 03期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：187 / 199
页数：13
相关论文
共 50 条
  • [1] Infinitary equilibrium logic and strongly equivalent logic programs
    Harrison, Amelia
    Lifschitz, Vladimir
    Pearce, David
    Valverde, Agustin
    [J]. ARTIFICIAL INTELLIGENCE, 2017, 246 : 22 - 33
  • [2] Transforming Coroutining Logic Programs into Equivalent CHR Programs
    Nys, Vincent
    De Schreye, Danny
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (253): : 9 - 35
  • [3] Strongly Equivalent Temporal Logic Programs
    Aguado, Felicidad
    Cabalar, Pedro
    Perez, Gilberto
    Vidal, Concepcion
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2008, 5293 : 8 - 20
  • [4] Discovering Classes of Strongly Equivalent Logic Programs
    Lin, Fangzhen
    Chen, Yin
    [J]. 19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, : 516 - 521
  • [5] Propositional theories are strongly equivalent to logic programs
    Cabalar, Pedro
    Ferraris, Paolo
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2007, 7 : 745 - 759
  • [6] Discovering classes of strongly equivalent logic programs
    Lin, Fangzhen
    Chen, Yin
    [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2007, 28 : 431 - 451
  • [7] Searching semantically equivalent code fragments in logic programs
    Vanhoof, W
    [J]. LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2005, 3573 : 1 - 18
  • [8] Characterization of strongly equivalent logic programs in intermediate logics
    De Jongh, DHJ
    Hendriks, L
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2003, 3 : 259 - 270
  • [9] Discovering Classes of Strongly Equivalent Logic Programs with Negation as Failure in the Head
    Ji, Jianmin
    [J]. KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, KSEM 2015, 2015, 9403 : 147 - 153
  • [10] Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic
    Heuer, Jan
    Wernhard, Christoph
    [J]. AUTOMATED REASONING, IJCAR 2024, PT I, 2024, 14739 : 172 - 193
12345