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
Y1 - 2007
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
U2 - 10.1007/978-3-540-74610-2_4
DO - 10.1007/978-3-540-74610-2_4
M3 - Conference contribution
AN - SCOPUS:38149060201
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
PB - Springer Verlag
T2 - 23rd International Conference on Logic Programming, ICLP 2007
Y2 - 8 September 2007 through 13 September 2007
ER -