{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:07:32Z","timestamp":1740096452802,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642452208"},{"type":"electronic","value":"9783642452215"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-45221-5_51","type":"book-chapter","created":{"date-parts":[[2013,12,5]],"date-time":"2013-12-05T09:28:23Z","timestamp":1386235703000},"page":"759-775","source":"Crossref","is-referenced-by-count":1,"title":["On Minimality and Integrity Constraints in Probabilistic Abduction"],"prefix":"10.1007","author":[{"given":"Calin-Rares","family":"Turliuc","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nataly","family":"Maimari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandra","family":"Russo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krysia","family":"Broda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"51_CR1","series-title":"LNCS (LNAI)","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-540-92243-8_5","volume-title":"Constraint handling rules","author":"H. Christiansen","year":"2008","unstructured":"Christiansen, H.: Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules. In: Schrijvers, T., Fr\u00fchwirth, T. (eds.) Constraint Handling Rules. LNCS (LNAI), vol.\u00a05388, pp. 85\u2013118. Springer, Heidelberg (2008), http:\/\/dx.doi.org\/10.1007\/978-3-540-92243-8_5"},{"key":"51_CR2","doi-asserted-by":"crossref","unstructured":"Clark, K.L.: Negation as failure. In: Logic and Data Bases, pp. 293\u2013322 (1977)","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"51_CR3","unstructured":"Corapi, D., Russo, A., Lupu, E.: Inductive logic programming as abductive search. In: ICLP (Technical Communications), pp. 54\u201363 (2010)"},{"key":"51_CR4","unstructured":"De Raedt, L., Kimmig, A., Gutmann, B., Kersting, K., Santos Costa, V., Toivonen, H.: Probabilistic inductive querying using ProbLog. Springer (2010), https:\/\/lirias.kuleuven.be\/handle\/123456789\/284080"},{"key":"51_CR5","unstructured":"De Raedt, L., Kimmig, A., Toivonen, H.: ProbLog: A probabilistic Prolog and its application in link discovery. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence, IJCAI 2007, pp. 2462\u20132467 (2007)"},{"key":"51_CR6","unstructured":"Denecker, M.: Knowledge representation and reasoning in incomplete logic programming. Ph.D. thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, de Schreye, Danny and Denef, Jan (supervisors) (September 1993), https:\/\/lirias.kuleuven.be\/handle\/123456789\/131431"},{"key":"51_CR7","unstructured":"Domingos, P., Kok, S., Poon, H., Richardson, M., Singla, P.: Unifying logical and statistical ai. In: Proceedings of the 21st National Conference on Artificial Intelligence, AAAI 2006, vol.\u00a01, pp. 2\u20137. AAAI Press (2006), http:\/\/dl.acm.org\/citation.cfm?id=1597538.1597540"},{"key":"51_CR8","first-page":"211","volume-title":"Proceedings of the Twenty-Seventh Conference Annual Conference on Uncertainty in Artificial Intelligence (UAI 2011)","author":"D. Fierens","year":"2011","unstructured":"Fierens, D., den Broeck, G.V., Thon, I., Gutmann, B., Raedt, L.D.: Inference in probabilistic logic programs using weighted cnf\u2019s. In: Proceedings of the Twenty-Seventh Conference Annual Conference on Uncertainty in Artificial Intelligence (UAI 2011), pp. 211\u2013220. AUAI Press, Corvallis (2011)"},{"issue":"4","key":"51_CR9","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"2","author":"M. Fitting","year":"1985","unstructured":"Fitting, M.: A kripke-kleene semantics for logic programs. J. Log. Program.\u00a02(4), 295\u2013312 (1985)","journal-title":"J. Log. Program."},{"issue":"2","key":"51_CR10","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/S0743-1066(97)00026-5","volume":"33","author":"T.H. Fung","year":"1997","unstructured":"Fung, T.H., Kowalski, R.: The iff proof procedure for abductive logic programming. The Journal of Logic Programming\u00a033(2), 151\u2013165 (1997), http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0743106697000265","journal-title":"The Journal of Logic Programming"},{"key":"51_CR11","first-page":"810","volume-title":"Proceedings of the 21st International Jont Conference on Artifical Intelligence, IJCAI 2009","author":"K. Inoue","year":"2009","unstructured":"Inoue, K., Sato, T., Ishihata, M., Kameya, Y., Nabeshima, H.: Evaluating abductive hypotheses using an em algorithm on bdds. In: Proceedings of the 21st International Jont Conference on Artifical Intelligence, IJCAI 2009, pp. 810\u2013815. Morgan Kaufmann Publishers Inc., San Francisco (2009), http:\/\/dl.acm.org\/citation.cfm?id=1661445.1661574"},{"issue":"1-3","key":"51_CR12","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/S0743-1066(99)00075-8","volume":"44","author":"A. Kakas","year":"2000","unstructured":"Kakas, A., Michael, A., Mourlas, C.: Aclp: Abductive constraint logic programming. The Journal of Logic Programming\u00a044(1-3), 129\u2013177 (2000), http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0743106699000758","journal-title":"The Journal of Logic Programming"},{"issue":"6","key":"51_CR13","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A.C. Kakas","year":"1992","unstructured":"Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive logic programming. J. Log. Comput.\u00a02(6), 719\u2013770 (1992)","journal-title":"J. Log. Comput."},{"key":"51_CR14","unstructured":"Kakas, A.C., Van Nuffelen, B., Denecker, M.: A-system: Problem solving through abduction. In: Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, vol.\u00a01, pp. 591\u2013596. IJCAI, inc. and AAAI, Morgan Kaufmann Publishers, Inc. (2001), http:\/\/www.cs.kuleuven.ac.be\/cgi-bin-dtai\/publ_info.pl?id=34862"},{"key":"51_CR15","unstructured":"Kimmig, A.: A Probabilistic Prolog and its Applications. Ph.D. thesis, K.U. Leuven (2010)"},{"key":"51_CR16","unstructured":"Ma, J.: Distributed Abductive Reasoning: Theory, Implementation and Application. Ph.D. thesis, Imperial College London (2011)"},{"key":"51_CR17","unstructured":"Ma, J.: Abductive reasoning module for sicstus prolog (2012), http:\/\/www-dse.doc.ic.ac.uk\/cgi-bin\/moin.cgi\/abduction"},{"key":"51_CR18","unstructured":"Maimari, N., Broda, K., Kakas, A., Krams, R., Russo, A.: Arni: Abductive inference of complex regulatory network structures (poster). In: 21st Annual International Conference on Intelligent Systems for Molecular Biology, 12th European Conference on Computational Biology, ISMB\/ECCB 2013 (2013)"},{"issue":"1-3","key":"51_CR19","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. J. Log. Program.\u00a044(1-3), 5\u201335 (2000)","journal-title":"J. Log. Program."},{"key":"51_CR20","doi-asserted-by":"crossref","unstructured":"Sato, T.: A statistical learning method for logic programs with distribution semantics. In: Proceedings of the 12th International Conference on Logic Programming, pp. 715\u2013729. MIT Press (1995)","DOI":"10.7551\/mitpress\/4298.003.0069"},{"key":"51_CR21","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1613\/jair.912","volume":"15","author":"T. Sato","year":"2001","unstructured":"Sato, T., Kameya, Y.: Parameter learning of logic programs for symbolic-statistical modeling. J. Artif. Intell. Res. (JAIR)\u00a015, 391\u2013454 (2001)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"51_CR22","unstructured":"Sato, T., Kameya, Y., Zhou, N.F.: Generative modeling with failure in prism. In: IJCAI, pp. 847\u2013852 (2005)"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45221-5_51","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,20]],"date-time":"2024-05-20T23:27:46Z","timestamp":1716247666000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45221-5_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642452208","9783642452215"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45221-5_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}