{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:16:37Z","timestamp":1725538597018},"publisher-location":"Boston, MA","reference-count":15,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781441902207"},{"type":"electronic","value":"9781441902214"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-1-4419-0221-4_58","type":"book-chapter","created":{"date-parts":[[2009,10,3]],"date-time":"2009-10-03T08:01:49Z","timestamp":1254556909000},"page":"499-508","source":"Crossref","is-referenced-by-count":2,"title":["Towards Predicate Answer Set Programming via Coinductive Logic Programming"],"prefix":"10.1007","author":[{"given":"Richard","family":"Min","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ajay","family":"Bansal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gopal","family":"Gupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"58_CR1_58","unstructured":"Gelfond M, Lifschitz V (1988). The stable model semantics for logic programming. Proc. of International Logic Programming Conference and Symposium. 1070\u20131080."},{"key":"58_CR2_58","doi-asserted-by":"crossref","unstructured":"Baral C (2003). Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press.","DOI":"10.1017\/CBO9780511543357"},{"key":"58_CR3_58","unstructured":"Niemel\u00e4 I, Simons, P (1996). Efficient implementation of the well-founded and stable model semantics. Proc. JICSLP. 289\u2013303. The MIT Press."},{"issue":"1\u20132","key":"58_CR4_58","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/S0004-3702(02)00187-X","volume":"138","author":"P Simons","year":"2002","unstructured":"Simons P, Niemel\u00e4 I, Soininen, T (2002). Extending and implementing the stable model semantics. Artificial Intelligence 138(1\u20132):181\u2013234.","journal-title":"Artificial Intelligence"},{"key":"58_CR5_58","unstructured":"Simons P, Syrjanen, T (2003). SMODELS (version 2.27) and LPARSE (version 1.0.13). http:\/\/www.tcs.hut.fi\/Software\/smodels\/"},{"key":"58_CR6_58","doi-asserted-by":"crossref","unstructured":"Simon L, Mallya A, Bansal A, Gupta G (2006). Coinductive Logic Programming. ICLP\u203206. Springer Verlag.","DOI":"10.1007\/11799573_25"},{"key":"58_CR7_58","doi-asserted-by":"crossref","unstructured":"Gupta G, Bansal A, Min R et al (2007). Coinductive logic programming and its applications. Proc. ICLP\u203207. Springer Verlag.","DOI":"10.1007\/978-3-540-74610-2_4"},{"key":"58_CR8_58","unstructured":"Min R, Gupta G (2008). Negation in Coinductive Logic Programming. Technical Report. Department of Computer Science. University of Texas at Dallas. http:\/\/www.utdallas.edu\/~rkm010300\/research\/co-SLDNF.pdf"},{"key":"58_CR9_58","first-page":"51","volume":"1","author":"F Fages","year":"1994","unstructured":"Fages F (1994). Consistency of Clark's completion and existence of stable models. Journal of Methods of Logic in Computer Science 1:51\u201360.","journal-title":"Journal of Methods of Logic in Computer Science"},{"key":"58_CR10_58","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/0743-1066(90)90032-Z","volume":"9","author":"T Sato","year":"1990","unstructured":"Sato, T (1990). Completed logic programs and their consistency. J Logic Prog 9:33\u201344.","journal-title":"J Logic Prog"},{"key":"58_CR11_58","doi-asserted-by":"publisher","first-page":"690","DOI":"10.2307\/2024634","volume":"72","author":"S Kripke","year":"1985","unstructured":"Kripke S (1985). Outline of a Theory of Truth. Journal of Philosophy 72:690\u2013716.","journal-title":"Journal of Philosophy"},{"key":"58_CR12_58","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"2","author":"M Fitting","year":"1985","unstructured":"Fitting, M (1985). A Kripke-Kleene semantics for logic programs. Journal of Logic Programming 2:295\u2013312.","journal-title":"Journal of Logic Programming"},{"key":"58_CR13_58","unstructured":"Simon L, Bansal A, Mallya A et al (2007). Co-Logic Programming. ICALP'07."},{"key":"58_CR14_58","volume-title":"Logic Programming","author":"A Colmerauer","year":"1978","unstructured":"Colmerauer A (1978). Prolog and Infinite Trees. In: Clark KL, Tarnlund S-A (eds) Logic Programming. Prenum Press, New York."},{"key":"58_CR15_58","doi-asserted-by":"crossref","unstructured":"Maher, MJ (1988). Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Trees. Proc. 3rd Logic in Computer Science Conference. Edinburgh, UK.","DOI":"10.1109\/LICS.1988.5132"}],"container-title":["IFIP Advances in Information and Communication Technology","Artificial Intelligence Applications and Innovations III"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4419-0221-4_58.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T22:37:37Z","timestamp":1605652657000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4419-0221-4_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9781441902207","9781441902214"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-1-4419-0221-4_58","relation":{},"ISSN":["1868-4238"],"issn-type":[{"type":"print","value":"1868-4238"}],"subject":[],"published":{"date-parts":[[2009]]}}}