{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:28:03Z","timestamp":1725568083473},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642161377"},{"type":"electronic","value":"9783642161384"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16138-4_30","type":"book-chapter","created":{"date-parts":[[2010,10,27]],"date-time":"2010-10-27T09:56:44Z","timestamp":1288173404000},"page":"293-302","source":"Crossref","is-referenced-by-count":1,"title":["A Refuted Conjecture on Probabilistic Satisfiability"],"prefix":"10.1007","author":[{"given":"Marcelo","family":"Finger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Glauber","family":"De Bona","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","doi-asserted-by":"publisher","DOI":"10.5962\/bhl.title.29413","volume-title":"An Investigation of the Laws of Thought, on which are Founded the Mathematical Theories of Logic and Probabilities","author":"G. Boole","year":"1854","unstructured":"Boole, G.: An Investigation of the Laws of Thought, on which are Founded the Mathematical Theories of Logic and Probabilities. Walton and Maberley, Londres (1854); reprint: Dover, Nova York (1958)"},{"key":"30_CR2","first-page":"151","volume-title":"Proceedings of the Third Annual ACM Symposium on Theory of Computing","author":"S. Cook","year":"1971","unstructured":"Cook, S.: The Complexity of Theorem Proving Procedures. In: Proceedings of the Third Annual ACM Symposium on Theory of Computing, pp. 151\u2013158. ACM, New York (1971)"},{"key":"30_CR3","unstructured":"de Finetti, B.: Problemi determinati e indeterminati nel calcolo delle probabilita. Rendiconti Reale Accademia dei Lincei 6(XII), 367\u2013373 (1930)"},{"key":"30_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0885-064X(88)90006-4","volume":"4","author":"G. Georgakopoulos","year":"1988","unstructured":"Georgakopoulos, G., Kavvadias, D., Papadimitriou, C.H.: Probabilistic Satisfiability. Journal of Complexity\u00a04, 1\u201311 (1988)","journal-title":"Journal of Complexity"},{"key":"30_CR5","doi-asserted-by":"publisher","first-page":"343","DOI":"10.2307\/2313491","volume":"72","author":"T. Hailperin","year":"1965","unstructured":"Hailperin, T.: Best possible inequalities for the probability of a logical function of events. Amor. Math. Monthly\u00a072, 343\u2013359 (1965)","journal-title":"Amor. Math. Monthly"},{"key":"30_CR6","unstructured":"Hansen, P., Jaumard, B.: Probabilistic satisfiability. Technical Report G-96-31, Les Cahiers du GERAD, \u00c9cole Polytechnique de Montr\u00e9al (1996)"},{"key":"30_CR7","first-page":"1868","volume-title":"IJCAI 1995: Proceedings of the 14th International Joint Conference on Artificial Intelligence","author":"P. Hansen","year":"1995","unstructured":"Hansen, P., Jaumard, B., Nguetse, G.D., Arag\u00e3o, M.P.: Models and Algorithms for Probabilistic and Bayesian Logic. In: IJCAI 1995: Proceedings of the 14th International Joint Conference on Artificial Intelligence, p. 1868. Morgan Kaufmann, San Francisco (1995)"},{"key":"30_CR8","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"N.J. Nilsson","year":"1986","unstructured":"Nilsson, N.J.: Probabilistic Logic. Artificial Intelligence\u00a028, 71\u201387 (1986)","journal-title":"Artificial Intelligence"},{"key":"30_CR9","first-page":"43","volume-title":"Geometry, Translations of Mathematical Monographs","author":"V.V. Prasolov","year":"2001","unstructured":"Prasolov, V.V., Tikhomirov, V.M.: Geometry, Translations of Mathematical Monographs, vol.\u00a0200, pp. 43\u201344. American Mathematical Society, Providence (2001)"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence \u2013 SBIA 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16138-4_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T18:17:26Z","timestamp":1553192246000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16138-4_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642161377","9783642161384"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16138-4_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}