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 条
  • [41] ON DEVELOPMENT OF FORMAL SYSTEMS STARTING FROM PRIMITIVE LOGIC
    ONO, K
    NAGOYA MATHEMATICAL JOURNAL, 1966, 28 (OCT) : 79 - &
  • [42] Logic programming and constraint logic programming
    Cohen, J
    ACM COMPUTING SURVEYS, 1996, 28 (01) : 257 - 259
  • [43] Programming in logic without logic programming
    Kowalski, Robert
    Sadri, Fariba
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2016, 16 : 269 - 295
  • [44] Formal requirements-based programming for complex systems
    Rash, JL
    Hinchey, MG
    Rouff, CA
    ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 116 - 125
  • [45] A Formal Approach to Autonomic Systems Programming: The SCEL Language
    De Nicola, Rocco
    Loreti, Michele
    Pugliese, Rosario
    Tiezzi, Francesco
    ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, 2014, 9 (02)
  • [46] AL-KHOWARIZMI - A FORMAL SYSTEM FOR HIGHER-ORDER LOGIC PROGRAMMING
    ABDALLAH, MAN
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 233 : 545 - 553
  • [47] Formal logic and transcendental logic
    Cantu, P
    RIVISTA DI STORIA DELLA FILOSOFIA, 2002, 57 (04) : 701 - 704
  • [48] An Overview of Several Researches on Fuzzy Logic in Intelligent Systems
    Luca , Mihaela
    Luca, Ramona
    Bejinariu, Silviu-Ioan
    Ciobanu, Adrian
    Paduraru, Otilia
    Zbancioc, Marius
    Barbu, Tudor
    2015 INTERNATIONAL SYMPOSIUM ON SIGNALS, CIRCUITS AND SYSTEMS (ISSCS), 2015,
  • [49] LOGIC AND LOGIC PROGRAMMING
    ROBINSON, JA
    COMMUNICATIONS OF THE ACM, 1992, 35 (03) : 40 - +
  • [50] APPLICATION OF LOGIC PROGRAMMING TECHNIQUES TO DNA-SEQUENCE GEL-READING (LOGIC PROGRAMMING, EXPERT SYSTEMS)
    OVERBEEK, R
    ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 1989, 198 : 10 - COMP
12345