{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:39:24Z","timestamp":1750307964638,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,7,14]],"date-time":"2007-07-14T00:00:00Z","timestamp":1184371200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,7,14]]},"DOI":"10.1145\/1273920.1273946","type":"proceedings-article","created":{"date-parts":[[2012,10,10]],"date-time":"2012-10-10T14:45:29Z","timestamp":1349880329000},"page":"187-196","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Nonmonotonic inductive logic programming by instance patterns"],"prefix":"10.1145","author":[{"given":"Chongbing","family":"Liu","sequence":"first","affiliation":[{"name":"New Mexico State University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Pontelli","sequence":"additional","affiliation":[{"name":"New Mexico State University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,7,14]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"145","volume-title":"Non-monotonic Learning. inductive Logic Programming","author":"Bain M.","year":"1992","unstructured":"M. Bain and S. Muggleton , Non-monotonic Learning. inductive Logic Programming , Academic Press , pages 145 -- 161 , 1992 . M. Bain and S. Muggleton, Non-monotonic Learning. inductive Logic Programming, Academic Press, pages 145--161, 1992."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90025-6"},{"key":"e_1_3_2_1_3_1","first-page":"107","volume-title":"Learning Logic Programs with Negation as Failure. Advances in Inductive Logic Programming","author":"Bergadano F.","year":"1996","unstructured":"F. Bergadano , D. Gunetti , M. Nicosia and G. Ruffo . Learning Logic Programs with Negation as Failure. Advances in Inductive Logic Programming , IOS Press , pages 107 -- 123 , 1996 . F. Bergadano, D. Gunetti, M. Nicosia and G. Ruffo. Learning Logic Programs with Negation as Failure. Advances in Inductive Logic Programming, IOS Press, pages 107--123, 1996."},{"key":"e_1_3_2_1_4_1","volume-title":"Advances in Inductive Logic Programming","author":"De Raedt L.","year":"1996","unstructured":"L. De Raedt . Advances in Inductive Logic Programming , IOS Press , 1996 . L. De Raedt. Advances in Inductive Logic Programming, IOS Press, 1996."},{"key":"e_1_3_2_1_5_1","first-page":"122","volume-title":"Learning Nonmonotonic Logic Programs: Learning Exceptions. European Conference on Machine Learning, Springer Verlag","author":"Dimopoulos Y.","year":"1995","unstructured":"Y. Dimopoulos and A Kakas , Learning Nonmonotonic Logic Programs: Learning Exceptions. European Conference on Machine Learning, Springer Verlag , pages 122 -- 137 , 1995 . Y. Dimopoulos and A Kakas, Learning Nonmonotonic Logic Programs: Learning Exceptions. European Conference on Machine Learning, Springer Verlag, pages 122--137, 1995."},{"key":"e_1_3_2_1_6_1","first-page":"175","volume-title":"Normal Programs and Multiple Predicate Learning. International Workshop on Inductive Logic Programming, Springer Verlag","author":"Fogel L.","year":"1998","unstructured":"L. Fogel and G. Zaverucha , Normal Programs and Multiple Predicate Learning. International Workshop on Inductive Logic Programming, Springer Verlag , pages 175 -- 184 , 1998 . L. Fogel and G. Zaverucha, Normal Programs and Multiple Predicate Learning. International Workshop on Inductive Logic Programming, Springer Verlag, pages 175--184, 1998."},{"key":"e_1_3_2_1_7_1","first-page":"1070","volume-title":"The Stable Model Semantics for Logic Programming. International Conference on Logic Programming","author":"Gelfond M.","year":"1988","unstructured":"M. Gelfond and V. Lifschitz , The Stable Model Semantics for Logic Programming. International Conference on Logic Programming , pages 1070 -- 1080 , MIT Press , 1988 . M. Gelfond and V. Lifschitz, The Stable Model Semantics for Logic Programming. International Conference on Logic Programming, pages 1070--1080, MIT Press, 1988."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"key":"e_1_3_2_1_9_1","volume-title":"Foundations of Inductive Logic Programming","author":"Hwei S.","year":"1997","unstructured":"S. Hwei , N. Cheng and R. de Wolf . Foundations of Inductive Logic Programming . Springer Verlag , 1997 . S. Hwei, N. Cheng and R. de Wolf. Foundations of Inductive Logic Programming. Springer Verlag, 1997."},{"key":"e_1_3_2_1_10_1","first-page":"176","volume-title":"Learning Extended Logic Programs. International Joint Conference on Artificial Intelligence, Morgan Kaufmann","author":"Inoue K.","year":"1997","unstructured":"K. Inoue and Y. Kudoh , Learning Extended Logic Programs. International Joint Conference on Artificial Intelligence, Morgan Kaufmann , pages 176 -- 181 , 1997 . K. Inoue and Y. Kudoh, Learning Extended Logic Programs. International Joint Conference on Artificial Intelligence, Morgan Kaufmann, pages 176--181, 1997."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007681906490"},{"key":"e_1_3_2_1_12_1","volume-title":"Techniques and Applications. Ellis Horwood","author":"Lavrac N.","year":"1994","unstructured":"N. Lavrac and S. Dzeroski . Inductive Logic Programming , Techniques and Applications. Ellis Horwood , 1994 . N. Lavrac and S. Dzeroski. Inductive Logic Programming, Techniques and Applications. Ellis Horwood, 1994."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69611-7_15"},{"key":"e_1_3_2_1_14_1","first-page":"219","volume-title":"A Three-valued Framework for the Induction of General Logic Programs. Advances in Inductive Logic Programming","author":"Martin L.","year":"1996","unstructured":"L. Martin and C. Vrain , A Three-valued Framework for the Induction of General Logic Programs. Advances in Inductive Logic Programming , IOS Press , pages 219 -- 235 , 1996 . L. Martin and C. Vrain, A Three-valued Framework for the Induction of General Logic Programs. Advances in Inductive Logic Programming, IOS Press, pages 219--235, 1996."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037089"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037227"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-934613-64-4.50040-2"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90035-3"},{"key":"e_1_3_2_1_19_1","first-page":"368","volume-title":"Efficient Induction in Logic Programs. In Conference on Algorithmic Learning Theory","author":"Muggleton S.","year":"1990","unstructured":"S. Muggleton and C. Feng . Efficient Induction in Logic Programs. In Conference on Algorithmic Learning Theory , pages 368 -- 381 , 1990 . S. Muggleton and C. Feng. Efficient Induction in Logic Programs. In Conference on Algorithmic Learning Theory, pages 368--381, 1990."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/945365.945390"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022699322624"},{"key":"e_1_3_2_1_22_1","first-page":"279","volume-title":"Some Properties of Inverse Resolution in Normal Logic Programs. International Workshop on Inductive Logic Programming, Springer Verlag","author":"Sakama C.","year":"1999","unstructured":"C. Sakama , Some Properties of Inverse Resolution in Normal Logic Programs. International Workshop on Inductive Logic Programming, Springer Verlag , pages 279 -- 290 , 1999 . C. Sakama, Some Properties of Inverse Resolution in Normal Logic Programs. International Workshop on Inductive Logic Programming, Springer Verlag, pages 279--290, 1999."},{"key":"e_1_3_2_1_23_1","first-page":"209","volume-title":"Inverse Entailment in Nonmonotonic Logic Programs. International Conference on Inductive Logic Programming, Springer Verlag","author":"Sakama C.","year":"2000","unstructured":"C. Sakama . Inverse Entailment in Nonmonotonic Logic Programs. International Conference on Inductive Logic Programming, Springer Verlag , pages 209 -- 224 , 2000 . C. Sakama. Inverse Entailment in Nonmonotonic Logic Programs. International Conference on Inductive Logic Programming, Springer Verlag, pages 209--224, 2000."},{"key":"e_1_3_2_1_24_1","first-page":"62","volume-title":"Nonmonotonic Inductive Logic Programming. International Conference on Inductive Logic Programming and Nonmonotonic Reasoning, Springer Verlag","author":"Sakama C.","year":"2001","unstructured":"C. Sakama , Nonmonotonic Inductive Logic Programming. International Conference on Inductive Logic Programming and Nonmonotonic Reasoning, Springer Verlag , pp. 62 -- 80 , 2001 . C. Sakama, Nonmonotonic Inductive Logic Programming. International Conference on Inductive Logic Programming and Nonmonotonic Reasoning, Springer Verlag, pp. 62--80, 2001."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1055686.1055687"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1192.001.0001","volume-title":"Algorithmic Program Debugging","author":"Shapiro E. Y.","year":"1983","unstructured":"E. Y. Shapiro . Algorithmic Program Debugging . MIT Press , 1983 . E. Y. Shapiro. Algorithmic Program Debugging. MIT Press, 1983."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00187-X"},{"key":"e_1_3_2_1_28_1","unstructured":"A. Srinivasan. The Aleph Manual. web.comlab.ox.ac.uk\/oucl\/research\/areas\/machlearn\/Aleph. A. Srinivasan. The Aleph Manual. web.comlab.ox.ac.uk\/oucl\/research\/areas\/machlearn\/Aleph."},{"key":"e_1_3_2_1_29_1","first-page":"97","volume-title":"Inductive Logic Programming Workshop","author":"Srinivasan A.","year":"1992","unstructured":"A. Srinivasan , S. Muggleton , and M. Bain . Distinguishing Exceptions from Noise in Non-monotonic Learning . In Inductive Logic Programming Workshop , pages 97 -- 107 , 1992 . A. Srinivasan, S. Muggleton, and M. Bain. Distinguishing Exceptions from Noise in Non-monotonic Learning. In Inductive Logic Programming Workshop, pages 97--107, 1992."}],"event":{"name":"PPDP07: Principles and Practice of Declarative Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Wroclaw Poland","acronym":"PPDP07"},"container-title":["Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1273920.1273946","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1273920.1273946","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:58:09Z","timestamp":1750258689000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1273920.1273946"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,14]]},"references-count":29,"alternative-id":["10.1145\/1273920.1273946","10.1145\/1273920"],"URL":"https:\/\/doi.org\/10.1145\/1273920.1273946","relation":{},"subject":[],"published":{"date-parts":[[2007,7,14]]},"assertion":[{"value":"2007-07-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}