Fall 2011

• Probabilistic Theorem Proving
  Vibhav Gogate, Pedro Domingo
  UAI 2011
  
  
• Lifted Probabilistic Inference by First-Order Knowledge Compilation
  Guy Van den Broeck, Nima Taghipour, Wannes Meert, Jesse Davis, Luc De Raedt
  IJCAI 2011
  
  
• Interleaved Inductive-Abductive Reasoning for Learning Event-Based Activity Models
  Krishna Dubba, Mehul Bhatt, Frank Dylla, Anthony Cohn and David Hogg
  ILP 2011