LOGIC PROGRAMMING WITH SETS

被引：29
|
作者：
KUPER, GM
机构：
[1] IBM, T J. Watson Research Laboratory, Yorktown Heights, NY
来源：
JOURNAL OF COMPUTER AND SYSTEM SCIENCES | 1990年 / 41卷 / 01期
关键词：
D O I：
10.1016/0022-0000(90)90033-H
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
[No abstract available]
引用
收藏
页码：44 / 64
页数：21
相关论文
共 50 条
  • [31] LOGIC PROGRAMMING
    GENESERETH, MR
    GINSBERG, ML
    COMMUNICATIONS OF THE ACM, 1985, 28 (09) : 933 - 941
  • [32] LOGIC PROGRAMMING
    BRADY, M
    IRISH JOURNAL OF PSYCHOLOGY, 1989, 10 (02): : 304 - 316
  • [33] Logic applied to integer programming and integer programming applied to logic
    Univ of Southampton, Southampton, United Kingdom
    Eur J Oper Res, 3 (605-616):
  • [34] LOGIC APPLIED TO INTEGER PROGRAMMING AND INTEGER PROGRAMMING APPLIED TO LOGIC
    WILLIAMS, HP
    EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 1995, 81 (03) : 605 - 616
  • [35] Abductive logic programming and disjunctive logic programming: their relationship and transferability
    Sakama, C
    Inoue, K
    JOURNAL OF LOGIC PROGRAMMING, 2000, 44 (1-3): : 75 - 100
  • [36] Co-logic programming: Extending logic programming with coinduction
    Simon, Luke
    Bansal, Ajay
    Mallya, Ajay
    Gupta, Gopal
    AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2007, 4596 : 472 - +
  • [37] Embedding defeasible logic into logic programming
    Antoniou, Grigoris
    Billington, David
    Governatori, Guido
    Maher, Michael J.
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2006, 6 : 703 - 735
  • [38] A visual syntax for logic and logic programming
    Agusti, J
    Puigsegur, J
    Robertson, D
    JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 1998, 9 (04): : 399 - 427
  • [39] LOGIC ON FINITE STRUCTURES AND LOGIC PROGRAMMING
    DEROUGEMONT, M
    COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1986, 5 (06): : 465 - 477
  • [40] Disjunctive logic programming and autoepistemic logic
    Yuan, LY
    You, JH
    Goebel, R
    LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION, 1998, 1471 : 85 - 101
12345