CSCE 781 Presentations by Graduate Students

Presentation checklist (MS-Word) .

Some advice on oral presentations from Mark Hill and David Patterson

How to give a good presentation, by Kati Compton and Mark Chang

Presentations:

• (Still available) The original Davis-Putnam Algorithm for Propositional Satisfiability: Rina Dechter and Irina Rish. "Directional Resolution: The Davis-Putnam Procedure, Revisited." Technical Report R-29, School of Information and Computer Science, University of California at Irvine (1994) (local copy).
• (Still available) Naive Physics.
  • Hayes, Patrick, J. 1979 "The Naive Physics Manifesto", in D. Michie, ed., Expert Systems in the Micro-Electronic Age, Edinburgh: Edinburgh University Press, 242-70.
  • Hayes, Patrick J. 1985 "The Second Naive Physics Manifesto", in Hobbs and Moore, eds., 1-36. Hobbs, J. R. and Moore, R. C. eds. 1985 Formal Theories of the Common-sense World, Norwood: Ablex.
  • Hayes, Patrick J. 1985a "Naive Physics I: Ontology for Liquids", in Hobbs and Moore, eds., 71-107. Also in Weld and de Kleer, eds, 484-502. Daniel S. Weld and Johan de Kleer (Eds.). 1989. Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA.
• Hongying Du and Mingzhe Du. April 11, 2011 (Tuesday). John McCarthy's Advice Taker.
  • "Programs with Common Sense." Paper available from the author; presented at the Teddington Conference on the Mechanization of Thought Processes in December 1958 and printed in the proceedings of that conference (local copy).
  • Patrick J. Hayes and Leora Morgenstern. "On John McCarthy's 80th Birthday, in Honor of His Contributions." AI Magazine, 28, 4, (2007), pp.93-102 (local copy).
• April 11, 2011 (Tuesday) Jeremy Lewis, Andrew Smith, and Jhih-Rong Lin. Consistency-Based vs. Explanation-Based Diagnosis.
  • D. L. Poole, ``Normality and Faults in Logic-Based Diagnosis''. Proceedings Eleventh International Joint Conference on Artificial Intelligence, Detroit, August 1989, pp. 1304-1310. Reprinted in W. Hamscher, L. Console and J. de Kleer (Eds.), Readings in Model-based Diagnosis, Morgan Kaufmann, 1992 (local copy).
  • David Poole. Representing Diagnosis Knowledge. Annals of Mathematics and Artificial Intelligence, 11, 33-50, 1994 (local copy).
• Mohamed Sharaf and Ousmane Dia. April 21, 2011. Michael McFarland. "Formal Verification of Sequential Hardware: A Tutorial." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 12, No. 5 (May 1993), pp.633-654 (local copy).
• Jordan Bradshaw and Corey White. April 14, 2011. Complexity of Terminological Reasoning
  • Bernard Nebel. "Computational Complexity of Terminological Reasoning in BACK." Artificial Intelligence, 34 (1988), 371-383 (local copy, pdf, local copy, ps).
  • R.J. Brachman and H.J. Levesque. "The Tractability of Subsumption in Frame-Based Description Languages." AAAI-84, 34-37 (local copy, pdf).
• Ashok Kumar and Nick Stiffler. April 19, 2011. Probabilistic Reasoning for Robots. Dominik Jain, Lorenz Moesenlechner, and Michael Beetz. "Equipping Robot Control Programs with Probabilistic Reasoning Capabilities." Proceedings of the International Conference on Robotics and Automation (ICRA), 2009, pp.3626-3631. (local copy)). ( video describing use of the system described in the paper).