Bayesian network learning by compiling to weighted MAX-SAT

Proceedings of the 24th Conference on Uncertainty in Artificial Intelligence, UAI 2008

Volumn , Issue , 2008, Pages 105-112

  Cussens, James ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ACYCLICITY; BAYESIAN MODEL AVERAGING; BAYESIAN NETWORK LEARNING; DATA SETS; DATAPOINTS; INPUT FILES; LOCAL SEARCH ALGORITHM; MARGINAL LIKELIHOOD; MAX-SAT; MAX-SAT PROBLEMS; PRIOR INFORMATION; SUMMANDS; SYNTHETIC DATASETS; TOTAL ORDER;

ARTIFICIAL INTELLIGENCE; ENCODING (SYMBOLS);

BAYESIAN NETWORKS;

EID: 77958576004     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)

1. Robert Castelo and Tomáš Kočka. On inclusiondriven learning of Bayesian networks. Journal of Machine Learning Research, 4:527-574, 2003.
2. Nir Friedman and Daphne Koller. Being Bayesian about network structure: A Bayesian approach to structure discovery in Bayesian networks. Machine Learning, 50:95-126, 2003.
3. David Heckerman, Dan Geiger, and David M. Chickering. Learning Bayesian networks: The combination of knowledge and statistical data. Machine Learning, 20(3):197-243, 1995.
4. David Madigan and Adrian E. Raftery. Model selection and accounting for model uncertainty in graphical models using Occam's window. Journal of the American Statistical Association, 89:1535-1546, 1994.
5. Hoifung Poon and Pedro Domingos. Sound and efficient inference with probabilistic and deterministic dependencies. In Proc. AAAI-06, pages 458-463, 2006. (Pubitemid 44705326)
6. Tian Sang, Paul Beame, and Henry Kautz. Solving Bayesian inference by weighted model counting. In Proc. AAAI-05, Pittsburgh, 2005.
7. Tian Sang, Paul Beame, and Henry Kautz. A dynamic approach to MPE and weighted MAX-SAT. In Proc. IJCAI-07, Hyderabad, 2007.
8. Bart Selman, Henry Kautz, and Bram Cohen. Local search strategies for satisfiability testing. In David S. Johnson and Michael A. Trick, editors, Cliques, Coloring, and Satisfiability: Second DIMACS Implementation Challenge. AMS, 1993.