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

46 Scopus citations

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

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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

  • 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). Springer Verlag. https://doi.org/10.1007/978-3-540-74610-2_4