LOGIC PROGRAMMING WITH SETS

被引:29
|
作者
KUPER, GM
机构
[1] IBM, T J. Watson Research Laboratory, Yorktown Heights, NY
关键词
D O I
10.1016/0022-0000(90)90033-H
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
[No abstract available]
引用
收藏
页码:44 / 64
页数:21
相关论文
共 50 条
  • [41] LOGIC PROGRAMMING AND SIGMA-PROGRAMMING
    VORONKOV, AA
    CYBERNETICS, 1989, 25 (01): : 83 - 91
  • [42] Discovering Relational Knowledge from Two Disjoint Sets of Literatures Using Inductive Logic Programming
    Thaicharoen, Supphachai
    Altman, Tom
    Gardiner, Katheleen
    Cios, Krzysztof J.
    2009 IEEE SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND DATA MINING, 2009, : 283 - 290
  • [43] Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
    Kowalski, Robert
    Sadri, Fariba
    WEB REASONING AND RULE SYSTEMS, PROCEEDINGS, 2009, 5837 : 1 - 23
  • [44] Polynomial-time learning in logic programming and constraint logic programming
    Sebag, M
    Rouveirol, C
    INDUCTIVE LOGIC PROGRAMMING, 1997, 1314 : 105 - 126
  • [45] LOGIC, SETS, AND MATHEMATICS
    GILMORE, PC
    MATHEMATICAL INTELLIGENCER, 1993, 15 (01): : 10 - 19
  • [46] Logic, induction and sets
    Lord, Nick
    MATHEMATICAL GAZETTE, 2005, 89 (514): : 185 - +
  • [47] A logic for rough sets
    Duntsch, I
    THEORETICAL COMPUTER SCIENCE, 1997, 179 (1-2) : 427 - 436
  • [48] FUNCTIONAL PROGRAMMING WITH SETS
    JAYARAMAN, B
    PLAISTED, DA
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 274 : 194 - 211
  • [49] Fuzzy logic programming
    Vojtás, P
    FUZZY SETS AND SYSTEMS, 2001, 124 (03) : 361 - 370
  • [50] Relevant logic programming
    Bollen, A.W.
    Journal of Automated Reasoning, 1991, 7 (04): : 563 - 585