A language for programming logic with finite sets

被引：0
|
作者：
Dovier, Agostino
Omodeo, Eugenio G.
Pontelli, Enrico
Rossi, Gianfranco
机构：
来源：
Journal of Logic Programming | 1996年 / 28卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
55
引用
收藏
相关论文
共 50 条
  • [1] {log}: a language for programming in logic with finite sets
    Universita di Parma, Parma, Italy
    J Logic Program, 1 (1-44):
  • [2] {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
  • [3] LOGIC PROGRAMMING WITH SETS
    KUPER, GM
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1990, 41 (01) : 44 - 64
  • [4] Logic programming with infinite sets
    Cenzer, D
    Remmel, JB
    Marek, VW
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2005, 44 (04) : 309 - 339
  • [5] 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
  • [6] Logic programming with infinite sets
    Douglas Cenzer
    Jeffrey B Remmel
    Victor W. Marek
    Annals of Mathematics and Artificial Intelligence, 2005, 44 : 309 - 339
  • [7] LOGIC ON FINITE STRUCTURES AND LOGIC PROGRAMMING
    DEROUGEMONT, M
    COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1986, 5 (06): : 465 - 477
  • [8] A logic programming framework for rough sets
    Vitória, A
    Maluszynski, J
    ROUGH SETS AND CURRENT TRENDS IN COMPUTING, PROCEEDINGS, 2002, 2475 : 205 - 212
  • [9] Logic programming and natural language
    Schmuller, Joseph
    PC AI Intelligent Solutions for Desktop Computers, 1995, 9 (06):
  • [10] ENGLISH AS A LOGIC PROGRAMMING LANGUAGE
    KOWALSKI, R
    NEW GENERATION COMPUTING, 1990, 8 (02) : 91 - 93
12345