{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T20:52:50Z","timestamp":1725483170332},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425380"},{"type":"electronic","value":"9783540447979"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44797-0_16","type":"book-chapter","created":{"date-parts":[[2007,5,3]],"date-time":"2007-05-03T20:35:51Z","timestamp":1178224551000},"page":"193-205","source":"Crossref","is-referenced-by-count":14,"title":["Induction of Stable Models"],"prefix":"10.1007","author":[{"given":"Ram\u00f3n P.","family":"Otero","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,8,30]]},"reference":[{"key":"16_CR1","unstructured":"M. Bain and S. Muggleton. Nonmonotonic learning. In S. Muggleton, editor, Inductive Logic Programming, pages 145\u2013161. Academic Press, 1992."},{"key":"16_CR2","unstructured":"Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming. In R. Kowalski and K. Bowen, editors, Logic Programming: Proc. of the Fifth Int\u2019l Conf. and Symp., pages 1070\u20131080, 1988."},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"W. Marek and M. Truszczynski. Nonmonotonic Logic-Context-Dependent Reasoning. Series Artificial Intelligence, Springer-Verlag, 1993.","DOI":"10.1007\/978-3-662-02906-0"},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S. Muggleton","year":"1995","unstructured":"S. Muggleton. Inverse entailment and Progol. New Generation Computing, 13:245\u2013286, 1995.","journal-title":"New Generation Computing"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"S. Muggleton. Completing inverse entailment. In Proc. of the 8th International Workshop on Inductive Logic Programming, ILP 98, LNAI 1446, pages 245\u2013249, 1998.","DOI":"10.1007\/BFb0027328"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Ilkka Niemel\u00e4 and Patrick Simons. Smodels-an implementation of the stable model and well-founded semantics for normal logic programs. In Proc. of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 97, LNAI 1265, pages 420\u2013429, 1997.","DOI":"10.1007\/3-540-63255-7_32"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"C. Sakama. Some properties of inverse resolution in normal logic programs. In Proc. of the 9th International Workshop on Inductive Logic Programming, ILP 99, LNAI 1634, pages 279\u2013290, 1999.","DOI":"10.1007\/3-540-48751-4_26"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"C. Sakama. Inverse entailment in nonmonotonic logic programs. In Proc. of the 10th International Conference on Inductive Logic Programming, ILP 00, LNAI 1866, pages 209\u2013224, 2000.","DOI":"10.1007\/3-540-44960-4_13"}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44797-0_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T14:17:27Z","timestamp":1556374647000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44797-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425380","9783540447979"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-44797-0_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}