Probabilistic Inference in BN2T Models by Weighted Model Counting

    



         

                                 

                                                                                                                                                

                                                                                                                                                                                                                   

               

                                                                                                                                                                                                                             

                                                                                                                                                                                                                                                                                                                                                              

 

  



               

                         

    

 

 

 

 



                                                                           

    

 

 

 

 



                                 

  

                

   

 

 

 



 

 

 

 

  

   

   

   



            

 

      

              



                                             

 

   

  

     

     

        





 

   

                                

                











          

                                                       

        

    





                                                                                                                                                                                                     

                                                                                                                                                                   

           

  





                            

               





























                                  

             

      

             

  





   

          

  



 

 

 

 

 

                                                                            

           

 

     

       



 

                                                                          

 

  



 

 

 

 





                                                       

               

                                                                                                                                                                      

   



 



 

                                                                                       

 

  



 

 

 

 



 

 

   



  





 

  

 

 



      







                                                                                                                                                                                         

                

         



  

       





                                                    

             

 



         



 

                                     

 



     



    

       





                                                                                                                                                                                                                                                                                                      

                   

       

                         

 

 

  

   

     



               

                        

 

 

 

  

   

     



                                                       

                

 

  

   

 



           

 

  

   





                          

   



  

 

  

   



 

   

  

     

 

 



 



  

   



  

    

  

  

      





 

              

   

   



    





                                                                                           

    

  

  



  

 

                             

    

       

 

            

  

   

                                                       

    





  



                  

               

                                                                                                                   

           





            

  

                                      



                                                       

 





                                                                            

 

 

  



 

     





     

      





                                   

 



  

    

       





                                                  

                                                                                         

               

                                                                                                   

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         