{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:19:40Z","timestamp":1759637980825},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2015,7,15]],"date-time":"2015-07-15T00:00:00Z","timestamp":1436918400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Braz Comput Soc"],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1186\/s13173-015-0028-x","type":"journal-article","created":{"date-parts":[[2015,7,14]],"date-time":"2015-07-14T09:10:34Z","timestamp":1436865034000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Generalized probabilistic satisfiability through integer programming"],"prefix":"10.1186","volume":"21","author":[{"given":"Glauber De","family":"Bona","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio G.","family":"Cozman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcelo","family":"Finger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,7,15]]},"reference":[{"issue":"1","key":"28_CR1","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1023\/A:1012332915908","volume":"33","author":"KA Andersen","year":"2001","unstructured":"Andersen KA, Pretolani D (2001) Easy cases of probabilistic satisfiability. Ann Math Artif Intell 33(1): 69\u201391.","journal-title":"Ann Math Artif Intell"},{"key":"28_CR2","unstructured":"Baioletti M, Capotorti A, Tiberi P, Tulipani S (2004) An empirical complexity for a 2CPA solver. 10th International Conference IPMU: 1857\u20131864."},{"key":"28_CR3","unstructured":"Boole G (1958) An Investigation on the Laws of Thought, Dover, New York."},{"key":"28_CR4","first-page":"337","volume":"40","author":"G Bruno","year":"1980","unstructured":"Bruno G, Gilio A (1980) Applicazione del metodo del simplesso al teorema fondamentale per le probabilit\u00e0 nella concezione soggettivistica. Statistica 40: 337\u2013344.","journal-title":"Statistica"},{"key":"28_CR5","doi-asserted-by":"crossref","unstructured":"Chandru V, Hooker J (1999) Optimization Methods for Logical Inference, John Wiley & Sons Inc. ISBN: 978-0-471-57035-6.","DOI":"10.1002\/9781118033166"},{"key":"28_CR6","doi-asserted-by":"crossref","unstructured":"Cozman FG, di Ianni LF (2013) Probabilistic satisfiability and coherence checking through integer programming In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 145\u2013156, The Netherlands.","DOI":"10.1007\/978-3-642-39091-3_13"},{"issue":"3","key":"28_CR7","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/j.jal.2014.01.005","volume":"12","author":"G De Bona","year":"2014","unstructured":"De Bona G, Cozman FG, Finger M (2014) Towards classifying propositional probabilistic logics. J Appl Logic 12(3): 349\u2013362.","journal-title":"J Appl Logic"},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"Eckhoff J (1993) Helly, Radon, and Carath\u00e9odory type theorems. In: Gr\u00fcber P Wills J (eds)Handbook of convex geometry, 389\u2013448, North-Holland, Amsterdam, 1993.","DOI":"10.1016\/B978-0-444-89596-7.50017-1"},{"key":"28_CR9","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/0890-5401(90)90060-U","volume":"87","author":"R Fagin","year":"1990","unstructured":"Fagin R, Halpern JY, Megiddo N (1990) A logic for reasoning about probabilities. Inform Comput 87: 78\u2013128.","journal-title":"Inform Comput"},{"issue":"2","key":"28_CR10","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1145\/174652.174658","volume":"41","author":"R Fagin","year":"1994","unstructured":"Fagin R, Halpern JY (1994) Reasoning about knowledge and probability. J ACM 41(2): 340\u2013367.","journal-title":"J ACM"},{"key":"28_CR11","unstructured":"Finger M, De Bona G (2011) Probabilistic satisfiability: Logic-based algorithms and phase transition In: IJCAI, 528\u2013533. doi:10.5591\/978-1-57735-516-8\/IJCAI11-096."},{"key":"28_CR12","unstructured":"Gent IP, Walsh T (1994) The SAT phase transition In: 11th European Conference on Artificial Intelligence, 105\u2013109."},{"key":"28_CR13","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 CH (1988) Probabilistic satisfiability. J Complexity 4: 1\u201311.","journal-title":"J Complexity"},{"key":"28_CR14","doi-asserted-by":"crossref","unstructured":"Hailperin T (1965) Best possible inequalities for the probability of a logical function of events. 72: 343\u2013359.","DOI":"10.1080\/00029890.1965.11970533"},{"key":"28_CR15","unstructured":"Hailperin T (1976) Boole\u2019s Logic and Probability: a Critical Exposition from the Standpoint of Contemporary Algebra, Logic, and Probability Theory, North-Holland, Amsterdam."},{"key":"28_CR16","volume-title":"Reasoning about Uncertainty","author":"JY Halpern","year":"2003","unstructured":"Halpern JY (2003) Reasoning about Uncertainty. MIT Press, Cambridge, Massachusetts."},{"key":"28_CR17","unstructured":"Hansen P, Jaumard B (1996) Probabilistic Satisfiability. Technical Report G-96-31, Les Cahiers du GERAD, \u00c9cole Polytechique de Montr\u00e9al."},{"issue":"2","key":"28_CR18","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/j.ijar.2007.03.001","volume":"47","author":"P Hansen","year":"2008","unstructured":"Hansen P, Perron S (2008) Merging the local and global approaches to probabilistic satisfiability. Int J Approximate Reasoning 47(2): 125\u2013140.","journal-title":"Int J Approximate Reasoning"},{"issue":"2","key":"28_CR19","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1287\/ijoc.3.2.135","volume":"3","author":"B Jaumard","year":"1991","unstructured":"Jaumard B, Hansen P, de Arag\u00e3o MP (1991) Column generation methods for probabilistic logic. ORSA J Comput 3(2): 135\u2013148.","journal-title":"ORSA J Comput"},{"issue":"6\u20137","key":"28_CR20","doi-asserted-by":"publisher","first-page":"852","DOI":"10.1016\/j.artint.2007.10.017","volume":"172","author":"T Lukasiewicz","year":"2008","unstructured":"Lukasiewicz T (2008) Expressive probabilistic description logics. Artif Intell 172(6\u20137): 852\u2013883.","journal-title":"Artif Intell"},{"issue":"2","key":"28_CR21","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1016\/0890-5401(92)90061-J","volume":"101","author":"R Ng","year":"1992","unstructured":"Ng R, Subrahmanian VS (1992) Probabilistic logic programming. Inform Comput 101(2): 150\u2013201.","journal-title":"Inform Comput"},{"key":"28_CR22","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"NJ Nilsson","year":"1986","unstructured":"Nilsson NJ (1986) Probabilistic logic. Artif Intell 28: 71\u201387.","journal-title":"Artif Intell"},{"issue":"3","key":"28_CR23","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1086\/288538","volume":"40","author":"S Uchii","year":"1973","unstructured":"Uchii S (1973) Higher order probabilities and coherence. Philos Sci 40(3): 373\u2013381.","journal-title":"Philos Sci"},{"key":"28_CR24","unstructured":"Williams HP (2009) Logic and integer programming. Springer. ISBN 978-0-387-92280-5."}],"container-title":["Journal of the Brazilian Computer Society"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s13173-015-0028-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1186\/s13173-015-0028-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s13173-015-0028-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s13173-015-0028-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,13]],"date-time":"2024-08-13T10:45:52Z","timestamp":1723545952000},"score":1,"resource":{"primary":{"URL":"https:\/\/journal-bcs.springeropen.com\/articles\/10.1186\/s13173-015-0028-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,15]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,12]]}},"alternative-id":["28"],"URL":"https:\/\/doi.org\/10.1186\/s13173-015-0028-x","relation":{},"ISSN":["0104-6500","1678-4804"],"issn-type":[{"type":"print","value":"0104-6500"},{"type":"electronic","value":"1678-4804"}],"subject":[],"published":{"date-parts":[[2015,7,15]]},"article-number":"11"}}