{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:46:13Z","timestamp":1725551173405},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634942"},{"type":"electronic","value":"9783540695837"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63494-0_58","type":"book-chapter","created":{"date-parts":[[2010,4,5]],"date-time":"2010-04-05T19:22:49Z","timestamp":1270495369000},"page":"229-244","source":"Crossref","is-referenced-by-count":2,"title":["Integrity constraints in ILP using a Monte Carlo approach"],"prefix":"10.1007","author":[{"given":"Al\u00edpio","family":"Jorge","sequence":"first","affiliation":[]},{"given":"Pavel B.","family":"Brazdil","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,8,18]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Aha, D. W., Lapointe, S., Ling, C. X., Matwin S (1994): Inverting Implication with Small Training Sets. Proceedings of the European Conference on Machine Learning, ECML-94, ed. F. Bergadano and L. De Raedt, Springer Verlag.","DOI":"10.1007\/3-540-57868-4_49"},{"key":"14_CR2","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1613\/jair.26","volume":"1","author":"F. Bergadano","year":"1993","unstructured":"Bergadano, F., Gunneti, D. and Trinchero, U. (1993): The Difficulties of Learning Logic Programs with Cut. Journal of Artificial Intelligence Research 1, 91\u2013107, AI Access Foundation and Morgan Kaufmann Publishers.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"14_CR3","unstructured":"Brazdil, P., Jorge, A. (1994): Learning by Refining Algorithm Sketches. Proceedings of ECAI-94, T. Cohn (ed.). Wiley."},{"key":"14_CR4","unstructured":"De Raedt, L., Lavrac, N., Dzeroski, S. (1993): Multiple Predicate Learning. Proceedings of IJCAI-93. Morgan-Kaufmann."},{"key":"14_CR5","unstructured":"De Raedt, L. (1992): Interactive Theory Revision:An Inductive Logic Programming Approach. Academic Press."},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Deville, Y., Lau, K.,(1994): Logic Program Synthesis. The Journal of Logic Programming, special issue Ten Years of Logic Programming, volumes 19,20, May\/July 1994.","DOI":"10.1016\/0743-1066(94)90029-9"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Hogger, C. J. (1990): Essentials of Logic Programming. Graduate texts in computer science series, Oxford University Press.","DOI":"10.1093\/oso\/9780198538202.001.0001"},{"key":"14_CR8","unstructured":"Idestam-Almquist P (1996) Efficient Induction of Recursive Definitions by Efficient Analysis of Saturations. Advances in Inductive Logic Programming, Ed. by Luc De Raedt, IOS Press\/Ohmsha."},{"key":"14_CR9","unstructured":"Jorge, A. and Brazdil, P. (1996): Architecture for Iterative Learning of Recursive Definitions. Advances in Inductive Logic Programming, Ed. by Luc De Raedt, IOS Press\/Ohmsha."},{"key":"14_CR10","unstructured":"Lavrac, N. and Dzeroski, S. (1994): Inductive Logic Programming, Techniques and Applications. Ellis Horwood."},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Manthey, R. and Bry, F. (1988): SATCHMO: a theorem prover implemented in Prolog. Proceedings of CADE 88 (9th Conference on Automated Deduction), SpringerVerlag.","DOI":"10.1007\/BFb0012847"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Muggleton, S., De Raedt, L., (1994): Inductive Logic Programming. The Journal of Logic Programming. Special issue Ten Years of Logic Programming, volumes 19,20, May\/July 1994.","DOI":"10.1145\/181668.181671"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Muggleton, S. (1995): Stochastic Logic Programs. Advances in Inductive Logic Programming, Ed. by Luc De Raedt, IOS Press\/Ohmsha.","DOI":"10.1016\/B978-1-55860-335-6.50052-0"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Muggleton, S. (1993): Inductive Logic Programming: derivations, successes and shortcomings. Proceedings of ECML-93, Springer-Verlag.","DOI":"10.1007\/3-540-56602-3_125"},{"key":"14_CR15","first-page":"239","volume":"5","author":"J.R. Quinlan","year":"1990","unstructured":"Quinlan, J.R. (1990): Learning logical definitions from relations. Machine Learning 5, 239\u2013266.","journal-title":"Learning logical definitions from relations. Machine Learning"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Quinlan, J.R. (1993): FOIL: A Midterm Report. Proceedings of ECML-93, Springer-Verlag.","DOI":"10.1007\/3-540-56602-3_124"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Quinlan, J.R. (1996): Learning First-Order Definitions of Functions. Journal of Artificial Intelligence Research, to appear.","DOI":"10.1613\/jair.308"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Sadri, F., Kowalski, R. (1988): A Theorem Proving Approach to Database Integrity in Deductive Databases and Logic Programming, ed. by Jack Minker, Morgan Kaufmann Publishers.","DOI":"10.1016\/B978-0-934613-40-8.50013-0"},{"key":"14_CR19","volume-title":"Algorithmic Program Debugging","author":"E. Y. Shapiro","year":"1982","unstructured":"Shapiro, E. Y., (1982) Algorithmic Program Debugging, MIT Press, Cambridge MA."},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Zelle J M, Mooney R J, Konvisser J B, (1994): Combining Top-down and Bottomup Techniques in Inductive Logic Programming. Proceedings of the Eleventh International Conference on Machine Learning ML-94, Morgan-Kaufmarm.","DOI":"10.1016\/B978-1-55860-335-6.50049-0"}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63494-0_58","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,25]],"date-time":"2024-03-25T15:12:55Z","timestamp":1711379575000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63494-0_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634942","9783540695837"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-63494-0_58","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}