Talks & Seminars
Coinductive Logic Programming and its Applications
Prof. Gopal Gupta, Department of Computer Science, University of Texas at Dallas
Date & Time: August 13, 2007 11:00
Venue: SIC 305, ~QC~R Block, 03rd floor, Kanwal Rekhi Building
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.
Speaker Profile:
List of Talks


Faculty CSE IT
Forgot Password
    [+] Sitemap     Feedback