Coinductive logic programming and its applications

被引：36

作者：

Gupta, Gopal ^{[1
]}

Bansal, Ajay ^{[1
]}

Min, Richard ^{[1
]}

Simon, Luke ^{[1
]}

Mallya, Ajay ^{[1
]}

机构：

[1] Univ Texas, Dept Comp Sci, Richardson, TX 75080 USA

来源：

LOGIC PROGRAMMING, PROCEEDINGS | 2007年 / 4670卷

关键词：

D O I：

10.1007/978-3-540-74610-2_4

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Coinduction has recently been introduced as a powerful technique for reasoning about unfounded sets, unbounded structures, and interactive computations. Where induction corresponds to least fixed point semantics, coinduction corresponds to greatest fixed point semantics. In this paper we discuss the introduction of coinduction into logic programming. We discuss applications of coinductive logic programming to verification and model checking, lazy evaluation, concurrent logic programming and non-monotonic reasoning.

引用

页码：27 / +

页数：3

共 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] A Theoretical Perspective of Coinductive Logic Programming
Ancona, Davide
Dovier, Agostino
[J]. FUNDAMENTA INFORMATICAE, 2015, 140 (3-4) : 221 - 246
[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

← 1 2 3 4 5 →