The leaders for a session prepare by:
date  topic  discussion leaders 

Tues Nov 9  16. Explanation and diagnosis B&L Ch 13 
Leader 1: Janson Orson Leader 2: Thomas Thomas 
Thur Nov 11  17. SATmodulo theories C. Barrett, R. Sebastiani, S. A. Seshia, & C. Tinelli, Satisfiability Modulo Theories, in A. Biere, H. van Maaren, M. Heule and Toby Walsh, Eds., Handbook of Satisfiability, IOS Press, 2009.(See course reserves) 
Leader 1: Aaron Gorenstein Leader 2: Erin Brady 
Tues Nov 16  19. Reasoning about the knowledge of multiple agents J. Halpern, Reasoning about knowledge: a survey, in D. Gabbay, C. J. Hogger, and J. A. Robinson, Eds.,Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 4, Oxford University Press, 1995. 
Leader 1: Andrew Reinders Leader 2: Ashker Ibne Mujib 
Thur Nov 18  20. Limited and approximate inference Liu, Y., Lakemeyer, G., and Levesque, H., A logic of limited belief for reasoning with disjunctive information, Proc. of the KR2004 Conference, Whistler, BC, 2004. H. Kautz and B. Selman, A General Framework for Knowledge Compilation, Proceedings of the First World Conference on the. Fundamentals of Artificial Intelligence, Paris, 1991. 
Leader 1: Lingxiang Xiang Leader 2: Shu Mao 
Tues Nov 23  21. Bayesian networks B&L 12.112.4; R&N 14.5 
Leader 1: Adam Purtee Leader 2: Shantonu Hossain 
Tues Nov 30  22. Bayesian reasoning using MAXSAT and modelcounting J. D. Park, Using Weighted MAXSAT Engines to Solve MPE, Proceedings of the Eighteenth National Conference on Artificial Intelligence (AAAI02), Edmonton, Alberta, 2002, pages 682687. T. Sang, P. Beame, & H. Kautz., Solving Bayesian Networks by Weighted Model Counting, Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI05), Pittsburgh, PA, 2005. 
Leader 1: Shuo Yang Leader 2: Jang (Karl) Sun Lee 
Thur Dec 2  23. Markov logic P. Domingos & D. Lowd, Markov Logic: An Interface Layer for Artificial Intelligence, Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool, 2009. (See course reserves) 
Leader 1: Anna Loparev Leader 2: Walter Lasecki 
Tues Dec 7  24. Markov logic, continued 

Thur Dec 9  25. Metamathematics: set theory, Russell's paradox, Godel's incompleteness theorem, higherorder logics 