{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:00:23Z","timestamp":1740096023907,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642223587"},{"type":"electronic","value":"9783642223594"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22359-4_17","type":"book-chapter","created":{"date-parts":[[2011,9,14]],"date-time":"2011-09-14T08:07:28Z","timestamp":1315987648000},"page":"243-258","source":"Crossref","is-referenced-by-count":10,"title":["Probabilistic Rule Learning in Nonmonotonic Domains"],"prefix":"10.1007","author":[{"given":"Domenico","family":"Corapi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Sykes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katsumi","family":"Inoue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandra","family":"Russo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-73847-3_14","volume-title":"Inductive Logic Programming","author":"D. Alrajeh","year":"2007","unstructured":"Alrajeh, D., Ray, O., Russo, A., Uchitel, S.: Extracting Requirements from Scenarios with ILP. In: Muggleton, S.H., Otero, R., Tamaddoni-Nezhad, A. (eds.) ILP 2006. LNCS (LNAI), vol.\u00a04455, pp. 64\u201378. Springer, Heidelberg (2007)"},{"key":"17_CR2","unstructured":"Boutilier, C., Brafman, R.I., Geib, C.: Prioritized goal decomposition of markov decision processes: Toward a synthesis of classical and decision theoretic planning. In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, pp. 1156\u20131162 (1997)"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Clark, K.L.: Negation as failure. Logic and Data Bases, 293\u2013322 (1977)","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"17_CR4","unstructured":"Corapi, D., Russo, A., Lupu, E.: Inductive logic programming as abductive search. In: Tec. Comm. of the 26th ICLP, LIPIcs, vol.\u00a07, pp. 54\u201363, Dagstuhl (2010)"},{"key":"17_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/3-540-55460-2_11","volume-title":"Logic Programming","author":"E. Dantsin","year":"1992","unstructured":"Dantsin, E.: Probabilistic logic programs and their semantics. In: Voronkov, A. (ed.) RCLP 1990 and RCLP 1991. LNCS, vol.\u00a0592, pp. 152\u2013164. Springer, Heidelberg (1992)"},{"key":"17_CR6","unstructured":"De Raedt, L., Thomas, G., Getoor, L., Kersting, K., Muggleton, S. (eds.): Probabilistic, Logical and Relational Learning. Schloss Dagstuhl (2008)"},{"key":"17_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/978-3-642-21295-6_9","volume-title":"ILP 2010","author":"L. Raedt De","year":"2011","unstructured":"De Raedt, L., Thon, I.: Probabilistic Rule Learning. In: Frasconi, P., Lisi, F.A. (eds.) ILP 2010. LNCS (LNAI), vol.\u00a06489, pp. 47\u201358. Springer, Heidelberg (2011)"},{"key":"17_CR8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7432.001.0001","volume-title":"Introduction to Statistical Relational Learning (Adaptive Computation and Machine Learning)","author":"L. Getoor","year":"2007","unstructured":"Getoor, L., Taskar, B.: Introduction to Statistical Relational Learning (Adaptive Computation and Machine Learning). The MIT Press, Cambridge (2007)"},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/10720246_1","volume-title":"Recent Advances in AI Planning","author":"F. Giunchiglia","year":"2000","unstructured":"Giunchiglia, F., Traverso, P.: Planning as model checking. In: Biundo, S., Fox, M. (eds.) ECP 1999. LNCS, vol.\u00a01809, pp. 1\u201320. Springer, Heidelberg (2000)"},{"key":"17_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/978-3-540-87479-9_49","volume-title":"Machine Learning and Knowledge Discovery in Databases","author":"B. Gutmann","year":"2008","unstructured":"Gutmann, B., Kimmig, A., Kersting, K., De Raedt, L.: Parameter learning in probabilistic databases: A least squares approach. In: Daelemans, W., Goethals, B., Morik, K. (eds.) ECML PKDD 2008, Part I. LNCS (LNAI), vol.\u00a05211, pp. 473\u2013488. Springer, Heidelberg (2008)"},{"key":"17_CR11","unstructured":"Inoue, K., Sato, T., Ishihata, M., Kameya, Y., Nabeshima, H.: Evaluating abductive hypotheses using an em algorithm on bdds. In: Boutilier, C. (ed.) IJCAI, pp. 810\u2013815 (2009)"},{"key":"17_CR12","first-page":"335","volume-title":"Proc. 10th ICLP","author":"K. Inoue","year":"1993","unstructured":"Inoue, K., Sakama, C.: Transforming abductive logic programs to disjunctive programs. In: Proc. 10th ICLP, pp. 335\u2013353. MIT Press, Cambridge (1993)"},{"key":"17_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-540-89982-2_22","volume-title":"Logic Programming","author":"A. Kimmig","year":"2008","unstructured":"Kimmig, A., Santos Costa, V., Rocha, R., Demoen, B., De Raedt, L.: On the efficient execution of probLog programs. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 175\u2013189. Springer, Heidelberg (2008), http:\/\/dx.doi.org\/10.1007\/978-3-540-89982-2_22"},{"key":"17_CR14","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1145\/1102351.1102407","volume-title":"Proceedings of the 22nd International Conference on Machine Learning","author":"S. Kok","year":"2005","unstructured":"Kok, S., Domingos, P.: Learning the structure of markov logic networks. In: Proceedings of the 22nd International Conference on Machine Learning, pp. 441\u2013448. ACM Press, New York (2005)"},{"issue":"1","key":"17_CR15","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gen. Comput.\u00a04(1), 67\u201395 (1986)","journal-title":"New Gen. Comput."},{"key":"17_CR16","unstructured":"Lavrac, N., Dzeroski, S.: Inductive logic programming - techniques and applications. Ellis Horwood series in artificial intelligence. Ellis Horwood (1994)"},{"key":"#cr-split#-17_CR17.1","doi-asserted-by":"crossref","unstructured":"Lifschitz, V.: Answer set programming and plan generation. Artificial Intelligence \u00a0138(1-2) (2002);","DOI":"10.1016\/S0004-3702(02)00186-8"},{"key":"#cr-split#-17_CR17.2","unstructured":"Knowledge Representation and Logic Programming"},{"key":"17_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)","edition":"2"},{"key":"17_CR19","volume-title":"Machine Learning","author":"T.M. Mitchell","year":"1997","unstructured":"Mitchell, T.M.: Machine Learning. McGraw-Hill, New York (1997)"},{"issue":"3&4","key":"17_CR20","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S. Muggleton","year":"1995","unstructured":"Muggleton, S.: Inverse entailment and progol. New Gen. Comp.\u00a013(3&4), 245\u2013286 (1995)","journal-title":"New Gen. Comp."},{"key":"17_CR21","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/3-540-36468-4_13","volume-title":"Inductive Logic Programming","author":"S. Muggleton","year":"2003","unstructured":"Muggleton, S.: Learning structure and parameters of stochastic logic programs. In: Matwin, S., Sammut, C. (eds.) ILP 2002. LNCS (LNAI), vol.\u00a02583, pp. 198\u2013206. Springer, Heidelberg (2003)"},{"issue":"B","key":"17_CR22","first-page":"141","volume":"4","author":"S. Muggleton","year":"2000","unstructured":"Muggleton, S.: Learning stochastic logic programs. Electron. Trans. Artif. Intell.\u00a04(B), 141\u2013153 (2000)","journal-title":"Electron. Trans. Artif. Intell."},{"issue":"1-3","key":"17_CR23","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0743-1066(99)00071-0","volume":"44","author":"D. Poole","year":"2000","unstructured":"Poole, D.: Abducing through negation as failure: stable models within the independent choice logic. The Journal of Logic Programming\u00a044(1-3), 5\u201335 (2000)","journal-title":"The Journal of Logic Programming"},{"issue":"3","key":"17_CR24","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1016\/j.jal.2008.10.007","volume":"7","author":"O. Ray","year":"2009","unstructured":"Ray, O.: Nonmonotonic abductive inductive learning. Journal of Applied Logic\u00a07(3), 329\u2013340 (2009), http:\/\/www.cs.bris.ac.uk\/Publications\/Papers\/2001069.pdf","journal-title":"Journal of Applied Logic"},{"issue":"1-2","key":"17_CR25","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s10994-006-5833-1","volume":"62","author":"M. Richardson","year":"2006","unstructured":"Richardson, M., Domingos, P.: Markov logic networks. Machine Learning\u00a062(1-2), 107\u2013136 (2006)","journal-title":"Machine Learning"},{"key":"17_CR26","series-title":"Lecture Notes in Artificial Intelligence","first-page":"62","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C. Sakama","year":"2001","unstructured":"Sakama, C.: Nonmonotonic inductive logic programming. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, p. 62. Springer, Heidelberg (2001)"},{"key":"17_CR27","doi-asserted-by":"crossref","unstructured":"Sato, T.: A statistical learning method for logic programs with distribution semantics. In: ICLP, pp. 715\u2013729 (1995)","DOI":"10.7551\/mitpress\/4298.003.0069"},{"key":"17_CR28","unstructured":"Schoppers, M.: Universal plans for reactive robots in unpredictable environments. In: IJCAI, vol.\u00a087, pp. 1039\u20131046 (1987)"},{"issue":"1-3","key":"17_CR29","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/S0743-1066(99)00077-1","volume":"44","author":"M. Shanahan","year":"2000","unstructured":"Shanahan, M.: An abductive event calculus planner. The Journal of Logic Programming\u00a044(1-3), 207\u2013240 (2000)","journal-title":"The Journal of Logic Programming"},{"key":"17_CR30","unstructured":"Singla, P., Domingos, P.: Discriminative training of markov logic networks. In: Veloso, M.M., Kambhampati, S. (eds.) AAAI. pp. 868\u2013873. AAAI Press \/ The MIT Press (2005)"},{"key":"17_CR31","unstructured":"Zettlemoyer, L.S., Pasula, H., Kaelbling, L.P.: Learning planning rules in noisy stochastic worlds. In: AAAI, pp. 911\u2013918 (2005)"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22359-4_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,11]],"date-time":"2024-04-11T14:22:25Z","timestamp":1712845345000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22359-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642223587","9783642223594"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22359-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}