{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T08:46:16Z","timestamp":1770885976678,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540592860","type":"print"},{"value":"9783540492320","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59286-5_53","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:10:52Z","timestamp":1330276252000},"page":"122-137","source":"Crossref","is-referenced-by-count":19,"title":["Learning non-monotonic logic programs: Learning exceptions"],"prefix":"10.1007","author":[{"given":"Yannis","family":"Dimopoulos","sequence":"first","affiliation":[]},{"given":"Antonis","family":"Kakas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"M. Bain and S. Muggleton, Non-monotonic learning. In: J.E. Hayes-Michie and E. Tyugu, eds., Machine Intelligence 12. Oxford University Press, 1990","DOI":"10.1093\/oso\/9780198538233.003.0008"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"K.L. Clark. Negation as failure. In Logic and databases, Gallaire and Minker, eds., Plenum Press, 1978.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"9_CR3","unstructured":"J. Cussens, A. Hunter and A. Srinivasan. Generating explicit ordering for nonmonotonic logics. Proc. of AAAI-93."},{"key":"9_CR4","unstructured":"L. De Raedt. Interactive Theory Revision: an Inductive Logic Programming Approach. Academic Press, 1992."},{"key":"9_CR5","unstructured":"L. De Raedt and M. Bruynooghe. On negation and three-valued logic in interactive concept learning. Proc. of the 9th European Conference on AI, ECAI-90, 207\u2013212, 1990."},{"key":"9_CR6","unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programs. Proc. of the 5th International Conference and Symposium on Logic Programming, 1070\u20131080, MIT Press, 1990."},{"key":"9_CR7","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"E.M. Gold","year":"1967","unstructured":"E.M. Gold. Language identification in the limit. Information and Control, 10:447\u2013474, 1967.","journal-title":"Information and Control"},{"key":"9_CR8","unstructured":"A. Kakas, P. Mancarela and P. M. Dung. The acceptability semantics for logic programs. Proc. of 11th Inter. Conference on Logic Programming, ICLP-94, 504\u2013519, MIT Press, 1994."},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"J-U. Kietz and S. Dzeroski. Inductive logic programming and learnability. SIGART Newsletters, 5(1), 1994.","DOI":"10.1145\/181668.181674"},{"key":"9_CR10","unstructured":"N. Lavrac and S. Dzeroski. Inductive Logic Programming: Techniques and Applications. Ellis Horwood, 1994."},{"key":"9_CR11","unstructured":"C. Ling. Non-Monotonic specialization. Proc. of the Inductive Logic Programming Workshop, ILP-91, 1991."},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"S. Muggleton and W. Buntime. Machine invention of first order predicates by inverting resolution. Proc. of the 5th Inter. Conference on Machine Learning, 339\u2013352, Kaufmann, 1988.","DOI":"10.1016\/B978-0-934613-64-4.50040-2"},{"key":"9_CR13","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/BF03037089","volume":"8","author":"S. Muggleton","year":"1991","unstructured":"S. Muggleton. Inductive logic programming. New Generation Computing, 8, 295\u2013318, 1991.","journal-title":"New Generation Computing"},{"key":"9_CR14","unstructured":"S. Muggleton and L. De Raedt. Inductive logic programming: Theory and methods. submitted."},{"key":"9_CR15","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/BF00243002","volume":"5","author":"T. Przymusinski","year":"1989","unstructured":"T. Przymusinski, On the declarative and procedural semantics of logic programs. Journal of Automated Reasoning, 5, 167\u2013205, 1989.","journal-title":"Journal of Automated Reasoning"},{"key":"9_CR16","unstructured":"A. Srinivasan, S. Muggleton and M. Bain. Distinguishing exceptions from noise in non-monotonic learning. Proc. of the International Workshop on Inductive Logic Programming, S. Muggleton and K. Furukawa, Japan, 1992."},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"S. Wrobel. On the proper definition of minimality in specialization and theory revision. Proc. of the European Conference on Machine Learning, ECML-93, Vienna, 1993, LNAI 667, Springer Verlag.","DOI":"10.1007\/3-540-56602-3_128"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"A. Van Gelder, K. A. Ross and J. S. Schlipf. Unfounded sets and well-founded semantics for general logic programs. Proc. of the 7th Symposium on Principles of Database Systems, PODS-88, 221\u2013230, ACM Press, 1988.","DOI":"10.1145\/308386.308444"}],"container-title":["Lecture Notes in Computer Science","Machine Learning: ECML-95"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59286-5_53.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T16:29:28Z","timestamp":1713630568000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59286-5_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540592860","9783540492320"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-59286-5_53","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}