{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T04:17:23Z","timestamp":1749010643771,"version":"3.41.0"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319405650"},{"type":"electronic","value":"9783319405667"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-40566-7_7","type":"book-chapter","created":{"date-parts":[[2016,6,9]],"date-time":"2016-06-09T09:46:36Z","timestamp":1465465596000},"page":"91-105","source":"Crossref","is-referenced-by-count":1,"title":["Constructing Markov Logic Networks from First-Order Default Rules"],"prefix":"10.1007","author":[{"given":"Ond\u0159ej","family":"Ku\u017eelka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jesse","family":"Davis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven","family":"Schockaert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,10]]},"reference":[{"issue":"1\u20132","key":"7_CR1","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/s11229-005-9069-6","volume":"146","author":"S Benferhat","year":"2005","unstructured":"Benferhat, S., Bonnefon, J.F., da Silva Neves, R.: An overview of possibilistic handling of default reasoning, with experimental studies. Synthese 146(1\u20132), 53\u201370 (2005)","journal-title":"Synthese"},{"issue":"1\u20132","key":"7_CR2","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/S0004-3702(97)00012-X","volume":"92","author":"S Benferhat","year":"1997","unstructured":"Benferhat, S., Dubois, D., Prade, H.: Nonmonotonic reasoning, conditional objects and possibility theory. Artif. Intell. 92(1\u20132), 259\u2013276 (1997)","journal-title":"Artif. Intell."},{"issue":"2","key":"7_CR3","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1023\/A:1008259801924","volume":"9","author":"S Benferhat","year":"1998","unstructured":"Benferhat, S., Dubois, D., Prade, H.: Practical handling of exception-tainted rules and independence information in possibilistic logic. Appl. Intell. 9(2), 101\u2013127 (1998)","journal-title":"Appl. Intell."},{"issue":"6","key":"7_CR4","doi-asserted-by":"crossref","first-page":"873","DOI":"10.1093\/logcom\/9.6.873","volume":"9","author":"S Benferhat","year":"1999","unstructured":"Benferhat, S., Dubois, D., Prade, H.: Possibilistic and standard probabilistic semantics of conditional knowledge bases. J. Log. Comput. 9(6), 873\u2013895 (1999)","journal-title":"J. Log. Comput."},{"key":"7_CR5","first-page":"50","volume":"7","author":"DL Berre","year":"2010","unstructured":"Berre, D.L., Parrain, A.: The Sat4j library, release 2.2. J. Satisfiability, Boolean Model. Comput. 7, 50\u201364 (2010)","journal-title":"J. Satisfiability, Boolean Model. Comput."},{"key":"7_CR6","unstructured":"de Salvo Braz, R., Amir, E., Roth, D.: Lifted first-order probabilistic inference. In: Kaelbling, L.P., Saffiotti, A. (eds.) Proceeding of the 19th Joint Conference on Artificial Intelligence, p. 1319 (2005)"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"de Saint-Cyr, F.D., Lang, J., Schiex, T.: Penalty logic and its link with Dempster-Shafer theory. In: Proceedings of the 10th International Conference on Uncertainty in Artificial Intelligence, pp. 204\u2013211 (1994)","DOI":"10.1016\/B978-1-55860-332-5.50031-6"},{"issue":"2","key":"7_CR8","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1145\/359496.359500","volume":"1","author":"N Friedman","year":"2000","unstructured":"Friedman, N., Halpern, J.Y., Koller, D.: First-order conditional logic for default reasoning revisited. ACM Trans. Comput. Log. 1(2), 175\u2013207 (2000)","journal-title":"ACM Trans. Comput. Log."},{"issue":"2","key":"7_CR9","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/0004-3702(92)90071-5","volume":"53","author":"H Geffner","year":"1992","unstructured":"Geffner, H., Pearl, J.: Conditional entailment: bridging two approaches to default reasoning. Artif. Intell. 53(2), 209\u2013244 (1992)","journal-title":"Artif. Intell."},{"issue":"3","key":"7_CR10","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1109\/34.204904","volume":"15","author":"M Goldszmidt","year":"1993","unstructured":"Goldszmidt, M., Morris, P., Pearl, J.: A maximum entropy approach to nonmonotonic reasoning. IEEE Trans. Pattern Anal. Mach. Intell. 15(3), 220\u2013232 (1993)","journal-title":"IEEE Trans. Pattern Anal. Mach. Intell."},{"issue":"3","key":"7_CR11","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0004-3702(90)90019-V","volume":"46","author":"JY Halpern","year":"1990","unstructured":"Halpern, J.Y.: An analysis of first-order logics of probability. Artif. Intell. 46(3), 311\u2013350 (1990)","journal-title":"Artif. Intell."},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Kern-Isberner, G., Thimm, M.: A ranking semantics for first-order conditionals. In: Proceedings of the 20th European Conference on Artificial Intelligence, pp. 456\u2013461 (2012)","DOI":"10.3233\/978-1-61499-098-7-456"},{"issue":"1\u20132","key":"7_CR13","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S Kraus","year":"1990","unstructured":"Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artif. Intell. 44(1\u20132), 167\u2013207 (1990)","journal-title":"Artif. Intell."},{"issue":"1","key":"7_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","volume":"55","author":"D Lehmann","year":"1992","unstructured":"Lehmann, D., Magidor, M.: What does a conditional knowledge base entail? Artif. Intell. 55(1), 1\u201360 (1992)","journal-title":"Artif. Intell."},{"issue":"6","key":"7_CR15","first-page":"373","volume":"4","author":"F Niu","year":"2011","unstructured":"Niu, F., R\u00e9, C., Doan, A., Shavlik, J.W.: Tuffy: scaling up statistical inference in markov logic networks using an RDBMS. PVLDB 4(6), 373\u2013384 (2011)","journal-title":"PVLDB"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Noessner, J., Niepert, M., Stuckenschmidt, H., Rockit.: Exploiting parallelism and symmetry for map inference in statistical relational models. In: Proceedings of the 27th Conference on Artificial Intelligence, AAAI (2013)","DOI":"10.1609\/aaai.v27i1.8579"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1007\/978-3-642-33460-3_11","volume-title":"Machine Learning and Knowledge Discovery in Databases","author":"T P\u00e1pai","year":"2012","unstructured":"P\u00e1pai, T., Ghosh, S., Kautz, H.: Combining subjective probabilities and data in training markov logic networks. In: Flach, P.A., De Bie, T., Cristianini, N. (eds.) ECML PKDD 2012, Part I. LNCS, vol. 7523, pp. 90\u2013105. Springer, Heidelberg (2012)"},{"key":"7_CR18","volume-title":"Probabilistic reasoning in intelligent systems: networks of plausible inference","author":"J Pearl","year":"1988","unstructured":"Pearl, J.: Probabilistic reasoning in intelligent systems: networks of plausible inference. Morgan Kaufmann, Burlington (1988)"},{"key":"7_CR19","unstructured":"Pearl, J., System, Z.: A natural ordering of defaults with tractable applications to nonmonotonic reasoning. In: Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, pp. 121\u2013135 (1990)"},{"issue":"1\u20132","key":"7_CR20","doi-asserted-by":"crossref","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. Mach. Learn. 62(1\u20132), 107\u2013136 (2006)","journal-title":"Mach. Learn."},{"key":"7_CR21","unstructured":"Riedel, S.: Improving the accuracy and efficiency of MAP inference for Markov logic. In: Proceedings of the Twenty-Fourth Conference on Uncertainty in Artificial Intelligence, pp. 468\u2013475 (2008)"},{"issue":"4","key":"7_CR22","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1037\/0033-295X.90.4.293","volume":"90","author":"A Tversky","year":"1983","unstructured":"Tversky, A., Kahneman, D.: Extensional versus intuitive reasoning: the conjunction fallacy in probability judgment. Psychol. Rev. 90(4), 293 (1983)","journal-title":"Psychol. Rev."}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40566-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T21:10:44Z","timestamp":1748985044000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40566-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319405650","9783319405667"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40566-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}