A Theoretical Perspective of Coinductive Logic Programming

被引：13
|
作者：
Ancona, Davide [1 ]
Dovier, Agostino [2 ]
机构：
[1] Univ Genoa, DIBRIS, I-16146 Genoa, Italy
[2] Univ Udine, DIMI, I-33100 Udine, Italy
来源：
FUNDAMENTA INFORMATICAE | 2015年 / 140卷 / 3-4期
关键词：
Foundations of Logic Programming; Denotational Semantics; Coinduction;
D O I：
10.3233/FI-2015-1252
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper we study the semantics of Coinductive Logic Programming and clarify its intrinsic computational limits, which prevent, in particular, the definition of a complete, computable, operational semantics. We propose a new operational semantics that allows a simple correctness result and the definition of a simple meta-interpreter. We compare, and prove the equivalence, with the operational semantics defined and used in other papers on this topic.
引用
收藏
页码：221 / 246
页数：26
相关论文
共 50 条
  • [1] Coinductive logic programming
    Simon, Luke
    Mallya, Ajay
    Bansal, Ajay
    Gupta, Gopal
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 330 - 345
  • [2] Coinductive Constraint Logic Programming
    Saeedloei, Neda
    Gupta, Gopal
    [J]. FUNCTIONAL AND LOGIC PROGRAMMING (FLOPS 2012), 2012, 7294 : 243 - 259
  • [3] Flexible coinductive logic programming
    DAGNINO, F. R. A. N. C. E. S. C. O.
    ANCONA, D. A. V. I. D. E.
    ZUCCA, E. L. E. N. A.
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2020, 20 (06) : 818 - 833
  • [4] Coinductive Logic Programming with Negation
    Min, Richard
    Gupta, Gopal
    [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2010, 6037 : 97 - 112
  • [5] Coinductive logic programming and its applications
    Gupta, Gopal
    Bansal, Ajay
    Min, Richard
    Simon, Luke
    Mallya, Ajay
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 27 - +
  • [6] Type Inference by Coinductive Logic Programming
    Ancona, Davide
    Lagorio, Giovanni
    Zucca, Elena
    [J]. TYPES FOR PROOFS AND PROGRAMS, 2009, 5497 : 1 - 18
  • [7] Type Inference by Coinductive Logic Programming
    DISI, Univ. of Genova, v. Dodecaneso 35, Genova 16146, Italy
    [J]. Lect. Notes Comput. Sci., (1-18):
  • [8] Predicate answer set programming via coinductive logic programming
    Min, Richard
    Bansal, Ajay
    Gupta, Gopal
    [J]. ENGINEERING INTELLIGENT SYSTEMS FOR ELECTRICAL ENGINEERING AND COMMUNICATIONS, 2009, 17 (2-3): : 105 - 114
  • [9] Towards Predicate Answer Set Programming via Coinductive Logic Programming
    Min, Richard
    Bansal, Ajay
    Gupta, Gopal
    [J]. ARTIFICIAL INTELLIGENCE APPLICATIONS AND INNOVATIONS III, 2009, : 499 - 508
  • [10] Towards predicate answer set programming via coinductive logic programming
    Min, Richard
    Bansal, Ajay
    Gupta, Gopal
    [J]. IFIP Advances in Information and Communication Technology, 2009, 296 : 499 - 508
12345