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

60 Scopus citations


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
PublisherSpringer Verlag
Number of pages18
ISBN (Print)9783540746089
StatePublished - 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


Other23rd International Conference on Logic Programming, ICLP 2007

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Coinductive logic programming and its applications'. Together they form a unique fingerprint.

Cite this