{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:34:05Z","timestamp":1725471245085},"publisher-location":"Berlin, Heidelberg","reference-count":51,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540454625"},{"type":"electronic","value":"9783540454649"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11874850_65","type":"book-chapter","created":{"date-parts":[[2006,10,9]],"date-time":"2006-10-09T15:50:42Z","timestamp":1160409042000},"page":"612-621","source":"Crossref","is-referenced-by-count":1,"title":["Probabilistic Logic with Strong Independence"],"prefix":"10.1007","author":[{"given":"Fabio G.","family":"Cozman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cassio P.","family":"de Campos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 Carlos F.","family":"da Rocha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"65_CR1","unstructured":"Halpern, J.Y.: An analysis of first-order logics of probability. In: International Joint Conference on Artificial Intelligence, Detroit, USA, pp. 1375\u20131381 (1989)"},{"key":"65_CR2","volume-title":"Reasoning about Uncertainty","author":"J.Y. Halpern","year":"2003","unstructured":"Halpern, J.Y.: Reasoning about Uncertainty. MIT Press, Cambridge (2003)"},{"key":"65_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0649-1","volume-title":"Logic for applications","author":"A. Nerode","year":"1997","unstructured":"Nerode, A., Shore, R.A.: Logic for applications, 2nd edn. Springer, New York (1997)","edition":"2"},{"key":"65_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":"65_CR5","unstructured":"Hansen, P., Jaumard, B.: Probabilistic satisfiability. Technical report, \u00c9cole Polytechique de Montr\u00e9al (1996)"},{"key":"65_CR6","unstructured":"Boole, G.: The Laws of Thought. Dover edn. (1958)"},{"key":"65_CR7","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. American Mathematical Monthly\u00a072, 343\u2013359 (1965)","journal-title":"American Mathematical Monthly"},{"key":"65_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":"65_CR9","volume-title":"Theory of Probability","author":"B. Finetti de","year":"1974","unstructured":"de Finetti, B.: Theory of Probability, vol.\u00a01-2. Wiley, New York (1974)"},{"key":"65_CR10","first-page":"337","volume":"40","author":"G. Bruno","year":"1980","unstructured":"Bruno, G., Gilio, A.: Applicazione del metodo del simplesso al teorema fondamentale per le probabilita nella concezione soggettivistica. Statistica\u00a040, 337\u2013344 (1980)","journal-title":"Statistica"},{"key":"65_CR11","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1023\/A:1014535200933","volume":"35","author":"G. Coletti","year":"2002","unstructured":"Coletti, G., Scozzafava, R.: Stochastic independence in a coherent setting. Annals of Mathematics and Artificial Intelligence\u00a035, 151\u2013176 (2002)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"65_CR12","unstructured":"Biazzo, V., Gilio, A., Lukasiewicz, T., Sanfilippo, G.: Probabilistic logic under coherence: Complexity and algorithms. In: International Symposium on Imprecise Probabilities and Their Applications, Shaker, pp. 51\u201361 (2001)"},{"key":"65_CR13","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/0167-9236(94)90031-0","volume":"11","author":"K.A. Andersen","year":"1994","unstructured":"Andersen, K.A., Hooker, J.N.: Bayesian logic. Decision Support Systems\u00a011, 191\u2013210 (1994)","journal-title":"Decision Support Systems"},{"key":"65_CR14","doi-asserted-by":"crossref","unstructured":"Coletti, G., Scozzafava, R.: Zero probabilities in stochastic independence. Information, Uncertainty, Fusion, 185\u2013196 (2000)","DOI":"10.1007\/978-1-4615-5209-3_14"},{"key":"65_CR15","unstructured":"Vantaggi, B.: Conditional Independence and Graphical Models in a Coherent Setting. PhD thesis, Universit\u00e0 di Perugia, Italy (1999)"},{"key":"65_CR16","unstructured":"Lakshmanan, L.V.S., Sadri, F.: Probabilistic deductive databases. In: Symposium on Logic Programming, pp. 254\u2013268 (1994)"},{"issue":"2","key":"65_CR17","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, V.S.: Probabilistic logic programming. Information and Computation\u00a0101(2), 150\u2013201 (1992)","journal-title":"Information and Computation"},{"key":"65_CR18","unstructured":"Lukasiewicz, T.: Probabilistic logic programming. In: European Conference on Artificial Intelligence, pp. 388\u2013392 (1998)"},{"key":"65_CR19","volume-title":"Representing and Reasoning with Probabilistic Knowledge","author":"F. Bacchus","year":"1990","unstructured":"Bacchus, F.: Representing and Reasoning with Probabilistic Knowledge. MIT Press, Cambridge (1990)"},{"issue":"4","key":"65_CR20","doi-asserted-by":"publisher","first-page":"824","DOI":"10.2307\/1390829","volume":"8","author":"F.G. Cozman","year":"1999","unstructured":"Cozman, F.G.: Calculation of posterior bounds given convex sets of prior probability measures and likelihood functions. Journal of Computational and Graphical Statistics\u00a08(4), 824\u2013838 (1999)","journal-title":"Journal of Computational and Graphical Statistics"},{"key":"65_CR21","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1017\/S1357530900000156","volume":"5","author":"I. Couso","year":"2000","unstructured":"Couso, I., Moral, S., Walley, P.: A survey of concepts of independence for imprecise probabilities. Risk, Decision and Policy\u00a05, 165\u2013181 (2000)","journal-title":"Risk, Decision and Policy"},{"key":"65_CR22","first-page":"108","volume-title":"Conference on Uncertainty in Artificial Intelligence","author":"L. Campos de","year":"1995","unstructured":"de Campos, L., Moral, S.: Independence concepts for convex sets of probabilities. In: Conference on Uncertainty in Artificial Intelligence, pp. 108\u2013115. Morgan Kaufmann, San Francisco (1995)"},{"key":"65_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4899-3472-7","volume-title":"Statistical Reasoning with Imprecise Probabilities","author":"P. Walley","year":"1991","unstructured":"Walley, P.: Statistical Reasoning with Imprecise Probabilities. Chapman and Hall, London (1991)"},{"issue":"3","key":"65_CR24","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1007\/BF00939837","volume":"72","author":"R.F. Drenick","year":"1992","unstructured":"Drenick, R.F.: Multilinear programming: Duality theories. Journal of Optimization Theory and Applications\u00a072(3), 459\u2013486 (1992)","journal-title":"Journal of Optimization Theory and Applications"},{"issue":"5","key":"65_CR25","doi-asserted-by":"publisher","first-page":"983","DOI":"10.1287\/opre.27.5.982","volume":"27","author":"W. Gochet","year":"1979","unstructured":"Gochet, W., Smeers, Y.: A branch-and-bound method for reversed geometric programming. Operations Research\u00a027(5), 983\u2013996 (1979)","journal-title":"Operations Research"},{"key":"65_CR26","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03199-5","volume-title":"Global Optimization: Deterministic Approaches","author":"R. Horst","year":"1996","unstructured":"Horst, R., Tuy, H.: Global Optimization: Deterministic Approaches. Springer, Heidelberg (1996)"},{"issue":"4","key":"65_CR27","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1016\/S0098-1354(96)00282-7","volume":"21","author":"C.D. Maranas","year":"1997","unstructured":"Maranas, C.D., Floudas, C.A.: Global optimization in generalized geometric programming. Computers and Chemical Engineering\u00a021(4), 351\u2013370 (1997)","journal-title":"Computers and Chemical Engineering"},{"key":"65_CR28","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4388-3","volume-title":"A Reformulation-Linearization Technique for Solving Discrete and Continuous Nonconvex Problems","author":"H.D. Sherali","year":"1999","unstructured":"Sherali, H.D., Adams, W.P.: A Reformulation-Linearization Technique for Solving Discrete and Continuous Nonconvex Problems. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"65_CR29","series-title":"Nonconvex Optimization and Its Applications","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2809-5","volume-title":"Convex Analysis and Global Optimization","author":"H. Tuy","year":"1998","unstructured":"Tuy, H.: Convex Analysis and Global Optimization. Nonconvex Optimization and Its Applications, vol.\u00a022. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"65_CR30","unstructured":"de Campos, C.P., Cozman, F.G.: The inferential complexity of Bayesian and credal networks. In: International Joint Conference on Artificial Intelligence, pp. 1313\u20131318 (2005)"},{"key":"65_CR31","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, San Mateo (1988)"},{"key":"65_CR32","unstructured":"Dechter, R., Mateescu, R.: Mixtures of deterministic-probabilistic networks and their AND\/OR search space. In: Conference on Uncertainty in Artificial Intelligence, Arlington, Virginia, pp. 120\u2013129. AUAI Press (2004)"},{"key":"65_CR33","volume-title":"Probabilistic Networks and Experts Systems","author":"R. Cowell","year":"1999","unstructured":"Cowell, R., Dawid, P., Lauritzen, S., Spiegelhalter, D.: Probabilistic Networks and Experts Systems. Springer, New York (1999)"},{"key":"65_CR34","unstructured":"de Campos, C.P., Cozman, F.G.: Belief updating and learning in semi-qualitative probabilistic networks. In: Conference on Uncertainty in Artificial Intelligence, pp. 153\u2013160 (2005)"},{"key":"65_CR35","unstructured":"Zhang, N.L., Poole, D.: A simple approach to bayesian network computations. In: Canadian Conference on Artificial Intelligence, pp. 171\u2013178 (1994)"},{"key":"65_CR36","first-page":"211","volume-title":"Conference on Uncertainty in Artificial Intelligence","author":"R. Dechter","year":"1996","unstructured":"Dechter, R.: Bucket elimination: A unifying framework for probabilistic inference. In: Horvitz, E., Jensen, F. (eds.) Conference on Uncertainty in Artificial Intelligence, pp. 211\u2013219. Morgan Kaufmann, San Francisco (1996)"},{"key":"65_CR37","first-page":"50","volume-title":"Second Starting AI Researcher Symposium","author":"C.P. Campos de","year":"2004","unstructured":"de Campos, C.P., Cozman, F.G.: Inference in credal networks using multilinear programming. In: Second Starting AI Researcher Symposium, Valencia, pp. 50\u201361. IOS Press, Amsterdam (2004)"},{"key":"65_CR38","unstructured":"Cozman, F.G., de Campos, C.P., Ide, J.S., da Rocha, J.C.F.: Propositional and relational Bayesian networks associated with imprecise and qualitative probabilistic assessments. In: Conference on Uncertainty in Artificial Intelligence, Banff, pp. 104\u2013111. AUAI Press (2004)"},{"key":"65_CR39","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/S0004-3702(00)00029-1","volume":"120","author":"F.G. Cozman","year":"2000","unstructured":"Cozman, F.G.: Credal networks. Artificial Intelligence\u00a0120, 199\u2013233 (2000)","journal-title":"Artificial Intelligence"},{"key":"65_CR40","unstructured":"da Rocha, J.C.F., Cozman, F.G.: Inference in credal networks with branch-and-bound algorithms. In: International Symposium on Imprecise Probability and Their Applications, Lugano, Switzerland, Carleton Scientific (2003)"},{"key":"65_CR41","first-page":"217","volume-title":"Conference on Uncertainty in Artificial Intelligence","author":"J.C.F. Rocha da","year":"2003","unstructured":"da Rocha, J.C.F., Cozman, F.G., de Campos, C.P.: Inference in polytrees with sets of probabilities. In: Conference on Uncertainty in Artificial Intelligence, New York, pp. 217\u2013224. Morgan Kaufmann, San Francisco (2003)"},{"key":"65_CR42","unstructured":"Ide, J.S., Cozman, F.G.: Approximate inference in credal networks by variational mean field methods. In: International Symposium on Imprecise Probability and Their Applications, pp. 203\u2013212 (2005)"},{"key":"65_CR43","first-page":"5","volume-title":"Workshop on Local Computation for Logics and Uncertainty","author":"F.G. Cozman","year":"2004","unstructured":"Cozman, F.G., de Campos, C.P.: Local computation in credal networks. In: Workshop on Local Computation for Logics and Uncertainty, Valencia, pp. 5\u201311. IOS Press, Amsterdam (2004)"},{"issue":"3","key":"65_CR44","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1145\/176584.176585","volume":"41","author":"P.B. Ladkin","year":"1994","unstructured":"Ladkin, P.B., Maddux, R.: On binary constraint problems. Journal of the ACM\u00a041(3), 435\u2013469 (1994)","journal-title":"Journal of the ACM"},{"issue":"3","key":"65_CR45","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1145\/210346.210347","volume":"42","author":"P. Beek van","year":"1995","unstructured":"van Beek, P., Dechter, R.: On the minimality and global consistency of row-convex constraint networks. Journal of the ACM\u00a042(3), 543\u2013561 (1995)","journal-title":"Journal of the ACM"},{"key":"65_CR46","doi-asserted-by":"crossref","unstructured":"Gettor, L., Friedman, N., Koller, D., Taskar, B.: Learning probabilistic models of relational structure. In: International Conference on Machine Learning, pp. 170\u2013177 (2001)","DOI":"10.1007\/978-3-662-04599-2_13"},{"key":"65_CR47","doi-asserted-by":"crossref","unstructured":"Glesner, S., Koller, D.: Constructing flexible dynamic belief networks from first-order probabilistic knowledge bases. Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 217\u2013226 (1995)","DOI":"10.1007\/3-540-60112-0_25"},{"key":"65_CR48","unstructured":"Haddawy, P., Suwandi, M.: Decision-theoretic refinement planning using inheritance abstraction. In: AAAI Spring Symposium Series: Decision-Theoretic Planning (1994)"},{"key":"65_CR49","first-page":"266","volume-title":"Conference on Uncertainty in Artificial Intelligence","author":"M. Jaeger","year":"1997","unstructured":"Jaeger, M.: Relational Bayesian networks. In: Conference on Uncertainty in Artificial Intelligence, pp. 266\u2013273. Morgan Kaufmann, San Francisco (1997)"},{"issue":"1\u20132","key":"65_CR50","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/S0304-3975(96)00128-4","volume":"171","author":"L. Ngo","year":"1997","unstructured":"Ngo, L., Haddawy, P.: Answering queries from context-sensitive probabilistic knowledge bases. Theoretical Computer Science\u00a0171(1\u20132), 147\u2013177 (1997)","journal-title":"Theoretical Computer Science"},{"key":"65_CR51","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(93)90061-F","volume":"64","author":"D. Poole","year":"1993","unstructured":"Poole, D.: Probabilistic Horn abduction and Bayesian networks. Artificial Intelligence\u00a064, 81\u2013129 (1993)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence - IBERAMIA-SBIA 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11874850_65","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T15:11:47Z","timestamp":1555859507000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11874850_65"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540454625","9783540454649"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/11874850_65","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}