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 条
  • [41] 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
  • [42] A New Integrated System of Logic Programming and Relational Database
    邓铁清
    吴泉源
    王志英
    Journal of Computer Science and Technology, 1993, (01) : 58 - 67
  • [43] Parallel Inductive Logic Programming System for Superlinear Speedup
    Nishiyama, Hiroyuki
    Ohwada, Hayato
    INDUCTIVE LOGIC PROGRAMMING (ILP 2017), 2018, 10759 : 112 - 123
  • [44] UCG-E - AN EQUATIONAL LOGIC PROGRAMMING SYSTEM
    HAMEL, LH
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 631 : 473 - 474
  • [45] Multi-paradigm Logic Programming in the ErgoAI System
    Swift, Theresa
    Kifer, Michael
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2024, 2025, 15245 : 126 - 139
  • [46] MCINTYRE: A Monte Carlo System for Probabilistic Logic Programming
    Riguzzi, Fabrizio
    FUNDAMENTA INFORMATICAE, 2013, 124 (04) : 521 - 541
  • [47] A Logic Programming System for Evolving Programs with Temporal Operators
    Alferes, Jose Julio
    Gabaldon, Alfredo
    Leite, Joao
    PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2009, 5816 : 101 - 112
  • [48] A scalable distributed heterogeneous associative logic programming system
    Ryan, SW
    Bansal, AK
    NINTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1997, : 37 - 44
  • [49] Parallel logic programming on distributed shared memory system
    Huang, ZY
    Sun, CZ
    Sattar, A
    Lei, WZ
    1997 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT PROCESSING SYSTEMS, VOLS 1 & 2, 1997, : 1138 - 1142
  • [50] CONDITIONAL LOGIC AND LOGIC PROGRAMMING
    NUTE, D
    JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 333 - 333
12345