Coinductive logic programming and its applications

Gopal Gupta, Ajay Bansal, Richard Min, Luke Simon, Ajay Mallya

Research output: Chapter in Book/Report/Conference proceedingConference contribution

44 Citations (Scopus)

Abstract

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.

Original languageEnglish (US)
Title of host publicationLogic Programming - 23rd International Conference, ICLP 2007, Proceedings
Pages27-44
Number of pages18
StatePublished - Dec 1 2007
Externally publishedYes
Event23rd International Conference on Logic Programming, ICLP 2007 - Porto, Portugal
Duration: Sep 8 2007Sep 13 2007

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4670 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other23rd International Conference on Logic Programming, ICLP 2007
CountryPortugal
CityPorto
Period9/8/079/13/07

Fingerprint

Coinduction
Logic programming
Logic Programming
Fixed point
Semantics
Nonmonotonic Reasoning
Concurrent Programming
Model checking
Model Checking
Proof by induction
Reasoning
Evaluation

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Gupta, G., Bansal, A., Min, R., Simon, L., & Mallya, A. (2007). Coinductive logic programming and its applications. In Logic Programming - 23rd International Conference, ICLP 2007, Proceedings (pp. 27-44). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4670 LNCS).

Coinductive logic programming and its applications. / Gupta, Gopal; Bansal, Ajay; Min, Richard; Simon, Luke; Mallya, Ajay.

Logic Programming - 23rd International Conference, ICLP 2007, Proceedings. 2007. p. 27-44 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4670 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Gupta, G, Bansal, A, Min, R, Simon, L & Mallya, A 2007, Coinductive logic programming and its applications. in Logic Programming - 23rd International Conference, ICLP 2007, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4670 LNCS, pp. 27-44, 23rd International Conference on Logic Programming, ICLP 2007, Porto, Portugal, 9/8/07.
Gupta G, Bansal A, Min R, Simon L, Mallya A. Coinductive logic programming and its applications. In Logic Programming - 23rd International Conference, ICLP 2007, Proceedings. 2007. p. 27-44. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Gupta, Gopal ; Bansal, Ajay ; Min, Richard ; Simon, Luke ; Mallya, Ajay. / Coinductive logic programming and its applications. Logic Programming - 23rd International Conference, ICLP 2007, Proceedings. 2007. pp. 27-44 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{186547d6e239458b9c886da2c99e9941,
title = "Coinductive logic programming and its applications",
abstract = "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.",
author = "Gopal Gupta and Ajay Bansal and Richard Min and Luke Simon and Ajay Mallya",
year = "2007",
month = "12",
day = "1",
language = "English (US)",
isbn = "9783540746089",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "27--44",
booktitle = "Logic Programming - 23rd International Conference, ICLP 2007, Proceedings",

}

TY - GEN

T1 - Coinductive logic programming and its applications

AU - Gupta, Gopal

AU - Bansal, Ajay

AU - Min, Richard

AU - Simon, Luke

AU - Mallya, Ajay

PY - 2007/12/1

Y1 - 2007/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=38149060201&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=38149060201&partnerID=8YFLogxK

M3 - Conference contribution

SN - 9783540746089

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 27

EP - 44

BT - Logic Programming - 23rd International Conference, ICLP 2007, Proceedings

ER -