PROOF THEORY AND SEMANTICS OF LOGIC PROGRAMS

被引：0
|
作者：
GAIFMAN, H
SHAPIRO, E
机构：
来源：
FOURTH ANNUAL SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE | 1989年
关键词：
D O I：
暂无
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
引用
收藏
页码：50 / 62
页数：13
相关论文
共 50 条
  • [21] Disjunctive logic and semantics of disjunctive logic programs
    Shen, YD
    SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1997, 40 (01): : 44 - 53
  • [22] Disjunctive logic and semantics of disjunctive logic programs
    沈一栋
    Science in China(Series E:Technological Sciences), 1997, (01) : 44 - 53
  • [23] Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information
    Sadrzadeh, Mehrnoosh
    Dyckhoff, Roy
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 249 : 451 - 470
  • [24] POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION
    Sadrzadeh, Mehrnoosh
    Dyckhoff, Roy
    REVIEW OF SYMBOLIC LOGIC, 2010, 3 (03): : 351 - 373
  • [25] A Logical Semantics for Description Logic Programs
    Fink, Michael
    Pearce, David
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, 2010, 6341 : 156 - 168
  • [26] A NATURAL SEMANTICS FOR LOGIC PROGRAMS WITH NEGATION
    DUNG, PM
    KANCHANASUT, K
    FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE ////, 1989, 405 : 78 - 88
  • [27] ON THE EQUIVALENCE OF SEMANTICS FOR NORMAL LOGIC PROGRAMS
    YOU, JH
    YUAN, LY
    JOURNAL OF LOGIC PROGRAMMING, 1995, 22 (03): : 211 - 222
  • [28] A dataflow semantics for constraint logic programs
    Colussi, L
    Marchiori, E
    Marchiori, M
    PROGRAMMING LANGUAGES: IMPLEMENTATIONS, LOGICS AND PROGRAMS, 1995, 982 : 431 - 448
  • [29] SEMANTICS OF HORN AND DISJUNCTIVE LOGIC PROGRAMS
    LOBO, J
    RAJASEKAR, A
    MINKER, J
    THEORETICAL COMPUTER SCIENCE, 1991, 86 (01) : 93 - 106
  • [30] A COMPUTABLE SEMANTICS FOR GENERAL LOGIC PROGRAMS
    WALLACE, M
    JOURNAL OF LOGIC PROGRAMMING, 1989, 6 (03): : 269 - 297
12345