CSCE 781 Presentations by Graduate Students
Presentation checklist (MS-Word)
on oral presentations from Mark Hill and David Patterson
How to give a good presentation,
by Kati Compton and Mark Chang
(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)
(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
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
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
April 11, 2011 (Tuesday)
Jeremy Lewis, Andrew Smith, and Jhih-Rong Lin.
Consistency-Based vs. Explanation-Based Diagnosis.
- D. L. Poole,
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
- David Poole.
Annals of Mathematics and Artificial Intelligence, 11, 33-50, 1994
- Mohamed Sharaf and Ousmane Dia.
April 21, 2011.
"Formal Verification of Sequential Hardware: A Tutorial."
IEEE Transactions on Computer-Aided Design of Integrated Circuits and
Vol. 12, No. 5 (May 1993), pp.633-654
- Jordan Bradshaw and Corey White.
April 14, 2011.
- 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."
(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
video describing use of the system described in the paper).