SEVERAL FORMAL SYSTEMS OF THE LOGIC PROGRAMMING

被引：0
|
作者：
MINTS, GE
机构：
来源：
COMPUTERS AND ARTIFICIAL INTELLIGENCE | 1990年 / 9卷 / 01期
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：19 / 41
页数：23
相关论文
共 50 条
  • [21] MODED TYPE SYSTEMS FOR LOGIC PROGRAMMING
    YELICK, KA
    ZACHARY, JL
    CONFERENCE RECORD OF THE SIXTEENTH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 1989, : 116 - 124
  • [22] PARALLEL LOGIC PROGRAMMING SYSTEMS ON MULTICOMPUTERS
    TALIA, D
    JOURNAL OF PROGRAMMING LANGUAGES, 1994, 2 (01): : 77 - 87
  • [23] LOGIC PROGRAMMING FOR THE DEVELOPMENT OF TELECOM SYSTEMS
    ELSHIEWY, NA
    TELE-ENGLISH EDITION, 1989, 43 (01): : 12 - 17
  • [24] MODAL EXTENSION OF LOGIC PROGRAMMING SYSTEMS
    POZHARSKII, AV
    CYBERNETICS AND SYSTEMS ANALYSIS, 1993, 29 (06) : 944 - 947
  • [25] LOGIC FOR SYSTEMS: A GRADUAL INTRODUCTION TO FORMAL METHODS
    Krishnamurthi, Shriram
    Nelson, Tim
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2025, (144): : 137 - 150
  • [26] Comparing logic programming and formal argumentation; the case of ideal and eager semantics
    Caminada, Martin
    Harikrishnan, Sri
    Sa, Samy
    ARGUMENT & COMPUTATION, 2022, 13 (01) : 93 - 120
  • [27] Formalizing the Equivalence of Formal Systems in Propositional Logic in Coq
    Cui, Luoping
    Yu, Wensheng
    INTELLIGENT NETWORKED THINGS, CINT 2024, PT I, 2024, 2138 : 85 - 94
  • [28] Formal Verification of Logic Control Systems with Nondeterministic Behaviors
    Alwi, Saifulza
    Fujimoto, Yasutaka
    IEEJ JOURNAL OF INDUSTRY APPLICATIONS, 2013, 2 (06) : 306 - 314
  • [29] DEVELOPING EXPERT SYSTEMS BUILDERS IN LOGIC PROGRAMMING
    OLIVEIRA, E
    NEW GENERATION COMPUTING, 1984, 2 (02) : 187 - 194
  • [30] Parallel logic programming systems on scalable architectures
    Costa, VS
    Bianchini, R
    Dutra, ID
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2000, 60 (07) : 835 - 852
12345