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 条
  • [1] Logic programming with infinite sets
    Cenzer, D
    Remmel, JB
    Marek, VW
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2005, 44 (04) : 309 - 339
  • [2] Sets and constraint logic programming
    Dovier, A
    Piazza, C
    Pontelli, E
    Rossi, G
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2000, 22 (05): : 861 - 931
  • [3] Logic programming with infinite sets
    Douglas Cenzer
    Jeffrey B Remmel
    Victor W. Marek
    Annals of Mathematics and Artificial Intelligence, 2005, 44 : 309 - 339
  • [4] A language for programming logic with finite sets
    Dovier, Agostino
    Omodeo, Eugenio G.
    Pontelli, Enrico
    Rossi, Gianfranco
    Journal of Logic Programming, 1996, 28 (01):
  • [5] A logic programming framework for rough sets
    Vitória, A
    Maluszynski, J
    ROUGH SETS AND CURRENT TRENDS IN COMPUTING, PROCEEDINGS, 2002, 2475 : 205 - 212
  • [6] {log}: a language for programming in logic with finite sets
    Universita di Parma, Parma, Italy
    J Logic Program, 1 (1-44):
  • [7] Extending Answer Sets for Logic Programming Agents
    M. De Vos
    D. Vermeir
    Annals of Mathematics and Artificial Intelligence, 2004, 42 : 103 - 139
  • [8] Constructive negation and constraint logic programming with sets
    Dovier, A
    Pontelli, E
    Rossi, G
    NEW GENERATION COMPUTING, 2001, 19 (03) : 209 - 255
  • [9] {log}: A language for programming in logic with finite sets
    Dovier, A
    Omodeo, EG
    Pontelli, E
    Rossi, G
    JOURNAL OF LOGIC PROGRAMMING, 1996, 28 (01): : 1 - 44
  • [10] Extending answer sets for logic programming agents
    De Vos, M
    Vermeir, D
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2004, 42 (1-3) : 103 - 139
12345