THE EXPRESSIVE POWER OF STRATIFIED LOGIC PROGRAMS

被引：48
|
作者：
KOLAITIS, PG
机构：
[1] Computer and Information Sciences, University of California, Santa Cruz, Santa Cruz
来源：
INFORMATION AND COMPUTATION | 1991年 / 90卷 / 01期
基金：
美国国家科学基金会;
关键词：
D O I：
10.1016/0890-5401(91)90059-B
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
[No abstract available]
引用
收藏
页码：50 / 66
页数：17
相关论文
共 50 条
  • [21] On fork arrow logic and its expressive power
    Veloso, Paulo A. S.
    de Freitas, Renata P.
    Viana, Petrucio
    Benevides, Mario
    Veloso, Sheila R. M.
    JOURNAL OF PHILOSOPHICAL LOGIC, 2007, 36 (05) : 489 - 509
  • [22] On the Expressive Power of F-Logic Language
    田增平
    王宇君
    曲云尧
    施伯乐
    JournalofComputerScienceandTechnology, 1997, (06) : 510 - 519
  • [23] On the expressive power of F-logic language
    Fudan Univ, Shanghai, China
    J Comput Sci Technol, 6 (510-519):
  • [24] On Fork Arrow Logic and its Expressive Power
    Paulo A. S. Veloso
    Renata P. de Freitas
    Petrucio Viana
    Mario Benevides
    Sheila R. M. Veloso
    Journal of Philosophical Logic, 2007, 36 : 489 - 509
  • [25] REMARKS ON COMPARING EXPRESSIVE POWER OF LOGICS OF PROGRAMS
    TIURYN, J
    URZYCZYN, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1984, 176 : 535 - 543
  • [26] Complexity Results for Checking Equivalence of Stratified Logic Programs
    Eiter, Thomas
    Fink, Michael
    Tompits, Hans
    Woltran, Stefan
    20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 330 - 335
  • [27] Transformation rules for locally stratified constraint logic programs
    Fioravanti, F
    Pettorossi, A
    Proietti, M
    PROGRAM DEVELOPMENT IN COMPUTATIONAL LOGIC: A DECADE OF RESEARCH ADVANCES IN LOGIC-BASED PROGRAM DEVELOPMENT, 2004, 3049 : 291 - 339
  • [28] Autoepistemic logic of first order and its expressive power
    Yuan, Li-Yan, 1600, Kluwer Academic Publishers, Dordrecht, Netherlands (13):
  • [29] The expressive power of k-ary exclusion logic
    Ronnholm, Raine
    ANNALS OF PURE AND APPLIED LOGIC, 2019, 170 (09) : 1070 - 1099
  • [30] From Ultrafilters on Words to the Expressive Power of a Fragment of Logic
    Gehrke, Mai
    Krebs, Andreas
    Pin, Jean-Eric
    DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2014, 2014, 8614 : 138 - 149
12345