Beyond Treewidth in Probabilistic Inference      Public Defense speaker: Mark Chavira downloads: [ chaviraDefense-talk.ppt.zip ] abstract: A typical application of probabilistic inference involves constructing a probabilistic model, such as a Bayesian network, and th... (more)

Compiling Bayesian Networks Using Variable Elimination      a conference paper speaker: Mark Chavira downloads: [ conference-2007-ijcai-talk.ppt ] abstract: Compiling Bayesian networks has proven an effective approach for inference that can utilize both global and local network struc... (more)

Knowledge Compilation: Theory and Applications      a four hour tutorial speaker: Adnan Darwiche downloads: [ lss-06.zip ] : zipped power point show abstract: We discuss in this tutorial the subject of knowledge compilation from theoretical and practical viewpoints. On the theoretical s... (more)

Searching while Keeping a Trace: The evoluation from satisfiability to knowledge compilation      an invited talk speaker: Adnan Darwiche downloads: [ darwiche-ijcar-talk-06.pps ] abstract: I discuss in this talk two influential areas of automated reasoning, satisfiability and knowledge compilation. Historically, the... (more)

Encoding CNFs to Enhance Component Analysis      a conference paper speaker: Mark Chavira downloads: [ conference-2006-sat-talk.ppt ] abstract: Recent algorithms for model counting and compilation work by decomposing a CNF into syntactically independent components through... (more)

Solving MAP by Searching on Compiled Arithmetic Circuits      a conference paper speaker: Mark Chavira downloads: [ conference-2006-aaai-talk.ppt ] abstract: The MAP (maximum a posteriori hypothesis) problem in Bayesian networks is to find the most likely states of a set of variables g... (more)