The Life of a Logic Programming System

被引：0
|
作者：
Costa, Vitor Santos [1 ]
机构：
[1] Univ Porto, DCC, FCUP, Oporto, Portugal
来源：
LOGIC PROGRAMMING, PROCEEDINGS | 2008年 / 5366卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：1 / 6
页数：6
相关论文
共 50 条
  • [31] TOWARDS A FUZZY-LOGIC PROGRAMMING SYSTEM - A FUZZY PROPOSITIONAL LOGIC
    RHODES, PC
    MENANI, SM
    KNOWLEDGE-BASED SYSTEMS, 1991, 4 (01) : 52 - 62
  • [32] Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic
    Denecker, Marc
    Vennekens, Joost
    LOGIC PROGRAMMING, PROCEEDINGS, 2008, 5366 : 71 - 76
  • [33] LOGIC AND LOGIC PROGRAMMING
    ROBINSON, JA
    COMMUNICATIONS OF THE ACM, 1992, 35 (03) : 40 - +
  • [34] A SYSTEM AT THE CROSS-ROADS OF FUNCTIONAL AND LOGIC PROGRAMMING
    KAMAREDDINE, F
    SCIENCE OF COMPUTER PROGRAMMING, 1992, 19 (03) : 239 - 279
  • [35] Overview of the PloSys OR-parallel logic programming system
    Morel, E
    Briat, J
    deKergommeaux, JC
    1ST AUSTRIAN-HUNGARIAN WORKSHOP ON DISTRIBUTED AND PARALLEL SYSTEMS, PROCEEDINGS, 1996, 1996 (09): : 165 - 172
  • [36] A connectionist inductive learning system for modal logic programming
    Garcez, ASD
    Lamb, LC
    Gabbay, DM
    ICONIP'02: PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON NEURAL INFORMATION PROCESSING: COMPUTATIONAL INTELLIGENCE FOR THE E-AGE, 2002, : 1992 - 1997
  • [37] LINEAR OBJECTS - A LOGIC FRAMEWORK FOR OPEN SYSTEM PROGRAMMING
    ANDREOLI, JM
    PARESCHI, R
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 : 448 - 450
  • [38] COMPLEX - AN OBJECT-ORIENTED LOGIC PROGRAMMING SYSTEM
    GRECO, S
    LEONE, N
    RULLO, P
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1992, 4 (04) : 344 - 359
  • [39] PRISM: A logic programming language and system for probabilistic modeling
    Kameya, Yoshitaka
    Sato, Taisuke
    Izumi, Yusuke
    Iwasaki, Tatsuya
    Zhou, Neng-Fa
    Computer Software, 2007, 24 (04) : 2 - 22
  • [40] Intelligent analyzing system based on Inductive Logic Programming
    Doncescu, A
    Waisman, J
    Roux, G
    Richard, G
    Dahhou, B
    PROCEEDINGS OF THE 2001 IEEE INTERNATIONAL SYMPOSIUM ON INTELLIGENT CONTROL (ISIC'01), 2001, : 276 - 281
12345