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 条
  • [21] A LOGIC PROGRAMMING SYSTEM BASED ON CORTEGE ALGEBRA
    KULIK, BA
    JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 1995, 33 (02) : 159 - 170
  • [22] ELIPSYS - A PARALLEL PROGRAMMING SYSTEM BASED ON LOGIC
    DOROCHEVSKY, M
    LI, LL
    REEVE, M
    SCHUERMAN, K
    VERON, A
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 : 469 - 471
  • [23] SYSTEM STRUCTURE FOR PARALLEL LOGIC PROGRAMMING.
    Diel, H.
    Lenz, N.
    Welsch, H.M.
    Future Generation Computer Systems, 1986, 2 (04) : 225 - 231
  • [24] Mutable terms in a tabled logic programming system
    Cui, B
    Warren, DS
    LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1999, : 305 - 319
  • [25] Abductive logic programming with CIFF: System description
    Endriss, U
    Mancarella, P
    Sadri, F
    Terreni, G
    Toni, F
    LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 : 680 - 684
  • [26] DisLoP: Towards a disjunctive logic programming system
    Aravindan, C
    Dix, J
    Niemela, I
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1997, 1265 : 341 - 352
  • [27] An efficient propositional system for Abductive Logic Programming
    Gavanelli, Marco
    Julian-Iranzo, Pascual
    Saenz-Perez, Fernando
    ARTIFICIAL INTELLIGENCE REVIEW, 2024, 57 (12)
  • [28] EDUCE - A LOGIC PROGRAMMING SYSTEM FOR IMPLEMENTING KBMSS
    BOCCA, J
    PROCEEDINGS OF THE SEVENTH BRITISH NATIONAL CONFERENCE ON DATABASES ( BNCOD 7 ), 1989, : 117 - 145
  • [29] How to reason with OWL in a logic programming system
    Kroetzsch, Markus
    Hitzler, Pascal
    Vrandecic, Denny
    Sintek, Michael
    RULEML 2006: SECOND INTERNATIONAL CONFERENCE ON RULES AND RULE MARKUP LANGUAGES FOR THE SEMANTIC WEB, PROCEEDINGS, 2006, : 17 - 26
  • [30] INDUCING LOGIC PROGRAMS WITH GENETIC ALGORITHMS - THE GENETIC LOGIC PROGRAMMING SYSTEM
    WONG, ML
    LEUNG, KS
    IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1995, 10 (05): : 68 - 76
12345