Logic programming with infinite sets

被引：3
|
作者：
Cenzer, D [1 ]
Remmel, JB
Marek, VW
机构：
[1] Univ Florida, Gainesville, FL 32611 USA
[2] Univ Calif San Diego, La Jolla, CA 92093 USA
[3] Univ Kentucky, Lexington, KY 40506 USA
来源：
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE | 2005年 / 44卷 / 04期
基金：
美国国家科学基金会;
关键词：
nonmonotonic logic; logic programming;
D O I：
10.1007/s10472-005-7030-5
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Using the ideas from current investigations in Knowledge Representation we study the use of a class of logic programs for reasoning about infinite sets. Our programs reason about the codes for various infinite sets. Depending on the form of atoms allowed in the bodies of clauses we obtain a variety of completeness results for various classes of arithmetic sets of integers.
引用
收藏
页码：309 / 339
页数：31
相关论文
共 50 条
  • [21] Integrating Cardinality Constraints into Constraint Logic Programming with Sets
    Cristia, Maximiliano
    Rossi, Gianfranco
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2023, 23 (02) : 468 - 502
  • [22] Probabilistic Logic Programming under Answer Sets Semantics
    王洁
    鞠实儿
    中山大学学报(社会科学版), 2003, (社会科学版) : 90 - 96
  • [23] Adding partial functions to Constraint Logic Programming with sets
    Cristia, Maximiliano
    Rossi, Gianfranco
    Frydman, Claudia
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2015, 15 : 651 - 665
  • [24] Membership-constraints and complexity in logic programming with sets
    Stolzenburg, F
    FRONTIERS OF COMBINING SYSTEMS, 1996, 3 : 285 - 302
  • [25] ON STABLE FEASIBLE SETS IN GENERALIZED SEMI-INFINITE PROGRAMMING
    Guenzel, Harald
    Jongen, Hubertus Th.
    Rueckmann, Jan-J.
    SIAM JOURNAL ON OPTIMIZATION, 2008, 19 (02) : 644 - 654
  • [26] Constraint Logic Programming over Infinite Domains with an Application to Proof
    Krings, Sebastian
    Leuschel, Michael
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (234): : 73 - 87
  • [27] UNCONSCIOUS AS INFINITE SETS - ESSAY IN BI-LOGIC - BLANCO,IM
    GACH, J
    MLN-MODERN LANGUAGE NOTES, 1979, 94 (05): : 1228 - 1231
  • [28] Neuro-symbolic Representation of Logic Programs Defining Infinite Sets
    Komendantskaya, Ekaterina
    Broda, Krysia
    Garcez, Artur d'Avila
    ARTIFICIAL NEURAL NETWORKS-ICANN 2010, PT I, 2010, 6352 : 301 - +
  • [29] TEST SETS GENERATION FROM ALGEBRAIC SPECIFICATIONS USING LOGIC PROGRAMMING
    BOUGE, L
    CHOQUET, N
    FRIBOURG, L
    GAUDEL, MC
    JOURNAL OF SYSTEMS AND SOFTWARE, 1986, 6 (04) : 343 - 360
  • [30] Fuzzy Sets for a Declarative Description of Multi-adjoint Logic Programming
    Moreno, Gines
    Penabad, Jaime
    Vazquez, Carlos
    ROUGH SETS AND CURRENT TRENDS IN SOFT COMPUTING, RSCTC 2014, 2014, 8536 : 71 - 82
12345