{log}: a language for programming in logic with finite sets

被引：0
|
作者：
Universita di Parma, Parma, Italy [1 ]
机构：
来源：
J Logic Program | / 1卷 / 1-44期
关键词：
PROOF OF THEOREM 5.6. If P ~set (-~G~) v; then P U {(G~) v} is unsatisfiable. Let V be a ground substitution acting on the (free) variables of G ~. Then P U {G ~°~ } is unsatisfiable. By Lemma 5.5; there exists a refutation for G °°7 in P and; therefore; by Lemma 5.3; G has a refutation in P. [] This work originated from a project named AXL; funded by ENI and ENIDATA; Partial support came from the Italian National Research Council (CNR grants 94.00472.CT12 and 95.00502.CT12) and from Compulog-2 (Esprit project 6810). Enrico Pontelli was partially supported by NSF Grant CCR 92-11732 and by a fellowship from Phillips Petroleum;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
55
引用
收藏
相关论文
共 50 条
  • [1] {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
  • [2] A language for programming logic with finite sets
    Dovier, Agostino
    Omodeo, Eugenio G.
    Pontelli, Enrico
    Rossi, Gianfranco
    Journal of Logic Programming, 1996, 28 (01):
  • [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] LOGIC META-PROGRAMMING FACILITIES IN LOG
    CERVESATO, I
    ROSSI, GF
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 649 : 148 - 161
  • [9] A logic programming framework for rough sets
    Vitória, A
    Maluszynski, J
    ROUGH SETS AND CURRENT TRENDS IN COMPUTING, PROCEEDINGS, 2002, 2475 : 205 - 212
  • [10] ENGLISH AS A LOGIC PROGRAMMING LANGUAGE
    KOWALSKI, R
    NEW GENERATION COMPUTING, 1990, 8 (02) : 91 - 93
12345