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 条
  • [1] The Fusemate Logic Programming System
    Baumgartner, Peter
    AUTOMATED DEDUCTION, CADE 28, 2021, 12699 : 589 - 601
  • [2] PAP - A LOGIC PROGRAMMING SYSTEM BASED ON A CONSTRUCTIVE LOGIC
    MIGLIOLI, P
    MOSCATO, U
    ORNAGHI, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 306 : 143 - 156
  • [3] OASys: An AND/OR parallel logic programming system
    Vlahavas, I
    Kefalas, P
    Halatsis, C
    PARALLEL COMPUTING, 1999, 25 (03) : 321 - 336
  • [4] PROPOSITIONAL LOGIC PROGRAMMING AND THE PRIZ SYSTEM
    MINTS, GE
    TYUGU, EH
    JOURNAL OF LOGIC PROGRAMMING, 1990, 9 (2-3): : 179 - 193
  • [5] LOGIC PROGRAMMING IN SYSTEM-DEVELOPMENT
    ENNALS, R
    DATA PROCESSING, 1986, 28 (06): : 308 - 311
  • [6] A system for tabled constraint logic programming
    Cui, BQ
    Warren, DS
    COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 478 - 492
  • [7] The modal logic programming system MProlog
    Nguyen, LA
    LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 : 266 - 278
  • [8] A LOGIC PROGRAMMING SYSTEM FOR NONMONOTONIC REASONING
    ALFERES, JJ
    DAMASIO, CV
    PEREIRA, LM
    JOURNAL OF AUTOMATED REASONING, 1995, 14 (01) : 93 - 147
  • [9] April - An inductive logic programming system
    Fonseca, Nuno A.
    Silva, Fernando
    Camacho, Rui
    LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4160 : 481 - 484
  • [10] A Polymorphic Type System in Logic Programming
    Li Huiqi
    Zhao Zhizhuo
    2008 3rd International Conference on Intelligent System and Knowledge Engineering, Vols 1 and 2, 2008, : 125 - 130
12345