Coinductive Logic Programming with Negation

Bibliographic Details
Title:	Coinductive Logic Programming with Negation
Authors:	Min, Richard^Aff17, Gupta, Gopal^Aff17
Contributors:	Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Doug, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, De Schreye, Danny, editor^Aff16
Source:	Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers. 6037:97-112
Database:	Springer Nature eBooks

Description
ISBN:	9783642125911 9783642125928
DOI:	10.1007/978-3-642-12592-8_8